Interactive testing tool for parallel programs

The paper presents a model for structural testing of parallel software defined as a graph consisting of interconnected node objects and a tool STEPS implementing it. The number of test cases required by STEPS is much lower than with the use of traditional flow-graph representations. The tool facilitates systematic testing procedures based on the concept of communication events and test windows. Various testing scenarios may be defined for windows at several levels of abstraction, with regard to specific classes of errors, structural testing strategies, internal system states and external environment settings.

[1]  Henryk Krawczyk,et al.  Object-oriented model of parallel programs , 1996, Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing.

[2]  A. Jefferson Offutt,et al.  Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..

[3]  Douglas E. Comer,et al.  Internetworking with TCP/IP. Vol.1: Principles, protocols, and architecture; Vol.2: Design, implementation, and internals , 2000 .

[4]  Peter M. Maurer,et al.  Generating test data with enhanced context-free grammars , 1990, IEEE Software.

[5]  Joan M. Francioni,et al.  Testing races in parallel programs with an OtOt strategy , 1994, ISSTA '94.

[6]  Péter Kacsuk,et al.  Software Engineering for Parallel Processing , 1994 .

[7]  Bogdan Wiszniewski,et al.  A Tool for Testing Communication Events in TCP/IP Environments , 1995, PARCO.

[8]  Hélène Waeselynck,et al.  STATEMATE applied to statistical software testing , 1993, ISSTA '93.

[9]  Jeffrey J. P. Tsai,et al.  A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging , 1990, IEEE Trans. Software Eng..

[10]  Daniel Hoffman,et al.  Automated Module Testing in Prolog , 1991, IEEE Trans. Software Eng..

[11]  Michael J. Lutz Testing tools (software) , 1990, IEEE Software.

[12]  Bogdan Korel,et al.  Automated Software Test Data Generation , 1990, IEEE Trans. Software Eng..

[13]  Richard N. Taylor,et al.  Structural Testing of Concurrent Programs , 1992, IEEE Trans. Software Eng..

[14]  Richard H. Carver,et al.  Debugging Concurrent Ada Programs by Deterministic Execution , 1991, IEEE Trans. Software Eng..