Requirements-Based Testing in Aircraft Control Design
Requirements-Based Testing in Aircraft Control Design
复制标题
飞机控制设计中基于需求的测试
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
P. Mosterman
中科院分区：
文献类型：
--
作者：
J. Ghidella;P. Mosterman
为了保持竞争力，可以应用基于模型的设计来帮助降低系统设计成本并加快上市时间。基于模型的方法在设计阶段特别有效，并且越来越多地与需求捕获、代码生成和测试阶段联系在一起。其基础设施允许将需求链接到系统模型的各个部分，并自动生成对代码中原始需求的引用。此外，从需求导出的测试向量是系统模型的一部分，并且可以链接到它们所代表的需求。本文描述了如何将该基础设施与模型验证和验证的覆盖率分析相结合，以帮助使需求一致且明确，同时确保测试向量集完整且设计最少（即不存在多余元素）。
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).