发布信息当前位置: 首页 » 供应 » 电子/通信测量 » 其他相关附件 » 其他附件 » Stimulus — 需求形式化建模和分析工具

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

点击图片查看原图
公司: 北京经纬恒润科技股份有限公司 
单 价: 面议 询价 
最小起订量:    
供货总量:
发货期限: 自买家付款之日起 3 天内发货
有效期至: 长期有效
最后更新: 2019-08-27
相关信息
 
产品详细说明
        Stimulus 是法国Argosim公司产品,其目的是通过需求建模分析来验证需求的正确性。Stimulus的核心理念是运用“自然语言”对功能性需求进行建模,并通过仿真来查找需求中的缺陷,例如需求一致性、不二义性和完整性检查等。借助Stimulus可以在系统开发的早期阶段发现并修改需求规范中的错误、在系统最终交付验收阶段检查系统设计是否满足需求规范,从而很大地降低产品开发的成本与风险。



产品介绍

仿真及验证需求规范

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




生成测试用例及系统验证

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


良好的集成扩展性

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




 


公司联系方式
  • 北京经纬恒润科技股份有限公司 [加为商友]
  • [第6年] 指数:8
  • 联系人许女士(女士)    
  • 电话
  • 手机(010)64840808-6104
  • 地区北京
  • 地址北京市海淀区知春路7号致真大厦6层
  •   
同类产品

[ 供应搜索 ]  [ ]  [ 告诉好友 ]  [ 打印本文 ]  [ 关闭窗口 ]  [ 返回顶部 ]

CK365测控网郑重提醒:网上过低的价格有可能是虛假价格信息,请买家谨慎对待,谨防价格欺诈行为。投诉或价格欺诈行为,请发送邮件至 1365099215@qq.com