Obtaining Models for Test Generation from Natural-language-like Functional Specifications

  title={Obtaining Models for Test Generation from Natural-language-like Functional Specifications},
  author={Martin Esser and Peter Struss},
The paper presents first results of a project that aims at 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. Firstly, the input to test generation, i.e. the specification of functional requirements, exists mainly as natural… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS
10 Citations
4 References
Similar Papers


Publications referenced by this paper.
Showing 1-4 of 4 references

Duration Calculus. A Formal Approach to RealTime

  • Z. Chaochen-Hansen 03 Chaochen, M. R. Hansen
  • 2003

Automated test of ECUs in a hardware-inthe-loop simulation environment

  • Boot
  • Proceedings of the 1999 IEEE International…
  • 1999

Similar Papers

Loading similar papers…