Exploiting annotations to test break-off branches

I. S.W.B. Prasetya; J. Hage; A. Elyasov

doi:10.1109/APSEC.2015.25

Exploiting annotations to test break-off branches

I. S.W.B. Prasetya, J. Hage, A. Elyasov

Utrecht University

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

Abstract

Programs often contain branches to break off from their main execution. These branches contribute to the total cost of testing, because they also need to be tested. The paper presents a new approach to improve the testing of such branches by annotating them. Our tool automatically generates test-sequences. Then, invariants in the form of pre-and post-condition over the executions passing each annotated branch are dynamically inferred, and reported to the programmer for inspection. Contradiction with the programmer's assumption on what the behavior should be indicates a bug. As invariants, a certain class of simple expressions are proposed, which are discriminative enough for testing break-off behavior, while keeping their amount feasible for inspection.

Original language	English
Title of host publication	Proceedings - 22nd Asia-Pacific Software Engineering Conference, APSEC 2015
Publisher	IEEE
Pages	80-87
Number of pages	8
Volume	2016-May
ISBN (Electronic)	9781467396448
DOIs	https://doi.org/10.1109/APSEC.2015.25
Publication status	Published - 9 May 2016
Event	22nd Asia-Pacific Software Engineering Conference, APSEC 2015 - New Delhi, India Duration: 1 Dec 2015 → 4 Dec 2015

Conference

Conference	22nd Asia-Pacific Software Engineering Conference, APSEC 2015
Country/Territory	India
City	New Delhi
Period	1/12/15 → 4/12/15

Keywords

Automated testing Java
Automated testing Object Oriented programs
Automated unit testing
Invariant inference
Specification mining

Access to Document

10.1109/APSEC.2015.25

9644a080Final published version, 600 KBLicence: Taverne

Cite this

@inproceedings{a3fbdcb6a08840cdad538be89f7e73c0,

title = "Exploiting annotations to test break-off branches",

abstract = "Programs often contain branches to break off from their main execution. These branches contribute to the total cost of testing, because they also need to be tested. The paper presents a new approach to improve the testing of such branches by annotating them. Our tool automatically generates test-sequences. Then, invariants in the form of pre-and post-condition over the executions passing each annotated branch are dynamically inferred, and reported to the programmer for inspection. Contradiction with the programmer's assumption on what the behavior should be indicates a bug. As invariants, a certain class of simple expressions are proposed, which are discriminative enough for testing break-off behavior, while keeping their amount feasible for inspection.",

keywords = "Automated testing Java, Automated testing Object Oriented programs, Automated unit testing, Invariant inference, Specification mining",

author = "Prasetya, {I. S.W.B.} and J. Hage and A. Elyasov",

year = "2016",

month = may,

day = "9",

doi = "10.1109/APSEC.2015.25",

language = "English",

volume = "2016-May",

publisher = "IEEE",

pages = "80--87",

booktitle = "Proceedings - 22nd Asia-Pacific Software Engineering Conference, APSEC 2015",

address = "United States",

note = "22nd Asia-Pacific Software Engineering Conference, APSEC 2015 ; Conference date: 01-12-2015 Through 04-12-2015",

}

TY - GEN

T1 - Exploiting annotations to test break-off branches

AU - Prasetya, I. S.W.B.

AU - Hage, J.

AU - Elyasov, A.

PY - 2016/5/9

Y1 - 2016/5/9

N2 - Programs often contain branches to break off from their main execution. These branches contribute to the total cost of testing, because they also need to be tested. The paper presents a new approach to improve the testing of such branches by annotating them. Our tool automatically generates test-sequences. Then, invariants in the form of pre-and post-condition over the executions passing each annotated branch are dynamically inferred, and reported to the programmer for inspection. Contradiction with the programmer's assumption on what the behavior should be indicates a bug. As invariants, a certain class of simple expressions are proposed, which are discriminative enough for testing break-off behavior, while keeping their amount feasible for inspection.

AB - Programs often contain branches to break off from their main execution. These branches contribute to the total cost of testing, because they also need to be tested. The paper presents a new approach to improve the testing of such branches by annotating them. Our tool automatically generates test-sequences. Then, invariants in the form of pre-and post-condition over the executions passing each annotated branch are dynamically inferred, and reported to the programmer for inspection. Contradiction with the programmer's assumption on what the behavior should be indicates a bug. As invariants, a certain class of simple expressions are proposed, which are discriminative enough for testing break-off behavior, while keeping their amount feasible for inspection.

KW - Automated testing Java

KW - Automated testing Object Oriented programs

KW - Automated unit testing

KW - Invariant inference

KW - Specification mining

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

U2 - 10.1109/APSEC.2015.25

DO - 10.1109/APSEC.2015.25

M3 - Conference contribution

VL - 2016-May

SP - 80

EP - 87

BT - Proceedings - 22nd Asia-Pacific Software Engineering Conference, APSEC 2015

PB - IEEE

T2 - 22nd Asia-Pacific Software Engineering Conference, APSEC 2015

Y2 - 1 December 2015 through 4 December 2015

ER -

Exploiting annotations to test break-off branches

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this