Exhaustive testing of exception handlers with enforcer

Cyrille Artho; Armin Biere; Shinichi Honiden

doi:10.1007/978-3-540-74792-5_2

Exhaustive testing of exception handlers with enforcer

Cyrille Artho^*, Armin Biere, Shinichi Honiden

^*Corresponding author for this work

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

5 Citations (Scopus)

Abstract

Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initiated on the test suite level and are usually not tested sufficiently. Essentially, each interaction of the application with the environment can result in a failure. The Enforcer tool identifies such potential failures and automatically tests all relevant outcomes of such actions. It combines the structure of unit tests with coverage information and fault injection. By taking advantage of a unit test infrastructure, performance can be improved by orders of magnitude compared to previous approaches. This paper introduces the usage of the Enforcer tool.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Pages	26-46
Number of pages	21
ISBN (Print)	3540747915, 9783540747918
DOIs	https://doi.org/10.1007/978-3-540-74792-5_2
Publication status	Published - 2007
Externally published	Yes
Event	5th International Symposium on Formal Methods for Components and Objects, FMCO 2006 - Amsterdam, Netherlands Duration: 2006 Nov 7 → 2006 Nov 10

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4709 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	5th International Symposium on Formal Methods for Components and Objects, FMCO 2006
Country/Territory	Netherlands
City	Amsterdam
Period	06/11/7 → 06/11/10

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-540-74792-5_2

Cite this

Artho, C., Biere, A., & Honiden, S. (2007). Exhaustive testing of exception handlers with enforcer. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 26-46). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4709 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-74792-5_2

Exhaustive testing of exception handlers with enforcer. / Artho, Cyrille; Biere, Armin; Honiden, Shinichi.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 2007. p. 26-46 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4709 LNCS).

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

Artho, C, Biere, A & Honiden, S 2007, Exhaustive testing of exception handlers with enforcer. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4709 LNCS, Springer Verlag, pp. 26-46, 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, Amsterdam, Netherlands, 06/11/7. https://doi.org/10.1007/978-3-540-74792-5_2

Artho C, Biere A, Honiden S. Exhaustive testing of exception handlers with enforcer. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2007. p. 26-46. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-74792-5_2

Artho, Cyrille ; Biere, Armin ; Honiden, Shinichi. / Exhaustive testing of exception handlers with enforcer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 2007. pp. 26-46 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9714e69418e44e80b67e92694ca5b1cf,

title = "Exhaustive testing of exception handlers with enforcer",

abstract = "Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initiated on the test suite level and are usually not tested sufficiently. Essentially, each interaction of the application with the environment can result in a failure. The Enforcer tool identifies such potential failures and automatically tests all relevant outcomes of such actions. It combines the structure of unit tests with coverage information and fault injection. By taking advantage of a unit test infrastructure, performance can be improved by orders of magnitude compared to previous approaches. This paper introduces the usage of the Enforcer tool.",

author = "Cyrille Artho and Armin Biere and Shinichi Honiden",

year = "2007",

doi = "10.1007/978-3-540-74792-5_2",

language = "English",

isbn = "3540747915",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "26--46",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

note = "5th International Symposium on Formal Methods for Components and Objects, FMCO 2006 ; Conference date: 07-11-2006 Through 10-11-2006",

}

TY - GEN

T1 - Exhaustive testing of exception handlers with enforcer

AU - Artho, Cyrille

AU - Biere, Armin

AU - Honiden, Shinichi

PY - 2007

Y1 - 2007

N2 - Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initiated on the test suite level and are usually not tested sufficiently. Essentially, each interaction of the application with the environment can result in a failure. The Enforcer tool identifies such potential failures and automatically tests all relevant outcomes of such actions. It combines the structure of unit tests with coverage information and fault injection. By taking advantage of a unit test infrastructure, performance can be improved by orders of magnitude compared to previous approaches. This paper introduces the usage of the Enforcer tool.

AB - Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initiated on the test suite level and are usually not tested sufficiently. Essentially, each interaction of the application with the environment can result in a failure. The Enforcer tool identifies such potential failures and automatically tests all relevant outcomes of such actions. It combines the structure of unit tests with coverage information and fault injection. By taking advantage of a unit test infrastructure, performance can be improved by orders of magnitude compared to previous approaches. This paper introduces the usage of the Enforcer tool.

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

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

U2 - 10.1007/978-3-540-74792-5_2

DO - 10.1007/978-3-540-74792-5_2

M3 - Conference contribution

AN - SCOPUS:38549156542

SN - 3540747915

SN - 9783540747918

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 26

EP - 46

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

T2 - 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006

Y2 - 7 November 2006 through 10 November 2006

ER -

Exhaustive testing of exception handlers with enforcer

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this