SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Computer Networks and ISDN Systems

Volumn 15, Issue 4, 1988, Pages 285-297

A protocol test generation procedure

(2) Sabnani, Krishan a Dahbura, Anton a

a LUCENT TECHNOLOGIES (United States)

Author keywords

Conformance Testing; Machine Identification; State Tours; Testing; Unique Input Output Sequences

Indexed keywords

AUTOMATA THEORY - FINITE AUTOMATA;

CONFORMANCE TESTING; MACHINE IDENTIFICATION; PROTOCOL TEST GENERATION; UNIQUE INPUT/OUTPUT SEQUENCES;

COMPUTER NETWORKS;

EID: 0023834225 PISSN: 01697552 EISSN: None Source Type: Journal
DOI: 10.1016/0169-7552(88)90064-5 Document Type: Article

Times cited : (297)

References (23)

1
- 0003415652
- Addison-Wesley, Reading, MA
- (1976) The Design and Analysis of Computer Algorithms , pp. 207-209
- Aho¹ Hopcroft² Ullman³

2
- 84910319442
- Methodology and Tools for Qualitative Protocol Validation
- 2nd ed., H. Rudin, C.H. West, North-Holland, Amsterdam
- (1983) Protocol Specification, Testing and Verification , vol.3
- Billiard¹

3
- 0346845652
- A Survey of Formal Methods
- P.E. Green, Plenum Press, New York, Chapter 20
- (1983) Computer Networks and Protocols , pp. 561-578
- Bochmann¹ Sunshine²

4
- 0017973244
- Testing Software Design modeled by Finite-State Machines
- (1978) IEEE Transactions on Software Engineering , vol.4 , Issue.3 , pp. 178-187
- Chow¹

5
- 0003673570
- Prentice-Hall, Englewood Cliffs, NJ
- (1971) Fault Detection in Digital Circuits
- Friedman¹ Menon²

6
- 84910356702
- The Structure of Computer Networks
- P.E. Green, Plenum Press, New York, Chapter 1
- (1982) Computer Network Architectures and Protocols , pp. 3-32
- Green¹

7
- 84936892660
- Fault-Detecting Experiments for Sequential Circuits
- Princeton University, Princeton, NJ
- (1964) Proc. 5th Annual Symposium on Switching Circuit Theory and Logical Design , pp. 95-110
- Hennie¹

8
- 0003830657
- McGraw-Hill, New York
- (1978) Switching and Finite Automata Theory
- Kohavi¹

9
- 33646902922
- A Useful FSM Representation for Test Suite Design and Development
- 2nd ed., B. Sarikaya, G.v. Bochmann, North-Holland, Amsterdam
- (1986) Protocol Specification, Testing, and Verification , vol.6
- Kanugo¹ Lamont² Probert³ Ural⁴

10
- 0008967349
- Producing Tests for Implementations of OSI Protocols
- 2nd ed., H. Rudin, C.H. West, North-Holland, Amsterdam
- (1983) Protocol Specification, Testing, and Verification , vol.3
- Linn¹ McCoy²

11
- 0019700899
- Fault Detection for Sequential Machines by transition Tours
- (1981) Proc. 11th IEEE Fault Tolerant Computing Symposium
- Naito¹ Tsunoyama²

12
- 0003525992
- 2nd ed., MIT Press, Cambridge, MA
- (1972) Error-correcting Codes
- Peterson¹ Weldon²

13
- 84919182984
- Remarks on the Feasibility of Validating and Testing ADCCP Implementations
- (1980) IEEE Proceedings of Trends and Applications
- Piatkowski¹

14
- 84910328990
- Requirements for a Test Specification Language for Protocol Implementation Testing
- H. Rudin, C.H. West, North-Holland, Amsterdam
- (1983) Protocol Specification, Testing, and Verification , vol.3
- Probert¹ Ural²

15
- 84910329815
- Towards an Objective Understanding of Conformance
- H. Rudin, C.H. West, North-Holland, Amsterdam
- (1983) Protocol Specification, Testing, and Verification , vol.3
- Rayner¹

16
- 84910373338
- A Procedure for Generating Protocol Tests
- Whistler Mountain, British Columbia
- (1985) Proc. 9th Data Communications Symposium
- Sabnani¹ Dahbura²

17
- 33646946462
- Some Experience with Test Sequence Generation for Protocols
- C. Sunshine, North-Holland, Amsterdam
- (1982) Protocol Specification, Testing, and Verification , vol.2
- Sarikaya¹ Bochmann²

18
- 0022563730
- X.25 Conformance Testing — A Tutorial
- (1986) IEEE Communication Magazine , vol.24 , Issue.1 , pp. 16-27
- Sherif¹ Hoover² Wiederhold³

19
- 84910360507
- Conformance Tests for LAPD
- (1987) Proc. 30th Midwest Symposium on Circuits and Systems
- Sherif¹ Sabnani² Nyquist³

20
- 84910350304
- T. Shih and D.P. Sidhu, A Technique for Generating Test Sequences for Protocols, TR #86-23, Iowa State University Research Report.

21
- 84910364201
- D. Sidhu and T. Leung, Formal Methods for Protocol Testing: A Detailed Study, IEEE Transactions on Software Engineering, to appear.

22
- 0022874809
- Optimal Test Sequence Generation for Protocols: The Chinese Postman Algorithm Applied to Q.931
- (1986) Proc. Globecom 1986
- Uyar¹ Dahbura²

23
- 0023331749
- Protocol Testing Techniques
- (1987) Computer Communications , vol.10 , Issue.2 , pp. 79-87
- Wang¹ Hutchinson²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.