用户中心
· 企业空间 首页 | 资讯 | 技术 | 产品 | 企业 | 博客 | 论坛| 在线研讨会
恒润科技
  • 需求形式化建模和分析工具 — Stimulus  
  • 发布时间:2018/12/7 10:17:19   修改时间:2019/5/20 15:30:28 浏览次数:437
  • 需求形式化建模和分析工具 — Stimulus
  • 概述

            Stimulus 是法国Argosim 公司产品,其目的是通过需求建模分析来验证需求的正确性。Stimulus 的核心理念是运用“自然语言”对功能性需求进行建模,并通过仿真来查找需求中的缺陷,例如需求一致性、不二义性和完整性检查等。

            借助Stimulus 可以在系统开发的早期阶段发现并修改需求规范中的错误、在系统最终交付验收阶段检查系统设计是否满足需求规范,从而极大地降低产品开发的成本与风险。



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




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

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

  • 企业介绍
恒润科技(HiRain Technologies)是一家持续快速发展的高新技术企业,专业从事汽车、车联网、轨道交通等领域的电子产品研发生产、解决方案咨询服务、研发工具代理以及专业培训等,总部位于北京,设有上海、成都、美国底特律、德国慕尼黑分公司,长春、…  更多>>
  • 联系方式

恒润科技

联系人:秦女士

地址: 北京市海淀区知春路7号致真大厦D座5-10层

邮编:100101

电话:010-64840808-6103

传真:

公司网址:http://www.hirain.com

  • 该空间手机版

扫描此二维码即可访问该空间手机版

  • 在线反馈
1.我有以下需求:



2.详细的需求:
 
姓名:  
单位:
电话:  
邮件:  
您还没有登录,请登陆,
如果您还没有注册,点击这里注册.
  • 网友反馈
  • 张铖博 在2019/6/25 15:20:00留言
  • 留言类型:我让贵公司技术支持人员联系我,
  • 详细留言:需要技术支持
  • 钱先生 在2019/6/24 10:29:00留言
  • 留言类型:得到贵公司产品详细资料,得到贵公司产品的价格信息,贵公司技术支持人员联系我,
  • 详细留言:汽车车灯AFS和执行器相关需求。
  • 周进良 在2019/6/23 21:11:00留言
  • 留言类型:得到贵公司产品详细资料,得到贵公司产品的价格信息,贵公司产品销售人员联系我,
  • 详细留言:转台、稳定平台、电动调平等机电一体化设备从论证到建模仿真数字样机的仿真实现需求
  • 邱先生 在2019/6/22 10:56:00留言
  • 留言类型:得到贵公司产品详细资料,贵公司技术支持人员联系我,
  • 详细留言:我司智能车辆需要一款车载智能终端,希望定制化开发,请联系我
  • 严东兴 在2019/6/21 7:32:00留言
  • 留言类型:得到贵公司产品详细资料,贵公司技术支持人员联系我,
  • 详细留言:一款汽车产品需要检测旋转角度,既经济又实用
更多请进入空间管理中心查看
关于我们 | 网站地图 | 联系我们
© 2003-2018    经营许可编号:京ICP证120335号
公安机关备案号:110102002318  服务热线:010-82053688
我要反馈