Title :
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
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;
Conference_Titel :
Software Testing, Verification, and Analysis, 1988., Proceedings of the Second Workshop on
Conference_Location :
Banff, Alta.
Print_ISBN :
0-8186-0868-4
DOI :
10.1109/WST.1988.5362
