Requirements-Based Testing in Aircraft Control Design
Jason Ghidella, Pieter J. Mosterman · 2005
To be competitive, Model-Based Design can be applied to help bring down the cost of system design and faster time to market. Model-based approaches are especially effective in the design stages and are increasingly tied in with the requirements capture and code generation and testing phases. The infrastructure for this allows linking requirements to parts of the system model as well as automatically generating references to the original requirements in the code. In addition, test vectors that are derived from the requirements are part of the system model and can be linked to the requirements they represent. This paper describes how this infrastructure can be combined with coverage analyses for model verification and validation to aid in making requirements consistent and unambiguous, while ensuring the set of test vectors is complete and the design minimal (i.e., no superfluous elements exist). I.