Stimulus — 需求形式化建模和分析工具

产品介绍

仿真及验证需求规范

       Stimulus使用“自然语言”对需求进行建模、仿真并验证需求。Stimulus中包含了丰富的时间与逻辑运算符，例如：“当…时”，“如 果”，“大于”，“只有”等。通过对需求按照运算符进行重新书写，可以验证需求中是否存在冲突；通过对仿真结果的观察，来验证需求规范中是否存在冲突与缺陷，进而保证了需求规范的正确性。

生成测试用例及系统验证

       Stimulus可以根据需求描述自动生成符合需求的测试用例（需求可以是高层次需求或者低层次需求），也可以在 Stimulus中使用“自然语言”描述测试场景，并生成符合测试场景的测试用例。Stimulus不但可以根据需求生成测试用例，还可以监测系统输出是否符合需求规格说明中的要求。在测试环境中导入生成的测试用例并通过监视系统输出，客户可以验证系统设计是否满足需求，还可以节省手工书写测试用例时冗长而无味的时间。 

良好的集成扩展性

       Stimulus 支 持 对 SIMULINK 及 SCADE 集 成，可 以 为SIMULINK或SCADE模型自动生成测试用例，即根据需求生成系统输入以及系统行为的约束限制，进而检验模型是否满足需求规范中的要求。