Constraint-based test generation for automotive operating systems

Yunja Choi, Taejoon Byun

Research output: Contribution to journalArticlepeer-review

10 Scopus citations

Abstract

This work suggests a method for systematically constructing a software-level environment model for safety checking automotive operating systems by introducing a constraint specification language, OSEK_CSL. OSEK_CSL is designed to specify the usage constraints of automotive operating systems using a pre-defined set of constraint types identified from the international standard OSEK/VDX. Each constraint specified in OSEK_CSL is interpreted as either a regular language or a context-free language that can be checked by a finite automaton or a pushdown automaton. The set of usage constraints is used to systematically classify the universal usage model of OSEK-/VDX-based operating systems and to generate test sequences with varying degrees of constraint satisfaction using LTL model checking. With pre-defined constraint patterns and the full support of automation, test engineers can choose the degree of constraint satisfaction and generate test cases using combinatorial intersections of selected constraints that cover all corner cases classified by constraints. A series of experiments on an open-source automotive operating system show that our approach finds safety issues more effectively than conventional specification-based testing, scenario-based testing, and conformance testing.

Original languageEnglish
Pages (from-to)7-24
Number of pages18
JournalSoftware and Systems Modeling
Volume16
Issue number1
DOIs
StatePublished - 1 Feb 2017

Keywords

  • Automotive software
  • Constraint specification
  • Operating system
  • Test generation
  • Verification

Fingerprint

Dive into the research topics of 'Constraint-based test generation for automotive operating systems'. Together they form a unique fingerprint.

Cite this