Localizing multiple faults in a protocol implementation

Large, virtualized pools of computational resources raise the possibility of a new, advantageous computing paradigm for scientific research. To help achieve this, new tools make the cloud platform behave virtually like a local homogeneous computer cluster, giving users access to high-performance clusters without requiring them to purchase or maintain sophisticated hardware.

[1]  David Lee,et al.  Reverse-engineering of communication protocols , 1993, 1993 International Conference on Network Protocols.

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

[3]  Fabrizio Lombardi,et al.  Evaluation and improvement of fault coverage of conformance testing by UIO sequences , 1992, IEEE Trans. Commun..

[4]  Vishwani D. Agrawal,et al.  Finite state machine synthesis with fault tolerant test function , 1992, DAC '92.

[5]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[6]  Shinji Suzuki,et al.  Design and implementation of an interconnectability testing system—AICTS , 1995 .

[7]  Toshihiko Kato,et al.  OSI protocol testing system based on user friendly test scenario specification functions , 1995 .

[8]  Teruo Higashino,et al.  Automatic generation of extended UIO sequences for communication protocols in an EFSM model , 1995 .

[9]  Gregor von Bochmann,et al.  Diagnosis of single transition faults in communicating finite state machines , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[10]  Shinji Kusumoto,et al.  A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols , 1995, IEICE Trans. Inf. Syst..

[11]  Sanjoy Paul,et al.  Generating minimal length test sequences for conformance testing of communication protocols , 1991, IEEE INFCOM '91. The conference on Computer Communications. Tenth Annual Joint Comference of the IEEE Computer and Communications Societies Proceedings.

[12]  Norio Shiratori,et al.  A new test sequence generation method for interoperability testing , 1995 .

[13]  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..

[14]  Deepinder Sidhu,et al.  Fault coverage of protocol test methods , 1988, IEEE INFOCOM '88,Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?.