University of Minnesota
Software Engineering Center
/

You are here

Practical Aspects of Building a Constrained Random Test Framework for Safety-critical Embedded Systems

Date of Publication: 
May 2014
Associated Research Groups: 
Publication Files: 
Abstract: 
In the safety-critical embedded system industry, one of the key challenges is to demonstrate the robustness and dependability 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; however, it only samples a small set of specific system behaviors and requires heavily manual effort. In this paper, we describe our experience and lessons learned of applying the concept of constrained random testing on safety-critical embedded 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. Additionally, it can reduce manual effort and increase confidence on the dependability of both firmware and hardware.
Publisher: 
ACM
Venue: 
1st International Workshop on Modern Software Engineering Methods for Industrial Automation, Hyderabad, India, May 2014.
bibtex: 
@inproceedings{you2014practical, title={Practical aspects of building a constrained random test framework for safety-critical embedded systems}, author={You, Dongjiang and Amundson, Isaac and Hareland, Scott A and Rayadurgam, Sanjai}, booktitle={Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation}, pages={17--25}, year={2014}, organization={ACM} }