Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

Bernhard K. Aichernig; Elisabeth Jöbstl; Martin Tappler

doi:10.1016/j.jlamp.2016.02.002

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler

Institute of Software Technology (7160)

Research output: Contribution to journal › Article › peer-review

Abstract

n this paper we describe an advanced test-case generation technique that is implemented in our model-based test-case generator MoMuT::UML. The tool injects faults into a UML model and analyses if the faults propagate to the interface. If a fault does propagate to an observable failure, an explaining sequence of events is generated and converted into a test-case scenario. The faults are detected using a highly optimised refinement checker, their propagation is analysed with an input–output conformance (ioco) checker. We show that this combination is faster than pure input–output conformance checking. It has been used in a recent industrial application of testing automotive measurement devices. The refinement and ioco checker are implemented in Prolog using the SMT solver Z3.

Original language	English
Pages (from-to)	806-823
Number of pages	18
Journal	The Journal of Logic and Algebraic Programming
Volume	85
Issue number	5, Part 2
DOIs	https://doi.org/10.1016/j.jlamp.2016.02.002
Publication status	Published - 2016

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1016/j.jlamp.2016.02.002

TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation
Jöbstl, E. & Aichernig, B.
1/03/11 → 28/02/14
Project: Research project

Cite this

@article{7e0657736dae41538102d9d185bca366,

title = "Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.",

abstract = "n this paper we describe an advanced test-case generation technique that is implemented in our model-based test-case generator MoMuT::UML. The tool injects faults into a UML model and analyses if the faults propagate to the interface. If a fault does propagate to an observable failure, an explaining sequence of events is generated and converted into a test-case scenario. The faults are detected using a highly optimised refinement checker, their propagation is analysed with an input–output conformance (ioco) checker. We show that this combination is faster than pure input–output conformance checking. It has been used in a recent industrial application of testing automotive measurement devices. The refinement and ioco checker are implemented in Prolog using the SMT solver Z3.",

author = "Aichernig, {Bernhard K.} and Elisabeth J{\"o}bstl and Martin Tappler",

year = "2016",

doi = "10.1016/j.jlamp.2016.02.002",

language = "English",

volume = "85",

pages = "806--823",

journal = "The Journal of Logic and Algebraic Programming",

issn = "1873-5940",

publisher = "Elsevier Inc.",

number = "5, Part 2",

}

TY - JOUR

T1 - Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

AU - Aichernig, Bernhard K.

AU - Jöbstl, Elisabeth

AU - Tappler, Martin

PY - 2016

Y1 - 2016

N2 - n this paper we describe an advanced test-case generation technique that is implemented in our model-based test-case generator MoMuT::UML. The tool injects faults into a UML model and analyses if the faults propagate to the interface. If a fault does propagate to an observable failure, an explaining sequence of events is generated and converted into a test-case scenario. The faults are detected using a highly optimised refinement checker, their propagation is analysed with an input–output conformance (ioco) checker. We show that this combination is faster than pure input–output conformance checking. It has been used in a recent industrial application of testing automotive measurement devices. The refinement and ioco checker are implemented in Prolog using the SMT solver Z3.

AB - n this paper we describe an advanced test-case generation technique that is implemented in our model-based test-case generator MoMuT::UML. The tool injects faults into a UML model and analyses if the faults propagate to the interface. If a fault does propagate to an observable failure, an explaining sequence of events is generated and converted into a test-case scenario. The faults are detected using a highly optimised refinement checker, their propagation is analysed with an input–output conformance (ioco) checker. We show that this combination is faster than pure input–output conformance checking. It has been used in a recent industrial application of testing automotive measurement devices. The refinement and ioco checker are implemented in Prolog using the SMT solver Z3.

U2 - 10.1016/j.jlamp.2016.02.002

DO - 10.1016/j.jlamp.2016.02.002

M3 - Article

SN - 1873-5940

VL - 85

SP - 806

EP - 823

JO - The Journal of Logic and Algebraic Programming

JF - The Journal of Logic and Algebraic Programming

IS - 5, Part 2

ER -

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

Abstract

Fields of Expertise

Access to Document

Fingerprint

Projects

TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation

Cite this