Heimdahl, MatsMiller, Steven P.2020-09-022020-09-022005-05-09https://hdl.handle.net/11299/215660Model-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.en-USReport