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

由John Lee和Jon Friedman，Mathworks

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

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