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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

93 Téléchargements (Pure)

Résumé

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.

langue originale	Anglais
titre	Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022
Editeur	ACM Press
Pages	37-38
Nombre de pages	2
ISBN (Electronique)	9781450393188
Les DOIs	https://doi.org/10.1145/3526072.3527528
Etat de la publication	Publié - 9 mai 2022
Evénement	15th Search- Based Software Testing Workshop (SBST ’22) - Virtual, Pittsburgh, États-Unis Durée: 9 mai 2022 → 9 mai 2022 Numéro de conférence: 15 https://sbst22.github.io

Série de publications

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

Atelier de travail

Atelier de travail	15th Search- Based Software Testing Workshop (SBST ’22)
Titre abrégé	SBST
Pays/Territoire	États-Unis
La ville	Pittsburgh
période	9/05/22 → 9/05/22
Adresse Internet	https://sbst22.github.io

Financement

Bailleurs de fonds	Numéro du bailleur de fonds
Public Service of Wallonia
Horizon 2020 Framework Programme	957254
EU Horizon 2020 COSMOS	957254-COSMOS, 2110186

Accès au document

10.1145/3526072.3527528

sbst22Accepted author manuscript, 421 KBLicense: CC BY

Autres fichiers et liens

Lien vers la publication sur Scopus

2 Citations
2 Article

JUGE: An infrastructure for benchmarking Java unit test generators
Devroey, X., Gambi, A., Galeotti, J. P., Just, R., Kifetew, F., Panichella, A. & Panichella, S., mai 2023, Dans: Software Testing, Verification and Reliability. 33, 3, p. e1838 e1838.
Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

Accès ouvert
File
35 Téléchargements (Pure)
Basic block coverage for search-based unit testing and crash reproduction
Derakhshanfar, P., Devroey, X. & Zaidman, A., 6 oct. 2022, Dans: Empirical Software Engineering . 27, 7, 192.
Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

Accès ouvert
File
65 Téléchargements (Pure)

1 Actif

CYBEREXCELLENCE: Le projet d’excellence de la cyber sécurité dans le cadre du plan de la Région Wallonne (CyberWal)
Colin, J.-N. (Responsable du Projet), Schobbens, P. Y. (Co-investigateur), Dejaeghere, J. (Chercheur), Devroey, X. (Co-investigateur), Nguyen, G. (Chercheur), Rochet, F. (Co-investigateur), Schumacher, L. (Co-investigateur), Knockaert, M. (Chercheur), Jacquet, J.-M. (Co-investigateur), Linden, I. (Responsable du Projet), Elkoulak, H. (Chercheur), Poeng, K. (Chercheur), Ouardi, D. (Chercheur), Goffaux, L. (Chercheur) & Barkallah, M. (Chercheur)
1/01/22 → 31/12/27
Projet: Recherche

1st place at the Java Test Case Generation Tool Competition
Derakhshanfar, P. (Bénéficiaire) & Devroey, X. (Bénéficiaire), 28 avr. 2025
Prix: Prix (y compris les médailles et récompenses)

Contient cette citation

@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. Dans Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022. Proceedings - 15th Search-Based Software Testing Workshop, SBST 2022, ACM Press, p. 37-38, 15th Search- Based Software Testing Workshop (SBST ’22), Pittsburgh, Pennsylvanie, États-Unis, 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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

Résumé

Série de publications

Atelier de travail

Financement

Accès au document

Autres fichiers et liens

Empreinte digitale

Résultat de recherche

JUGE: An infrastructure for benchmarking Java unit test generators

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

Projets

CYBEREXCELLENCE: Le projet d’excellence de la cyber sécurité dans le cadre du plan de la Région Wallonne (CyberWal)

Prix

1st place at the Java Test Case Generation Tool Competition

Contient cette citation