Title :
Framework for testing based development of parallel and distributed programs
Author :
Frey, Michael ; Podolsky, Matthew
Author_Institution :
Inst. fur Inf., Tech. Univ. Munchen
Abstract :
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. We present attempts to overcome deficiencies in the development of parallel and distributed programs. It is based on object oriented 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
Keywords :
formal specification; object-oriented programming; parallel programming; program testing; temporal logic; control patterns; distributed programs; distributed systems; global states; nondeterministic programs; object oriented design; parallel programs; software development life cycle; temporal logic specifications; test cases; testing based development; Electrical capacitance tomography; Life testing; Logic design; Logic testing; Object oriented modeling; Power system modeling; Programming; Software testing; System testing; Unified modeling language;
Conference_Titel :
Software Engineering for Parallel and Distributed Systems, 1998. Proceedings. International Symposium on
Conference_Location :
Kyoto
Print_ISBN :
0-7695-0634-8
DOI :
10.1109/PDSE.1998.668190
