development service

development service

研发服务
全部分类
浏览量:
1000

stimulus—需求形式化建模和分析工具-凯发官方首页

零售价
0.0
市场价
0.0
浏览量:
1000
产品编号
2111
所属分类
服务
数量
-
库存:
0
产品描述

        stimulus是法国argosim公司产品,其目的是通过需求建模分析来验证需求的正确性。stimulus的核心理念是运用“自然语言”对功能性需求进行建模,并通过仿真来查找需求中的缺陷,例如需求一致性、不二义性和完整性检查等。借助stimulus可以在系统开发的早期阶段发现并修改需求规范中的错误、在系统最终交付验收阶段检查系统设计是否满足需求规范,从而较大地降低产品开发的成本与风险。

 

产品介绍

  • 仿真及验证需求规范

 

        

       

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

  • 生成测试用例及系统验证

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

  • 良好的集成扩展性

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

 

应用&案例
        汽车及轨道系统客户

  • 某跨国汽车设备供应商(验证abs/esp系统需求规范)
  • 法国某轨道系统运营商(验证地铁车站自动门开关控制系统)
     
关键词:
系统
stimulus
验证
扫二维码用手机看
未找到相应参数组,请于后台属性模板中添加

电话

邮箱:

关注凯发娱乐登录

网站地图