Framework for testing based development of parallel and distributed programs

Author

Frey, Michael ; Podolsky, Matthew

Author_Institution

Inst. fur Inf., Tech. Univ. Munchen

fYear

1998

fDate

20-21 Apr 1998

Firstpage

246

Lastpage

253

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering for Parallel and Distributed Systems, 1998. Proceedings. International Symposium on

Conference_Location

Kyoto

Print_ISBN

0-7695-0634-8

Type

conf

DOI

10.1109/PDSE.1998.668190

Filename

668190