要求建模与自动化需求的试验生成

由John Lee和Jon Friedman，Mathworks

对于许多关键任务系统，展示通过一组基于需求的测试已经满足了所有要求，通常由内部流程或外部标准授权。确定一组给定的一组测试矢量涵盖设计要求（而不是仅仅覆盖设计）是一项挑战。

本文展示了如何使用原因效果图建模以自然语言捕获的要求，然后将其导入Simulink金宝app^®和州流^®要确定冲突的要求并生成一组测试向量，可以使用覆盖目标（如修改条件/决策覆盖范围）（MCDC）进行完整性评估。相同的测试向量应用于设计模型，可以独立于原始要求开发。这种方法使工程师能够确定他们的设计是否被基于要求的测试向量充分覆盖。