Extracting static and dynamic structural information from Java concurrent programs for coverage testing

Rafael R. Prado; Paulo S L Souza; George G M Dourado; Simone R S Souza; Julio C. Estrella; Sarita M. Bruschi; Joao Lourenco

doi:10.1109/CLEI.2015.7359975

Extracting static and dynamic structural information from Java concurrent programs for coverage testing

Rafael R. Prado, Paulo S L Souza, George G M Dourado, Simone R S Souza, Julio C. Estrella, Sarita M. Bruschi, Joao Lourenco

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

4 Citations (Scopus)

Abstract

This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for their coverage testing. Such techniques differ from others because they consider synchronization flow among processes/threads, distinct paradigms of communication/synchronization, method calls and pointer manipulation. The structural information gathered from the source code is kept in a test model based on a Parallel Control Flow Graph (PCFG) and helps the generation of an instrumented source code, used for a future generation of trace files and to replay the concurrent execution. The results show the techniques can generate both an instrumented code and a PCFG for Java concurrent programs effectively, extracting static and runtime information required for structural testing.

Original language	English
Title of host publication	Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	667-674
ISBN (Electronic)	9781467391436
DOIs	https://doi.org/10.1109/CLEI.2015.7359975
Publication status	Published - 16 Dec 2015
Event	41st Latin American Computing Conference, CLEI 2015 - Arequipa, Peru Duration: 19 Oct 2015 → 23 Oct 2015

Conference

Conference	41st Latin American Computing Conference, CLEI 2015
Country/Territory	Peru
City	Arequipa
Period	19/10/15 → 23/10/15

Keywords

Concurrent software
Coverage
Java
Parallel Software
Structural testing
Testing tools

Access to Document

10.1109/CLEI.2015.7359975

Cite this

Prado, R. R., Souza, P. S. L., Dourado, G. G. M., Souza, S. R. S., Estrella, J. C., Bruschi, S. M., & Lourenco, J. (2015). Extracting static and dynamic structural information from Java concurrent programs for coverage testing. In Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015 (pp. 667-674). [7359975] Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/CLEI.2015.7359975

@inproceedings{ddc912a6232b42a7bc66c7e048cc579a,

title = "Extracting static and dynamic structural information from Java concurrent programs for coverage testing",

abstract = "This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for their coverage testing. Such techniques differ from others because they consider synchronization flow among processes/threads, distinct paradigms of communication/synchronization, method calls and pointer manipulation. The structural information gathered from the source code is kept in a test model based on a Parallel Control Flow Graph (PCFG) and helps the generation of an instrumented source code, used for a future generation of trace files and to replay the concurrent execution. The results show the techniques can generate both an instrumented code and a PCFG for Java concurrent programs effectively, extracting static and runtime information required for structural testing.",

keywords = "Concurrent software, Coverage, Java, Parallel Software, Structural testing, Testing tools",

author = "Prado, {Rafael R.} and Souza, {Paulo S L} and Dourado, {George G M} and Souza, {Simone R S} and Estrella, {Julio C.} and Bruschi, {Sarita M.} and Joao Lourenco",

year = "2015",

month = dec,

day = "16",

doi = "10.1109/CLEI.2015.7359975",

language = "English",

pages = "667--674",

booktitle = "Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "41st Latin American Computing Conference, CLEI 2015 ; Conference date: 19-10-2015 Through 23-10-2015",

}

Prado, RR, Souza, PSL, Dourado, GGM, Souza, SRS, Estrella, JC, Bruschi, SM & Lourenco, J 2015, Extracting static and dynamic structural information from Java concurrent programs for coverage testing. in Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015., 7359975, Institute of Electrical and Electronics Engineers (IEEE), pp. 667-674, 41st Latin American Computing Conference, CLEI 2015, Arequipa, Peru, 19/10/15. https://doi.org/10.1109/CLEI.2015.7359975

Extracting static and dynamic structural information from Java concurrent programs for coverage testing. / Prado, Rafael R.; Souza, Paulo S L; Dourado, George G M et al.
Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015. Institute of Electrical and Electronics Engineers (IEEE), 2015. p. 667-674 7359975.

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

TY - GEN

T1 - Extracting static and dynamic structural information from Java concurrent programs for coverage testing

AU - Prado, Rafael R.

AU - Souza, Paulo S L

AU - Dourado, George G M

AU - Souza, Simone R S

AU - Estrella, Julio C.

AU - Bruschi, Sarita M.

AU - Lourenco, Joao

PY - 2015/12/16

Y1 - 2015/12/16

N2 - This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for their coverage testing. Such techniques differ from others because they consider synchronization flow among processes/threads, distinct paradigms of communication/synchronization, method calls and pointer manipulation. The structural information gathered from the source code is kept in a test model based on a Parallel Control Flow Graph (PCFG) and helps the generation of an instrumented source code, used for a future generation of trace files and to replay the concurrent execution. The results show the techniques can generate both an instrumented code and a PCFG for Java concurrent programs effectively, extracting static and runtime information required for structural testing.

AB - This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for their coverage testing. Such techniques differ from others because they consider synchronization flow among processes/threads, distinct paradigms of communication/synchronization, method calls and pointer manipulation. The structural information gathered from the source code is kept in a test model based on a Parallel Control Flow Graph (PCFG) and helps the generation of an instrumented source code, used for a future generation of trace files and to replay the concurrent execution. The results show the techniques can generate both an instrumented code and a PCFG for Java concurrent programs effectively, extracting static and runtime information required for structural testing.

KW - Concurrent software

KW - Coverage

KW - Java

KW - Parallel Software

KW - Structural testing

KW - Testing tools

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

U2 - 10.1109/CLEI.2015.7359975

DO - 10.1109/CLEI.2015.7359975

M3 - Conference contribution

AN - SCOPUS:84961905737

SP - 667

EP - 674

BT - Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015

PB - Institute of Electrical and Electronics Engineers (IEEE)

T2 - 41st Latin American Computing Conference, CLEI 2015

Y2 - 19 October 2015 through 23 October 2015

ER -

Prado RR, Souza PSL, Dourado GGM, Souza SRS, Estrella JC, Bruschi SM et al. Extracting static and dynamic structural information from Java concurrent programs for coverage testing. In Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015. Institute of Electrical and Electronics Engineers (IEEE). 2015. p. 667-674. 7359975 doi: 10.1109/CLEI.2015.7359975

Extracting static and dynamic structural information from Java concurrent programs for coverage testing

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this