Automated test generation from models based on functional software specifications

The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this tool can be used in today's engineering practice and, hence, the approach must not require costly changes in the current test generation process and not assume data and skills that do not exist in reality. We focus on design decisions that are motivated by this objective. The proposed solution offers a natural-language-template-based interface for acquiring software requirements. The content of the filled-in templates can be represented in propositional logic and temporal relations and form the model of the intended correct behavior. Models of potential faulty behaviors are generated from this OK model by a number of (types of) transformations. The fault types are defined mainly to match the intuition behind manually generated test cases and, hence, can deliver similar, but more systematic, test suites.