Observation inaccuracy in conformance testing with multiple testers

Proceedings - 1998 IEEE Workshop on Application-Specific Software Engineering and Technology, ASSET 1998

Volumn 1998-January, Issue , 1998, Pages 80-85

  Young, Yu Chiou ^a   Tai, Kuo Chung ^a  

^a North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER SOFTWARE; SOFTWARE ENGINEERING; SPECIFICATIONS;

CONFORMANCE TESTING; MULTIPLE TESTERS; NON-DETERMINISTIC FINITE STATE MACHINE; SOFTWARE SYSTEMS;

SOFTWARE TESTING;

EID: 85015051482     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASSET.1998.688238     Document Type: Conference Paper

References (11)

1. G. v. Bochmann, R. Dssouli. and J. Zhao. "Trace Analysis for Conformance and Arbitration Testing," IEEE Trans. Software Engineering, vol. SE-15, no. 11, Nov. 1989, pp. 1347-1356.
2. R. Dssouli and G. v. Bochmann, "Error Detection with Multiple Observers," Proc. Protocol Specification, Testing and Verification V, 1985. pp. 483-494.
3. R. Dssouli, and G. v. Bochmann, "Conformance Testing with Multiple Observers," Proc. Protocol Specification. Testing and Verification VI. 1986, pp. 217-229.
4. G. Luo, R. Dssouli, G. v. Bochmann, P. Venkataram. and A. Ghedamsi, "Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports." Proc. Protocol Test Systems VI, 1993, pp. 139-153.
5. R. J. Linn Jr. "Conformance Testing for OSI Protocols." Computer Networks and ISDN Systems, vol. 18, 1990, pp. 203-219.
6. A. J. Offutt, "Investigations of the Software Testing Coupling Effect." ACM Trans, on Software Engineering and Methodology, vol. 1, no. 1, Jan. 1992, pp. 5-20.
7. K. Sabnani and A. Dahbura. "A Protocol Test Generation Procedure," Computer Networks and ISDN Systems, vol. 15. no. 4. 1988, pp. 285-297.
8. D. P. Sidhu and T-K Leung, "Formal Methods for protocol testing: A detailed study," IEEE Trans. on Software Engineering, vol. 15, no. 4, April 1989, pp 413-426.
9. K. C. Tai and R. H. Carver, "Testing of Distributed Programs", chapter 33 of Handbook of Parallel and Distributed Computing, editor A. Zomaya. McGraw-Hill, 1996, pp. 955-978.
10. K. C. Tai and Y. C. Young, "Port-synchronizable Test Sequences for Communication Protocols." Proc. Protocol Test Systems VIII. 1995, pp. 379-394.
11. K. C. Tai and Y. C. Young. "Synchronizable Test Sequences of Finite State Machines," to appear in Computer Network and ISDN Systems, 1998.