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 proceedingConference contribution

2 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 languageEnglish
Title of host publicationProceedings - 2015 41st Latin American Computing Conference, CLEI 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages667-674
ISBN (Electronic)9781467391436
DOIs
Publication statusPublished - 16 Dec 2015
Event41st Latin American Computing Conference, CLEI 2015 - Arequipa, Peru
Duration: 19 Oct 201523 Oct 2015

Conference

Conference41st Latin American Computing Conference, CLEI 2015
CountryPeru
CityArequipa
Period19/10/1523/10/15

Keywords

  • Concurrent software
  • Coverage
  • Java
  • Parallel Software
  • Structural testing
  • Testing tools

Fingerprint Dive into the research topics of 'Extracting static and dynamic structural information from Java concurrent programs for coverage testing'. Together they form a unique fingerprint.

Cite this