Requirements-Based Testing in a Model-Based World

Date of Submission: 
May 9, 2005
Report Number: 
05-019
Report PDF: 
Abstract: 
Model-based software development offers new opportunities and challenges for validation and verification of safety-critical software. In this report, we describe an approach for validating the artifacts generated in a model-based development process. Our approach divides the traditional testing process into two parts: one that validates the formal model implements the high-level requirements and another that determines whether the code generated from the model is behaviorally equivalent. The focus in this report is on validation testing; in particular, we present a framework that enables objective measures of requirements coverage and provides the ability to achieve a high degree of automation.