A Test-case Generation Method for Concurrent Programs Including Task-types

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 taskinstances 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 taskinstances generated from a task-type can be determined statically or dynamically, and whether or not the taskinstances communicate with each other. The enhanced method uses a modified Event InterActions Graph(EIAG). The EIAG consists of Event Graphs and Interactions. An aph 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 enhanc...

• Type: Conference
• Year: 1997
• Where: APSEC
• Authors: Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
• Keywords: APSEC 1997, Concurrent Programs, Enhanced Method, Generated Taskinstances, Software Engineering