Title :
Statement-Coverage Testing for Nondeterministic Concurrent Programs
Author :
Hwang, Gwan-Hwan ; Lin, Heng-Yi ; Lin, Shao-Yan ; Lin, Che-Sheng
Author_Institution :
Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Normal Univ., Taipei, Taiwan
Abstract :
In this paper we propose a scheme for reachability testing to obtain statement coverage in the dynamic testing of concurrent programs. The proposed scheme derives inputs from SYN-sequences obtained in reachability testing and uses these inputs to perform reachability testing multiple times in order to achieve statement-coverage testing for a concurrent program.
Keywords :
multiprocessing programs; program testing; reachability analysis; SYN-sequences; dynamic testing; nondeterministic concurrent programs; reachability testing; statement-coverage testing; Algorithm design and analysis; Heuristic algorithms; Performance analysis; Software engineering; Synchronization; Systematics; Testing; Concurrent programs; Symbolic execution;
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2012 Sixth International Symposium on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-2353-6
DOI :
10.1109/TASE.2012.21
