I almost forgot! Beside the paper about automatic test model generation with test ideas, I submitted another paper to the MoDeVVa 09 workshop. This is a continuation of our ideas published in EuroMicro. Unfortunately this paper was rejected. Here’s the abstract:
In higher testing levels, software testers have to validate the correctness of executable code against high-level specifications. If testers do not have detailed information about the implementation, they cannot generate test cases and prepare test environment just by means of high-level specifications. We propose a novel idea for transforming test cases generated by a model-based testing approach from high-level test case specifications into implementation-level test cases: the knowledge of design decisions is re-used to derive a transformation from high-level specifications to executable code. After presenting that idea in detail, we discuss techniques and tools for its realization.
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!