loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth Asia-Pacific Software Engineering Conference (APSEC'98)
Design and Implementation of Test-Case Generation for Concurrent Programs
Taipei, Taiwan
December 02-December 04
ISBN: 0-8186-9183-2
Tetsuro Katayama, Nara Institute of Science and Technology
Zengo Furukawa, Kagawa University
Kazuo Ushijima, Kyushu University
Test-cases play an important roll for high quality of software testing. Inadequate test-cases may cause bugs remaining after testing. Overlapped ones lead to the increases in testing costs. This paper proposes the Event InterActions Graph (EIAG) representing behavior of concurrent programs including any task-type and the cooperated paths (copaths) on the EIAG as test-cases, and describes the test-case generation tool (TCgen) for concurrent programs written in Ada programming language. The EIAG consists of Event Graphs and Interactions. An Event Graph is a control flow graph of a program unit in a concurrent program. The Interactions represent interactions such as synchronizations between the program units. $TCgen$ generates test-cases as copaths from an Ada concurrent program. The generated copaths satisfy given testing criteria. They can find some communication errors in testing and detect unreachable statements which concern interactions. It is, however, necessary to validate feasibility of the generated copaths.
Index Terms:
software testing, concurrent programs, structural testing, test-cases, Event InterActions Graph(EIAG), testing criteria, task-types.
Citation:
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima, "Design and Implementation of Test-Case Generation for Concurrent Programs," apsec, pp.262, Fifth Asia-Pacific Software Engineering Conference (APSEC'98), 1998
Usage of this product signifies your acceptance of the Terms of Use.