Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition

Pouria Derakhshanfar; Xavier Devroey

doi:10.1145/3526072.3527528

Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition

Pouria Derakhshanfar, Xavier Devroey

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

85 Downloads (Pure)

Abstract

Basic Block Coverage (BBC) is a secondary objective for search- based unit test generation techniques relying on the approach level and branch distance to drive the search process. Unlike the approach level and branch distance, which considers only information related to the coverage of explicit branches coming from conditional and loop statements, BBC also takes into account implicit branchings (e.g., a runtime exception thrown in a branchless method) denoted by the coverage level of relevant basic blocks in a control flow graph to drive the search process. Our implementation of BBC for unit test generation relies on the DynaMOSA algorithm and EvoSuite. This paper summarizes the results achieved by EvoSuite’s DynaMOSA implementation with BBC as a secondary objective at the SBST 2022 unit testing tool competition.

Original language	English
Title of host publication	Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022
Publisher	ACM Press
Pages	37-38
Number of pages	2
ISBN (Electronic)	9781450393188
DOIs	https://doi.org/10.1145/3526072.3527528
Publication status	Published - 9 May 2022
Event	15th Search- Based Software Testing Workshop (SBST ’22) - Virtual, Pittsburgh, United States Duration: 9 May 2022 → 9 May 2022 Conference number: 15 https://sbst22.github.io

Publication series

Name	Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022

Workshop

Workshop	15th Search- Based Software Testing Workshop (SBST ’22)
Abbreviated title	SBST
Country/Territory	United States
City	Pittsburgh
Period	9/05/22 → 9/05/22
Internet address	https://sbst22.github.io

Keywords

basic block coverage
EvoSuite
search-based unit test generation

Access to Document

10.1145/3526072.3527528

sbst22Accepted author manuscript, 421 KBLicence: CC BY

Cite this

@inproceedings{284122b23d994813b0b41defd61cb517,

title = "Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition",

abstract = "Basic Block Coverage (BBC) is a secondary objective for search- based unit test generation techniques relying on the approach level and branch distance to drive the search process. Unlike the approach level and branch distance, which considers only information related to the coverage of explicit branches coming from conditional and loop statements, BBC also takes into account implicit branchings (e.g., a runtime exception thrown in a branchless method) denoted by the coverage level of relevant basic blocks in a control flow graph to drive the search process. Our implementation of BBC for unit test generation relies on the DynaMOSA algorithm and EvoSuite. This paper summarizes the results achieved by EvoSuite{\textquoteright}s DynaMOSA implementation with BBC as a secondary objective at the SBST 2022 unit testing tool competition.",

keywords = "basic block coverage, EvoSuite, search-based unit test generation",

author = "Pouria Derakhshanfar and Xavier Devroey",

note = "Funding Information: We would like to thank the organizers of the 10th Java Unit Testing Tool Competition. This research was partially funded by the EU Horizon 2020 COSMOS (DevOps for Complex Cyber-physical Systems) Project No. 957254-COSMOS, and the CyberExcellence (No. 2110186) project, funded by the Public Service of Wallonia (SPW Recherche). Publisher Copyright: {\textcopyright} 2022 ACM.; 15th Search- Based Software Testing Workshop (SBST {\textquoteright}22), SBST ; Conference date: 09-05-2022 Through 09-05-2022",

year = "2022",

month = may,

day = "9",

doi = "10.1145/3526072.3527528",

language = "English",

series = "Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022",

publisher = "ACM Press",

pages = "37--38",

booktitle = "Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022",

address = "United States",

url = "https://sbst22.github.io",

}

Derakhshanfar, P & Devroey, X 2022, Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition. in Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022. Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022, ACM Press, pp. 37-38, 15th Search- Based Software Testing Workshop (SBST ’22), Pittsburgh, Pennsylvania, United States, 9/05/22. https://doi.org/10.1145/3526072.3527528

Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition. / Derakhshanfar, Pouria; Devroey, Xavier.
Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022. ACM Press, 2022. p. 37-38 (Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition

AU - Derakhshanfar, Pouria

AU - Devroey, Xavier

N1 - Conference code: 15

PY - 2022/5/9

Y1 - 2022/5/9

N2 - Basic Block Coverage (BBC) is a secondary objective for search- based unit test generation techniques relying on the approach level and branch distance to drive the search process. Unlike the approach level and branch distance, which considers only information related to the coverage of explicit branches coming from conditional and loop statements, BBC also takes into account implicit branchings (e.g., a runtime exception thrown in a branchless method) denoted by the coverage level of relevant basic blocks in a control flow graph to drive the search process. Our implementation of BBC for unit test generation relies on the DynaMOSA algorithm and EvoSuite. This paper summarizes the results achieved by EvoSuite’s DynaMOSA implementation with BBC as a secondary objective at the SBST 2022 unit testing tool competition.

AB - Basic Block Coverage (BBC) is a secondary objective for search- based unit test generation techniques relying on the approach level and branch distance to drive the search process. Unlike the approach level and branch distance, which considers only information related to the coverage of explicit branches coming from conditional and loop statements, BBC also takes into account implicit branchings (e.g., a runtime exception thrown in a branchless method) denoted by the coverage level of relevant basic blocks in a control flow graph to drive the search process. Our implementation of BBC for unit test generation relies on the DynaMOSA algorithm and EvoSuite. This paper summarizes the results achieved by EvoSuite’s DynaMOSA implementation with BBC as a secondary objective at the SBST 2022 unit testing tool competition.

KW - basic block coverage

KW - EvoSuite

KW - search-based unit test generation

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

U2 - 10.1145/3526072.3527528

DO - 10.1145/3526072.3527528

M3 - Conference contribution

T3 - Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022

SP - 37

EP - 38

BT - Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022

PB - ACM Press

T2 - 15th Search- Based Software Testing Workshop (SBST ’22)

Y2 - 9 May 2022 through 9 May 2022

ER -

Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition

Abstract

Publication series

Workshop

Keywords

Access to Document

Other files and links

Fingerprint

JUGE: An infrastructure for benchmarking Java unit test generators

Basic block coverage for search-based unit testing and crash reproduction

CYBEREXCELLENCE: The project of excellence in cyber security within the framework of the plan of the Walloon Region (CyberWal)

Cite this

Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition

Abstract

Publication series

Workshop

Keywords

Access to Document

Other files and links

Fingerprint

Research output

JUGE: An infrastructure for benchmarking Java unit test generators

Basic block coverage for search-based unit testing and crash reproduction

Projects

CYBEREXCELLENCE: The project of excellence in cyber security within the framework of the plan of the Walloon Region (CyberWal)

Cite this