Practical Aspects of Building a Constrained Random Test Framework for Safety-critical Embedded Systems
Loading...
View/Download File
Persistent link to this item
Statistics
View StatisticsJournal Title
Journal ISSN
Volume Title
Title
Practical Aspects of Building a Constrained Random Test Framework for Safety-critical Embedded Systems
Published Date
2014
Publisher
ACM
Type
Report
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.
Keywords
Description
Associated research group: Critical Systems Research Group
Related to
Replaces
License
Series/Report Number
Funding information
Isbn identifier
Doi identifier
Previously Published Citation
1st International Workshop on Modern Software Engineering Methods for Industrial Automation, Hyderabad, India, May 2014.
Suggested citation
You, Dongjiang; Amundson, Isaac; Hareland, Scott; Rayadurgam, Sanjai. (2014). Practical Aspects of Building a Constrained Random Test Framework for Safety-critical Embedded Systems. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/217375.
Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.