用户中心
· 企业空间 首页 | 资讯 | 技术 | 产品 | 企业 | 直播 | 专题 | 智能制造 | 论坛| 在线研讨会
北京经纬恒润科技股份有限公司
  • Stimulus—需求形式化建模和验证工具  
  • 发布时间:2024/2/5 11:21:16   修改时间:2024/2/5 11:21:16 浏览次数:1755
  • Stimulus—需求形式化建模和验证工具
  • 产品概述

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


    产品介绍


     

           · 仿真及验证需求规范

             Stimulus使系统架构师能够模拟需求,并在设计开始之前检测到模糊、不正确、缺失或冲突的需求,从而创建安全关键型嵌入式系统验证所需的高质量规范。Stimulus使用自然语言对需求进行建模、仿真并验证需求,Stimulus中包含了丰富的时间与逻辑运算符,例如:……”“如果”“大于”“只有等。通过对需求按照运算符进行重新书写,可以验证需求中是否存在冲突;通过对仿真结果的观察,来验证需求规范中是否存在冲突与缺陷,进而保证了需求规范的正确性。开发团队可以用更少的时间重新定义需求、重写和重新调试代码,从而减少实现高质量结果所需的开发迭代。

     

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

             在验证阶段,Stimulus还使测试工程师能够自动生成测试向量和测试目标,并检查嵌入式代码是否符合其规范。Stimulus可以根据需求描述自动生成符合需求的测试用例(需求可以是高层次需求或者低层次需求),也可以在Stimulus中使用自然语言描述测试场景,并生成符合测试场景的测试用例。Stimulus不但可以根据需求生成测试用例,还可以监测系统输出是否符合需求规格说明中的要求。测试团队不再需要编写或维护从需求中手动派生的测试案例。相反,他们可以重复利用系统架构师已完成的工作来构建高度灵活的测试活动,从而采用有效的敏捷方法。

     

           · 良好的集成扩展性

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

     

    主要优势

           · 实现早期需求验证

           · 在工程师之间分享清晰且可观察的需求

           · 有效扩大测试活动的功能覆盖范围

           · 减少开发流程中成本高昂的迭代

     

    应用案例

           某跨国汽车设备供应商(验证ABS/ESP系统需求规范)。

  • 企业介绍
经纬恒润成立于2003年,股票代码688326。专注于为汽车、无人运输等领域的客户,提供电子产品、研发服务和高级别智能驾驶整体解决方案。公司总部位于北京,在天津、南通、马来西亚建有研发中心和现代化工厂,形成了完善的研发、生产、营销、服务…  更多>>
  • 联系方式

北京经纬恒润科技股份有限公司

联系人:经纬恒润

地址:北京朝阳区酒仙桥路14号1幢4层

邮编:100000

电话:010-64840808-6117

传真:

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

  • 该空间手机版

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

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



2.详细的需求:
 
姓名:  
单位:
电话:  
邮件:  
您还没有登录,请登陆,
如果您还没有注册,点击这里注册.
  • 网友反馈
  • 贾抗震 在2024/4/8 15:19:00留言
  • 留言类型:贵公司技术支持人员联系我,
  • 详细留言:关于DCMM项目合作事宜,数据管理成熟度贯标认证
  • 刘先生 在2024/3/18 17:29:00留言
  • 留言类型:我想得到贵公司产品详细资料,我想得到贵公司产品的价格信息,我让贵公司产品销售人员联系我,
  • 详细留言:目前有采购VBA需求,需要贵司销售人员联系我,并提供该产品详细技术参数。提供产品报价。 *需求紧急,请及时联系。
  • Cyoung 在2024/2/28 13:25:00留言
  • 留言类型:我想得到贵公司产品详细资料,我想得到贵公司产品的价格信息,我让贵公司技术支持人员联系我,
  • 详细留言:CP AUTOSAR工具报价及技术支持
  • 詹绪婷 在2024/2/27 10:19:00留言
  • 留言类型:我想得到贵公司产品的价格信息,
  • 详细留言:TC8 3.0测试报价
  • 王豪 在2024/2/26 16:19:00留言
  • 留言类型:我让贵公司技术支持人员联系我,
  • 详细留言:oms4光学属性测量设备进行材料测试(乳白色导光管,黑色pc等),将获取的文件导入speos进行仿真验证。
更多请进入空间管理中心查看
关于我们 | 网站地图 | 联系我们
© 2003-2018    经营许可编号:京ICP证120335号
公安机关备案号:110102002318  服务热线:010-82053688
我要反馈