Wednesday, 19 October 2016

New Journal Article on Test-Case Generation and Fault Propagation

Our new article on fault propagation and its relation to model-based test-case generation was just published:

Bernhard K. Aichernig, Elisabeth J√∂bstl, and Martin Tappler. Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. Journal of Logical and Algebraic Methods in Programming, 85(5, Part 2):806–823, 2016. (PDF) (doi:10.1016/j.jlamp.2016.02.002)

The publisher Elsevier provides a free download of the original article until December 2.

The paper describes how we generate test-cases for reactive systems by

  1. injecting faults into the models (mutation testing)
  2. generating a test-case that triggers this fault (refinement checking)
  3. extending the test-case until an observational failure could be produced (ioco checking).

We show that this is more efficient than previous approaches that search for observational equivalences directly, i.e. skipping Step 2.

Our case study of a car-alarm controller shows that for some subtle faults we need up to nine additional interactions until a fault becomes visible at the interface.

Friday, 5 August 2016

Professional Activities in 2016

I have been invited to serve on the PC of SVT 2017, the 32nd Annual ACM Symposium on Applied Computing Software Verification and Testing Track that will be held in Marrakech, Morocco, April 3 – 7, 2017.

 Here is a summary of my activities in 2016:

Friday, 5 February 2016

Designing Embedded Domain-Specific Languages in Scala

I am glad to share with you an excellent Bachelor's thesis written by Philipp Gabler and supervised by me. The topic is fascinating as it discusses the features of the programming language Scala to support the design of DSLs. It includes a case-study on our modeling language for model-based testing.

Philipp Gabler, Designing Embedded Domain-Specific Languages in Scala: a Case Study with Action Systems, Bachelor's Thesis, Graz University of Technology, Institute for Software Technology,  June 2015.

Here is the PDF for download.