需求建模和基于需求的自动化测试生成

约翰·李(John Lee)和乔恩·弗里德曼(Jon Friedman)著，MathWorks

对于许多关键任务系统来说，通过一组基于需求的测试来证明所有需求已经满足，这通常是由内部流程或外部标准强制要求的。确定一组给定的测试向量是否覆盖了设计需求(而不是仅仅覆盖了设计)是一个挑战。

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