河南郑州做网站,wordpress 二级目录,点评类网站建设,网站建设入什么科目产品概述 Stimulus是法国达索公司产品#xff0c;其目的是通过需求建模分析来验证需求的正确性。Stimulus的核心理念是运用“自然语言”对功能性需求进行建模#xff0c;并通过仿真来查找需求中的缺陷#xff0c;例如需求一致性、不二义性和完整性检查等。借助Stimulus可以在…产品概述 Stimulus是法国达索公司产品其目的是通过需求建模分析来验证需求的正确性。Stimulus的核心理念是运用“自然语言”对功能性需求进行建模并通过仿真来查找需求中的缺陷例如需求一致性、不二义性和完整性检查等。借助Stimulus可以在系统开发的早期阶段发现并修改需求规范中的错误在系统最终交付验收阶段检查系统设计是否满足需求规范从而较大程度地降低产品开发的成本与风险。 产品介绍 仿真及验证需求规范 Stimulus使系统架构师能够模拟需求并在设计开始之前检测到模糊、不正确、缺失或冲突的需求从而创建安全关键型嵌入式系统验证所需的高质量规范。Stimulus使用“自然语言”对需求进行建模、仿真并验证需求Stimulus中包含了丰富的时间与逻辑运算符例如“当……时”“如果”“大于”“只有”等。通过对需求按照运算符进行重新书写可以验证需求中是否存在冲突通过对仿真结果的观察来验证需求规范中是否存在冲突与缺陷进而保证了需求规范的正确性。开发团队可以用更少的时间重新定义需求、重写和重新调试代码从而减少实现高质量结果所需的开发迭代。 生成测试用例及系统验证 在验证阶段Stimulus还使测试工程师能够自动生成测试向量和测试目标并检查嵌入式代码是否符合其规范。Stimulus可以根据需求描述自动生成符合需求的测试用例需求可以是高层次需求或者低层次需求也可以在Stimulus中使用“自然语言”描述测试场景并生成符合测试场景的测试用例。Stimulus不但可以根据需求生成测试用例还可以监测系统输出是否符合需求规格说明中的要求。测试团队不再需要编写或维护从需求中手动派生的测试案例。相反他们可以重复利用系统架构师已完成的工作来构建高度灵活的测试活动从而采用有效的敏捷方法。 良好的集成扩展性 Stimulus支持对SIMULINK及SCADE集成可以为SIMULINK或SCADE模型自动生成测试用例即根据需求生成系统输入以及系统行为的约束限制进而检验模型是否满足需求规范。
主要优势
实现早期需求验证在工程师之间分享清晰且可观察的需求有效扩大测试活动的功能覆盖范围减少开发流程中成本高昂的迭代
应用案例 某跨国汽车设备供应商验证ABS/ESP系统需求规范。
