Framework for Testing based Development of Parallel and Distributed Programs

Since testing is an essential part of the software development life cycle, it should be part of the whole development process. Only a few approaches exist for parallel and distributed systems which embed testing in the whole process. Here we present attempts to overcome deficiencies in the development of parallel and distributed programs. It is based on objectoriented design and temporal logic specifications of global states. We derive enough information to select test cases of nondeterministic programs by the use of control patterns.

[1]  Maximilian Frey,et al.  Formal specification of CSCW applications with concurrent abstract data types , 1998, J. Syst. Archit..

[2]  K. Tai,et al.  A Specification-Based Methology for Testing Concurrent Programs , 1995, ESEC.

[3]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[4]  Maximilian Frey,et al.  Debugging parallel programs using temporal logic specifications , 1996, Software Engineering for Parallel and Distributed Systems.

[5]  Andreas Weininger,et al.  Using temporal logic specifications to debug parallel programs , 1993, Microprocess. Microprogramming.

[6]  Peter Øhrstrøm,et al.  Temporal Logic , 1994, Lecture Notes in Computer Science.

[7]  Barton P. Miller,et al.  What are race conditions?: Some issues and formalizations , 1992, LOPL.

[8]  David Luckham,et al.  TSL: task sequencing language , 1985, SIGAda '85.

[9]  Maximilian Frey,et al.  Testing parallel and distributed programs with temporal logic specifications , 1997, Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems.

[10]  P MillerBarton,et al.  What are race conditions , 1992 .

[11]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[12]  Richard H. Carver,et al.  Replay and testing for concurrent programs , 1991, IEEE Software.

[13]  Gul Agha,et al.  Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems , 1997 .

[14]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

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

[16]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.