Industrial Examples of Formal Specifications for Test Case Generation

9 pages•Published: December 17, 2015

Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking and Matthias Woehrle

Abstract

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.

Keyphrases: formal specifications, hybrid automata, industrial, temporal logic, test case generation

In: Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, vol 34, pages 80-88.

Links:	https://easychair.org/publications/paper/4Xd
	https://doi.org/10.29007/z9ph

BibTeX entry

@inproceedings{ARCH15:Industrial_Examples_Formal_Specifications,
  author    = {Hendrik Roehm and Rainer Gmehlich and Thomas Heinz and Jens Oehlerking and Matthias Woehrle},
  title     = {Industrial Examples of Formal Specifications for Test Case Generation},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/4Xd},
  doi       = {10.29007/z9ph},
  pages     = {80-88},
  year      = {2015}}

Download PDF Open PDF in browser