Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults

Abstract A distributed system may have a number of separate interfaces called ports and in testing it may be necessary to have a separate tester at each port. This introduces a number of issues, including the necessity to use synchronised test sequences and the possibility that output-shifting faults go undetected. This paper considers the problem of generating a minimal synchronised test sequence that detects output-shifting faults when the system is specified using a finite state machine with multiple ports. The set of synchronised test sequences that detect output-shifting faults is represented by a directed graph G and test generation involves finding appropriate tours of G . This approach is illustrated using the test criterion that the test sequence contains a test segment for each transition.

[1]  Carl A. Sunshine,et al.  Protocol Specification, Testing and Verification - Guest Editorial , 1982, Comput. Networks.

[2]  Deepinder P. Sidhu,et al.  Formal Methods for Protocol Testing: A Detailed Study , 1989, IEEE Trans. Software Eng..

[3]  Jan Karel Lenstra,et al.  On general routing problems , 1976, Networks.

[4]  Xiaolin Wu,et al.  On Minimizing the Lengths of Checking Sequences , 1997, IEEE Trans. Computers.

[5]  Alfred V. Aho,et al.  An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours , 1991, IEEE Trans. Commun..

[6]  John L Berg,et al.  Protocol specification, testing, and verification, IV: edited by Shaula Yemini, Yechiam Yemini, and Robert Strom, 1987; North-Holland, Amsterdam, The Netherlands; 720 pages; hardback; $75.00; Illustrations, references; ISBN 0 444 87676 6. , 1988 .

[7]  Omar Rafiq,et al.  Controllability and observability in distributed testing , 1999, Inf. Softw. Technol..

[8]  Gregor von Bochmann,et al.  Generating Tests for Control Portion of SDL Specifications , 1993, Protocol Test Systems.

[9]  Robert M. Hierons,et al.  Extending Test Sequence Overlap by Invertibility , 1996, Comput. J..

[10]  Hasan Ural,et al.  The Synchronization Problem in Protocol Testing and its Complexity , 1991, Inf. Process. Lett..

[11]  Bo Yang,et al.  Protocol conformance test generation using multiple UIO sequences with overlapping , 1990, SIGCOMM '90.

[12]  Gregor von Bochmann,et al.  Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports , 1993, Protocol Test Systems.

[13]  Gregor von Bochmann,et al.  Synchronization and Specification Issues in Protocol Testing , 1984, IEEE Trans. Commun..

[14]  Doo-Hwan Bae,et al.  A test sequence selection method for statecharts , 2000, Softw. Test. Verification Reliab..

[15]  Gregor von Bochmann,et al.  Error detection with multiple observers , 1985, PSTV.

[16]  Hasan Ural,et al.  Synchronizable test sequences based on multiple UIO sequences , 1995, TNET.

[17]  James A. McHugh,et al.  Algorithmic Graph Theory , 1986 .

[18]  Robert M. Hierons,et al.  Testing a system specified using Statecharts and Z , 2001, Inf. Softw. Technol..

[19]  Chuan Yi Tang,et al.  Synchronizable test sequence for multi-party protocol conformance testing , 1998, Comput. Commun..

[20]  Krishnendu Chakrabarty,et al.  An Efficient Finite-State Machine Implementation of Huffman Decoders , 1997, Inf. Process. Lett..

[21]  Samuel T. Chanson,et al.  Design and Implementation of a Ferry Clip Test System , 1989, PSTV.

[22]  G. Bochmann,et al.  Conformance Relations and Test Derivation , 1993, Protocol Test Systems.

[23]  Tadanori Mizuno,et al.  Protocol Test Systems , 1995, IFIP — The International Federation for Information Processing.

[24]  Robert M. Hierons,et al.  Testing from a Finite-State Machine: Extending Invertibility to Sequences , 1997, Comput. J..

[25]  Kuo-Chung Tai,et al.  Observation inaccuracy in conformance testing with multiple testers , 1998, Proceedings. 1998 IEEE Workshop on Application-Specific Software Engineering and Technology. ASSET-98 (Cat. No.98EX183).