通过使用 STIMULUS,您可以将系统规范(需求、状态机和方框图)作为一个整体进行仿真,并在设计阶段之前查找规范错误,从而采用有效的需求和测试驱动型开发流程。STIMULUS 会生成许多满足系统规范的执行跟踪,并提供强大的调试功能以分析需求仿真结果:冲突和缺失需求的自动检测和诊断、需求覆盖范围、有效需求突出显示、信号监控等。
1、冲突的需求
在仿真时,STIMULUS 解算器将检测需求之间的冲突。如果在既定的时间点发生冲突,仿真程序将会停止,以突出显示该组冲突的需求。
2、缺失的需求
在仿真时,某些系统输出未被任何需求所定义,则 STIMULUS 将检测到缺失的需求(更准确地说,是时间点),并在仿真窗口中以虚线表示。
3、需求覆盖范围
将需求转变为观察因素时,STIMULUS 将测量其功能覆盖范围。如果自仿真开始后至少激活了一次需求,则可以认为该需求已被覆盖。