Industrial Examples of Formal Specifications for Test Case Generation
Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle · EPiC series in computing · 2018
While requirements engineering has received considerable attention in academia over the past years, formalization of requirements for physically influenced systems is still a difficult task in practice. In this paper, we give formal representations of some typical requirement classes arising in the automotive industry. We divide these patterns into three main classes: those mostly referring to properties of continuous signals, those mostly referring to discrete events and those referring to similarity to a reference signal. We discuss these patterns on concrete examples from automotive embedded systems, where specifications are used for test case generation.