Title :
A test-case generation method for concurrent programs including task-types
Author :
Katayama, Tetsuro ; Furukawa, Zengo ; Ushijima, Kazuo
Author_Institution :
Graduate Sch. of Inf. Sci. & Technol., Nara Inst. of Sci. & Technol., Japan
Abstract :
A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated task-instances may not be statically determined. Therefore, test-cases generated by our previously proposed method may not be realized in execution of the programs. This paper proposes an enhanced test-case generation method. Concurrent programs are classified into four kinds under two viewpoints, whether the number of task-instances generated from a task-type can be determined statically or dynamically, and whether or not the task-instances communicate with each other. The enhanced method uses a modified Event InterActions Graph (EIAG). The EIAG consists of event graphs and interactions. An event graph is an abstract control flow graph of a program unit. The interactions represent interactions between the units. Because the modified EIAG represents more accurate behavior of a program than the EIAG does, test-cases generated by the enhanced method increase the possibility of realizing themselves. The test-cases in the method increase in number. The method, however, is practical in the sense that the number of task-instances generated from a task-type is restricted
Keywords :
flow graphs; parallel programming; program control structures; program testing; programming theory; EIAG; Event InterActions Graph; abstract control flow graph; concurrent programs; event graphs; program execution; task-instances; task-types; test-case generation method; Computer languages; Educational technology; Information processing; Information science; Packaging; Software testing;
Conference_Titel :
Software Engineering Conference, 1997. Asia Pacific ... and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings
Print_ISBN :
0-8186-8271-X
DOI :
10.1109/APSEC.1997.640205