test model generation

[talk] Advances in Testing: Academia meets Industry (ATAMI'10)

At the end of 2009 I was invited by Stephan Weißleder to give a talk about my research topic at the ATAMI’10 workshop in Berlin.  This was a good ocassion for me to discuss with several researchers and industry experts about my research problems and solution. It showed to be a very good discussion. There were some interesting questions like:

  • Is there a strategy for test case selection from behavioral system models?
  • Why can no JUnit test cases be generated from my test model?
  • Why do I use Groovy for the implementation of the model transformation rules?
  • How big is the effort to achieve all traces / links between the systems models on the showed detail level?
  • How do I measure the coverage of the system model by the test model in my approach?

This questions are very important for the completness of my work. I will consider those while preparing my talk for the ICST PhD Symposium talk.

[paper accepted] From Design Models to Test Models by Means of Test Ideas

About 4 p.m. today morning, I have submitted a paper with some other researchers to a MODELS workshop called MoDeVVa. However there are several open questions, the main idea is IMO very innovative. I hope the program commitee also thinks so… Here’s the abstract of this paper:

Model-Based Testing is slowly becoming the next level of software testing. It promises higher quality, better coverage and efficient change management. MBT shows two main problems of modeling the test behavior. While modeling test cases test designers rewrite most of the system specification. Further, the number of test cases generated by modern tools is often not feasible. In practice, both problems are not solved. Assuming that the functional design is based on models, we show how to use them for software testing. With so-called test ideas, we propose a way to manually select and automatically transform the relevant parts of the design model into a basic test model that can be used for test case generation. We give an example and discuss the potentials for tool support.

This paper was accepted! Unfortunately I can’t travel to Denver, because some other researchers are already there and their publications were accepted for the main conference track. However I’m very happy!