A formal framework for the study of concurrent program testing

Author

Weiss, Stewart N.

Author_Institution

Dept. of Comput. Sci., Hunter Coll., New York, NY, USA

fYear

1988

fDate

19-21 Jul 1988

Firstpage

106

Lastpage

113

Abstract

The author has developed a formal theory for reasoning about concurrent program testing by representing such programs as sets of simulating sequential programs. He has shown that if such a representation exists for all programs in a concurrent language, then it serves as the basis for a solution to the reproducible testing problem of programs in that language. The author does not know under what circumstances such a representation must necessarily exist; that is an open question. However, he has shown that it exists for a simple concurrent language in the CSP family, denoted language CL, and he believes that the model is applicable to other languages in the family. Because CL is currently unimplemented, no pragmatic studies have been done on the feasibility of applying the model

Keywords

parallel programming; program testing; programming theory; CSP family; concurrent language; concurrent program testing; formal theory; language CL; reasoning; simulating sequential programs; Algorithm design and analysis; Computational modeling; Computer science; Computer simulation; Concurrent computing; Educational institutions; Error correction; Logic testing; Sequential analysis; Software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Testing, Verification, and Analysis, 1988., Proceedings of the Second Workshop on

Conference_Location

Banff, Alta.

Print_ISBN

0-8186-0868-4

Type

conf

DOI

10.1109/WST.1988.5362

Filename

5362