Practical aspects of building a constrained random test framework for safety-critical embedded systems

Dongjiang You, Isaac Amundson, Scott A. Hareland, Sanjai Rayadurgam

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

In the safety-critical embedded system industry, one of the key challenges is to demonstrate the robustness and depend- Ability of the product prior to market release, which is typically done using various verification and validation (V&V) strategies. Directed verification testing is a common strategy that performs black-box testing at the system level; how- ever, it only samples a small set of specific system behaviors and requires heavily manual effort. In this paper, we de- scribe our experience and lessons learned of applying the concept of constrained random testing on safety-critical em- bedded systems as a complimentary testing methodology. Constrained random testing enables us to cover many more system behaviors through random input variations, random fault injections, and automatic output comparisons. Addi- Tionally, it can reduce manual effort and increase confidence on the dependability of both firmware and hardware.

Original languageEnglish (US)
Title of host publication1st International Workshop on Modern Software Engineering Methods for Industrial Automation, MoSEMInA 2014 - Proceedings
PublisherAssociation for Computing Machinery, Inc
Pages17-25
Number of pages9
ISBN (Electronic)9781450328517
DOIs
StatePublished - May 31 2014
Event1st International Workshop on Modern Software Engineering Methods for Industrial Automation, MoSEMInA 2014 - Hyderabad, India
Duration: May 31 2014 → …

Publication series

Name1st International Workshop on Modern Software Engineering Methods for Industrial Automation, MoSEMInA 2014 - Proceedings

Conference

Conference1st International Workshop on Modern Software Engineering Methods for Industrial Automation, MoSEMInA 2014
CountryIndia
CityHyderabad
Period5/31/14 → …

Keywords

  • Constrained random testing
  • Practical experience
  • Safety-critical embedded systems

Fingerprint Dive into the research topics of 'Practical aspects of building a constrained random test framework for safety-critical embedded systems'. Together they form a unique fingerprint.

Cite this