Framework for testing based development of parallel and distributed programs
M. Frey, Michael Oberhuber, Markus Podolsky · 2002
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 Introduction Testing is an essential part of software development. Unfortunately, it is very often misunderstood. It is not only the last phase of a hierarchy of development phases but an essential part of each single phase. Each one comprises refinements and instantiations of entities of the previous phase. Consequently, the results of each phase have to be checked against requirements and consistency. Therefore, test and verification has to be an es...