用户中心
· 企业空间 首页 | 资讯 | 技术 | 产品 | 企业 | 博客 | 论坛| 在线研讨会
恒润科技
  • Stimulus — 需求形式化建模和分析工具  
  • 发布时间:2019/8/23 10:21:31   修改时间:2019/8/23 10:21:31 浏览次数:136
  • Stimulus — 需求形式化建模和分析工具
  •        Stimulus 是法国Argosim公司产品,其目的是通过需求建模分析来验证需求的正确性。Stimulus的核心理念是运用“自然语言”对功能性需求进行建模,并通过仿真来查找需求中的缺陷,例如需求一致性、不二义性和完整性检查等。借助Stimulus可以在系统开发的早期阶段发现并修改需求规范中的错误、在系统最终交付验收阶段检查系统设计是否满足需求规范,从而很大地降低产品开发的成本与风险。



    产品介绍

    仿真及验证需求规范

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




    生成测试用例及系统验证

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


    良好的集成扩展性

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




    经纬恒润

    北京市海淀区知春路7号致真大厦D座6层

    电话:010-64840808-6105

    邮箱:market_dept@hirain.com

    网址:www.hirain.com

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

恒润科技

联系人:秦女士

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

邮编:100101

电话:010-64840808-6103

传真:

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

  • 该空间手机版

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

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



2.详细的需求:
 
姓名:  
单位:
电话:  
邮件:  
您还没有登录,请登陆,
如果您还没有注册,点击这里注册.
  • 网友反馈
  • 苟德文 在2019/10/15 16:02:00留言
  • 留言类型:贵公司技术支持人员联系我,
  • 详细留言:F:/TESSY/RELS/tessy\work\00000412\00000414\00000416/ts_env.h:1:1: error: stray '\233' in program 你好!在执行数据测试时出现如下错误是什么原因?麻烦解答一下,这个问题已经难为很长时间了,ts_env.h是软件自己内部生成的为什么还会出错呢?
  • 何苏宇 在2019/10/14 9:24:00留言
  • 留言类型:我想得到贵公司产品详细资料,我想得到贵公司产品的价格信息,我让贵公司产品销售人员联系我,
  • 详细留言:您好,我是天津中德应用技术大学的教师,应用您公司的carmaker软件做教学使用,请您看到后联系我
  • 马光明 在2019/10/13 21:15:00留言
  • 留言类型:得到贵公司产品详细资料,
  • 详细留言:我们团队正在做综采工作面半实物仿真,想获得贵公司半实物仿真平台资料(如各部分配置 价格 以及支持的建模软件和后期的技术服务等)
  • 陈伟 在2019/10/10 9:18:00留言
  • 留言类型:得到贵公司产品详细资料,得到贵公司产品的价格信息,贵公司技术支持人员联系我,
  • 详细留言:想了解一下贵公司有没有 车载以太网 解决方案。 (avb 支持)
  • 陈树霖 在2019/10/9 17:41:00留言
  • 留言类型:我想得到贵公司产品详细资料,我想得到贵公司产品的价格信息,我让贵公司产品销售人员联系我,
  • 详细留言:VI-CarRealTime报价,产品详细资料
更多请进入空间管理中心查看
关于我们 | 网站地图 | 联系我们
© 2003-2018    经营许可编号:京ICP证120335号
公安机关备案号:110102002318  服务热线:010-82053688
我要反馈