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

fYear

2012

fDate

4-6 July 2012

Firstpage

263

Lastpage

266

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Theoretical Aspects of Software Engineering (TASE), 2012 Sixth International Symposium on

Conference_Location

Beijing

Print_ISBN

978-1-4673-2353-6

Type

conf

DOI

10.1109/TASE.2012.21

Filename

6269657

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2984751