Statement-coverage testing for nondeterministic concurrent programs

Gwan Hwan Hwang; Heng Yi Lin; Shao Yan Lin; Che Sheng Lin

doi:10.1109/TASE.2012.21

Statement-coverage testing for nondeterministic concurrent programs

Gwan Hwan Hwang^*, Heng Yi Lin, Shao Yan Lin, Che Sheng Lin

^*Corresponding author for this work

Department of Computer Science and Information Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Abstract

In this paper we propose a scheme for reach ability testing to obtain statement coverage in the dynamic testing of concurrent programs. The proposed scheme derives inputs from SYN-sequences obtained in reach ability testing and uses these inputs to perform reach ability testing multiple times in order to achieve statement-coverage testing for a concurrent program.

Original language	English
Title of host publication	Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
Pages	263-266
Number of pages	4
DOIs	https://doi.org/10.1109/TASE.2012.21
Publication status	Published - 2012
Event	IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 - Beijing, China Duration: 2012 Jul 4 → 2012 Jul 6

Publication series

Name	Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012

Other

Other	IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
Country/Territory	China
City	Beijing
Period	2012/07/04 → 2012/07/06

Keywords

Concurrent programs
Symbolic execution

ASJC Scopus subject areas

Software

Access to Document

10.1109/TASE.2012.21

Cite this

Hwang, G. H., Lin, H. Y., Lin, S. Y., & Lin, C. S. (2012). Statement-coverage testing for nondeterministic concurrent programs. In Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 (pp. 263-266). Article 6269657 (Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012). https://doi.org/10.1109/TASE.2012.21

Statement-coverage testing for nondeterministic concurrent programs. / Hwang, Gwan Hwan; Lin, Heng Yi; Lin, Shao Yan et al.
Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. 2012. p. 263-266 6269657 (Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Hwang, GH, Lin, HY, Lin, SY & Lin, CS 2012, Statement-coverage testing for nondeterministic concurrent programs. in Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012., 6269657, Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, pp. 263-266, IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, 2012/07/04. https://doi.org/10.1109/TASE.2012.21

Hwang GH, Lin HY, Lin SY, Lin CS. Statement-coverage testing for nondeterministic concurrent programs. In Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. 2012. p. 263-266. 6269657. (Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012). doi: 10.1109/TASE.2012.21

@inproceedings{3a86fb6514f941128f5ee0362b7a1a33,

title = "Statement-coverage testing for nondeterministic concurrent programs",

abstract = "In this paper we propose a scheme for reach ability testing to obtain statement coverage in the dynamic testing of concurrent programs. The proposed scheme derives inputs from SYN-sequences obtained in reach ability testing and uses these inputs to perform reach ability testing multiple times in order to achieve statement-coverage testing for a concurrent program.",

keywords = "Concurrent programs, Symbolic execution",

author = "Hwang, {Gwan Hwan} and Lin, {Heng Yi} and Lin, {Shao Yan} and Lin, {Che Sheng}",

year = "2012",

doi = "10.1109/TASE.2012.21",

language = "English",

isbn = "9780769547510",

series = "Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012",

pages = "263--266",

booktitle = "Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012",

note = "IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 ; Conference date: 04-07-2012 Through 06-07-2012",

}

TY - GEN

T1 - Statement-coverage testing for nondeterministic concurrent programs

AU - Hwang, Gwan Hwan

AU - Lin, Heng Yi

AU - Lin, Shao Yan

AU - Lin, Che Sheng

PY - 2012

Y1 - 2012

N2 - In this paper we propose a scheme for reach ability testing to obtain statement coverage in the dynamic testing of concurrent programs. The proposed scheme derives inputs from SYN-sequences obtained in reach ability testing and uses these inputs to perform reach ability testing multiple times in order to achieve statement-coverage testing for a concurrent program.

AB - In this paper we propose a scheme for reach ability testing to obtain statement coverage in the dynamic testing of concurrent programs. The proposed scheme derives inputs from SYN-sequences obtained in reach ability testing and uses these inputs to perform reach ability testing multiple times in order to achieve statement-coverage testing for a concurrent program.

KW - Concurrent programs

KW - Symbolic execution

UR - http://www.scopus.com/inward/record.url?scp=84866887550&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84866887550&partnerID=8YFLogxK

U2 - 10.1109/TASE.2012.21

DO - 10.1109/TASE.2012.21

M3 - Conference contribution

AN - SCOPUS:84866887550

SN - 9780769547510

T3 - Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012

SP - 263

EP - 266

BT - Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012

T2 - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012

Y2 - 4 July 2012 through 6 July 2012

ER -

Statement-coverage testing for nondeterministic concurrent programs

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this