DocumentCode :
1932476
Title :
A path analysis approach to concurrent program testing
Author :
Yang, Ren-Dar ; Chung, Chyan-Goei
Author_Institution :
Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsin Chu, Taiwan
fYear :
1990
fDate :
21-23 Mar 1990
Firstpage :
425
Lastpage :
432
Abstract :
A path analysis approach to concurrent program testing is proposed. A concurrent path model for modeling the execution behavior of a concurrent program is presented. In the model, an execution of a concurrent program is seen as involving a concurrent path (which comprises the paths of all concurrent tasks), and the tasks´ synchronizations are modeled as a concurrent route to traverse the concurrent path involved in the execution. Accordingly, testing is a process to examine the correctness of each concurrent route along all concurrent paths of concurrent programs. On the basis of the model, the test format is defined, and a path analysis testing methodology is presented. Also, several coverage criteria, extended from coverage criteria for sequential programs, are proposed. Some practical issues of path analysis testing, namely, test path generation, test data generation, and design of the test execution control mechanism are also addressed
Keywords :
parallel programming; program testing; concurrent path model; concurrent program testing; coverage criteria; path analysis testing methodology; synchronizations; test data generation; test execution control mechanism; test path generation; Computer science; Concurrent computing; Control systems; Design methodology; Information science; Microelectronics; Monitoring; Sequential analysis; Software testing; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computers and Communications, 1990. Conference Proceedings., Ninth Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
0-8186-2030-7
Type :
conf
DOI :
10.1109/PCCC.1990.101652
Filename :
101652
Link To Document :
بازگشت