Life Cycle Integration Use of Model-Based Testing Tools

Abstract

The paper discusses how organizations use specific model-based tools and evolved their existing engineering processes to develop and test large-scale critical applications. It discusses challenges and best practices observed from the use of model-based testing tools, and reflects on tool requirements that are essential for organizational adoption, including support for requirement-to-test traceability from requirement management tools, through requirement and design modeling, modelbased test generation, to automated test execution and analysis using model-based testing tools that have qualification evidence to support use on safety-critical applications.

Transforming System Engineering through Model-Centric Engineering

“…The example provided a common understanding that the goal of the modeled Vision is going to formally characterize all of the "data," relationships, automation throughout the entire lifecycle, including for example the relationship to data used by, and produced by modeling and simulation, analyses and other resources, as well as evidence captured within the models to support risk assessment and management. 18 We used SysML, because we saw examples from NASA/JPL [8], who is the only organization that we met that has started this type of Vision model concept. SysML works for JPL, because their entire team is deeply versed in SysML.…”

“…To reflect on the concept of model transformation rather than model evolution, we provide the following example to describe how model-based automation can completely eliminate manual effort and result in radical transformation of the "As Is" process through an automated workflow [18]. This process was used in the verification of the control laws for the F-35 [88].…”

“…Code generation from Simulink models can be provided by Mathworks and other commercial products o Automatic test generation directly from Simulink models[18] o Automatic test driver generation  The test vectors are transformed into various types of test drivers that are run both against a…”