Stimulus—需求形式化建模和分析工具
stimulus是法国达索公司产品，其目的是通过需求建模分析来验证需求的正确性。stimulus的核心理念是运用“自然语言”对功能性需求进行建模，并通过仿真来查找需求中的缺陷，例如需求一致性、不二义性和完整性检查等。借助stimulus可以在系统开发的早期阶段发现并修改需求规范中的错误、在系统最终交付验收阶段检查系统设计是否满足需求规范，从而较大地降低产品开发的成本与风险。
产品介绍
仿真及验证需求规范
stimulus使用“自然语言”对需求进行建模、仿真并验证需求。stimulus中包含了丰富的时间与逻辑运算符，例如：“当…时”，“如果”，“大于”，“只有”等。通过对需求按照运算符进行重新书写，可以验证需求中是否存在冲突；通过对仿真结果的观察，来验证需求规范中是否存在冲突与缺陷，进而保证了需求规范的正确性。
生成测试用例及系统验证 stimulus可以根据需求描述自动生成符合需求的测试用例（需求可以是高层次需求或者低层次需求），也可以在stimulus中使用“自然语言”描述测试场景，并生成符合测试场景的测试用例。stimulus不但可以根据需求生成测试用例，还可以监测系统输出是否符合需求规格说明中的要求。在测试环境中导入生成的测试用例并通过监视系统输出，客户可以验证系统设计是否满足需求，还可以节省手工书写测试用例时冗长而无味的时间。
良好的集成扩展性 stimulus支持对simulink及scade集成，可以为simulink或scade模型自动生成测试用例，即根据需求生成系统输入以及系统行为的约束限制，进而检验模型是否满足需求规范中的要求。
应用&案例
某跨国汽车设备供应商（验证abs/esp系统需求规范）法国某轨道系统运营商（验证地铁车站自动门开关控制系统）
农机工业增速下滑明显，农业无人机有望大力发展
AMD自2017年以来已经售出2.6亿个核心
用了这个蓝牙模块，没想到调试如此简单！
华为P10最新消息：华为P10闪存门、屏幕门未结束Wi-Fi问题又被曝光！一波未平一波又起
水电站设备故障远程监控实用方案介绍
Stimulus—需求形式化建模和分析工具
荣获IoTE上海展会物联之星奖－中国物联网百強企業殊荣
空气开关与断路器的区别
电压倍增器电路原理图
风筝在其AI代码完成工具中增加了对11种新语言的支持
英特尔开发了CXL的相关技术，并使之成为了新规范的初始版本
关于avx钽电容分类的详细解读
关于测距传感器的开发和性能介绍分析和应用
探析仪器仪表生产行业设备及工艺开发趋势
为何印度一直在引领区块链的发展
网秦手机杀毒3.2评测 手机杀毒新里程碑
钻孔与外型加工制程
快速了解！巴鲁夫BVS视觉解决方案：利用智能相机轻松转型工业4.0
交换机类型
智能跟踪控制系统的动画仿真设计
产品介绍
仿真及验证需求规范
stimulus使用“自然语言”对需求进行建模、仿真并验证需求。stimulus中包含了丰富的时间与逻辑运算符，例如：“当…时”，“如果”，“大于”，“只有”等。通过对需求按照运算符进行重新书写，可以验证需求中是否存在冲突；通过对仿真结果的观察，来验证需求规范中是否存在冲突与缺陷，进而保证了需求规范的正确性。
生成测试用例及系统验证 stimulus可以根据需求描述自动生成符合需求的测试用例（需求可以是高层次需求或者低层次需求），也可以在stimulus中使用“自然语言”描述测试场景，并生成符合测试场景的测试用例。stimulus不但可以根据需求生成测试用例，还可以监测系统输出是否符合需求规格说明中的要求。在测试环境中导入生成的测试用例并通过监视系统输出，客户可以验证系统设计是否满足需求，还可以节省手工书写测试用例时冗长而无味的时间。
良好的集成扩展性 stimulus支持对simulink及scade集成，可以为simulink或scade模型自动生成测试用例，即根据需求生成系统输入以及系统行为的约束限制，进而检验模型是否满足需求规范中的要求。
应用&案例
某跨国汽车设备供应商（验证abs/esp系统需求规范）法国某轨道系统运营商（验证地铁车站自动门开关控制系统）
农机工业增速下滑明显，农业无人机有望大力发展
AMD自2017年以来已经售出2.6亿个核心
用了这个蓝牙模块，没想到调试如此简单！
华为P10最新消息：华为P10闪存门、屏幕门未结束Wi-Fi问题又被曝光！一波未平一波又起
水电站设备故障远程监控实用方案介绍
Stimulus—需求形式化建模和分析工具
荣获IoTE上海展会物联之星奖－中国物联网百強企業殊荣
空气开关与断路器的区别
电压倍增器电路原理图
风筝在其AI代码完成工具中增加了对11种新语言的支持
英特尔开发了CXL的相关技术，并使之成为了新规范的初始版本
关于avx钽电容分类的详细解读
关于测距传感器的开发和性能介绍分析和应用
探析仪器仪表生产行业设备及工艺开发趋势
为何印度一直在引领区块链的发展
网秦手机杀毒3.2评测 手机杀毒新里程碑
钻孔与外型加工制程
快速了解！巴鲁夫BVS视觉解决方案：利用智能相机轻松转型工业4.0
交换机类型
智能跟踪控制系统的动画仿真设计