loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third Asia-Pacific Software Engineering Conference (APSEC'96)
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs
Seoul, SOUTH KOREA
December 04-December 07
ISBN: 0-8186-7638-8
Eisuke Itoh, Kyushu University
Zengo Furukawa, Kyushu University
Kazuo Ushijima, Kyushu University
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce different results with the same input data according to execution timings of the program. In testing of concurrent programs, test data must specify not only input data but also sequences of statements. Ordered Sequence Testing Criterion for length k (OSC_k), which was proposed by the authors, requires execution of all sequences of length k of concurrency statements which cause concurrent actions in a concurrent program. A monitoring tool has been developed for applying the testing criterion OSC_k to the testing of C concurrent programs on UNIX system. The tool measures coverage with regard to k-tuples of concurrency statements ( OSC_k ) in source codes of a C concurrent program using a probe insertion method. The analysis of the tool's output for a practical C concurrent program shows not only applicability of the tool for testing of concurrent program but also the necessity of a supporting tool for forcing execution of concurrency statements.
Index Terms:
Software test, ordered sequence testing criterion (OSC), coverage, C concurrent program, UNIX, monitoring, probe insertion.
Citation:
Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima, "A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs," apsec, pp.345, Third Asia-Pacific Software Engineering Conference (APSEC'96), 1996
Usage of this product signifies your acceptance of the Terms of Use.