Automated system-level safety testing using constraint patterns for automotive operating systems

Taejoon Byun; Yunja Choi

doi:10.1145/2695664.2695935

Automated system-level safety testing using constraint patterns for automotive operating systems

Taejoon Byun
, Yunja Choi

Kyungpook National University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Scopus citations

Abstract

The automotive operating system is a typical safety-critical system that is tightly coupled with the operational environment through system services. However, existing automated techniques come short of testing the interface of such operating systems. We introduced an automated test generation method for system-level safety testing of the automotive operating systems, by utilizing the operational constraints defined in the specification. This work extends the idea by adding configuration-dependent and state-dependent constraint patterns, and by developing a tool chain to automate the constraint-based system-level testing. The effectiveness of our approach is demonstrated through a series of experiments, and a comparative analysis is performed between our method and concolic testing.

Original language	English
Title of host publication	2015 Symposium on Applied Computing, SAC 2015
Editors	Dongwan Shin
Publisher	Association for Computing Machinery
Pages	1815-1822
Number of pages	8
ISBN (Electronic)	9781450331968
DOIs	https://doi.org/10.1145/2695664.2695935
State	Published - 13 Apr 2015
Event	30th Annual ACM Symposium on Applied Computing, SAC 2015 - Salamanca, Spain Duration: 13 Apr 2015 → 17 Apr 2015

Publication series

Name	Proceedings of the ACM Symposium on Applied Computing
Volume	13-17-April-2015

Conference

Conference	30th Annual ACM Symposium on Applied Computing, SAC 2015
Country/Territory	Spain
City	Salamanca
Period	13/04/15 → 17/04/15

Keywords

Automotive software
Robustness
Specification-based test generation

Access to Document

10.1145/2695664.2695935

Cite this

@inproceedings{331fbc42a5e34c4182a66ff5dbdfefc5,

title = "Automated system-level safety testing using constraint patterns for automotive operating systems",

abstract = "The automotive operating system is a typical safety-critical system that is tightly coupled with the operational environment through system services. However, existing automated techniques come short of testing the interface of such operating systems. We introduced an automated test generation method for system-level safety testing of the automotive operating systems, by utilizing the operational constraints defined in the specification. This work extends the idea by adding configuration-dependent and state-dependent constraint patterns, and by developing a tool chain to automate the constraint-based system-level testing. The effectiveness of our approach is demonstrated through a series of experiments, and a comparative analysis is performed between our method and concolic testing.",

keywords = "Automotive software, Robustness, Specification-based test generation",

author = "Taejoon Byun and Yunja Choi",

year = "2015",

month = apr,

day = "13",

doi = "10.1145/2695664.2695935",

language = "English",

series = "Proceedings of the ACM Symposium on Applied Computing",

publisher = "Association for Computing Machinery",

pages = "1815--1822",

editor = "Dongwan Shin",

booktitle = "2015 Symposium on Applied Computing, SAC 2015",

}

Byun, T & Choi, Y 2015, Automated system-level safety testing using constraint patterns for automotive operating systems. in D Shin (ed.), 2015 Symposium on Applied Computing, SAC 2015. Proceedings of the ACM Symposium on Applied Computing, vol. 13-17-April-2015, Association for Computing Machinery, pp. 1815-1822, 30th Annual ACM Symposium on Applied Computing, SAC 2015, Salamanca, Spain, 13/04/15. https://doi.org/10.1145/2695664.2695935

Automated system-level safety testing using constraint patterns for automotive operating systems. / Byun, Taejoon; Choi, Yunja.
2015 Symposium on Applied Computing, SAC 2015. ed. / Dongwan Shin. Association for Computing Machinery, 2015. p. 1815-1822 (Proceedings of the ACM Symposium on Applied Computing; Vol. 13-17-April-2015).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Automated system-level safety testing using constraint patterns for automotive operating systems

AU - Byun, Taejoon

AU - Choi, Yunja

PY - 2015/4/13

Y1 - 2015/4/13

N2 - The automotive operating system is a typical safety-critical system that is tightly coupled with the operational environment through system services. However, existing automated techniques come short of testing the interface of such operating systems. We introduced an automated test generation method for system-level safety testing of the automotive operating systems, by utilizing the operational constraints defined in the specification. This work extends the idea by adding configuration-dependent and state-dependent constraint patterns, and by developing a tool chain to automate the constraint-based system-level testing. The effectiveness of our approach is demonstrated through a series of experiments, and a comparative analysis is performed between our method and concolic testing.

AB - The automotive operating system is a typical safety-critical system that is tightly coupled with the operational environment through system services. However, existing automated techniques come short of testing the interface of such operating systems. We introduced an automated test generation method for system-level safety testing of the automotive operating systems, by utilizing the operational constraints defined in the specification. This work extends the idea by adding configuration-dependent and state-dependent constraint patterns, and by developing a tool chain to automate the constraint-based system-level testing. The effectiveness of our approach is demonstrated through a series of experiments, and a comparative analysis is performed between our method and concolic testing.

KW - Automotive software

KW - Robustness

KW - Specification-based test generation

UR - https://www.scopus.com/pages/publications/84955441757

U2 - 10.1145/2695664.2695935

DO - 10.1145/2695664.2695935

M3 - Conference contribution

AN - SCOPUS:84955441757

T3 - Proceedings of the ACM Symposium on Applied Computing

SP - 1815

EP - 1822

BT - 2015 Symposium on Applied Computing, SAC 2015

A2 - Shin, Dongwan

PB - Association for Computing Machinery

T2 - 30th Annual ACM Symposium on Applied Computing, SAC 2015

Y2 - 13 April 2015 through 17 April 2015

ER -

Automated system-level safety testing using constraint patterns for automotive operating systems

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this