• <code id="k8eua"><label id="k8eua"></label></code>
  • 登录 | 注册 | English

    研发工具

    首页  >  研发工具  >  V流程需求及功能开发阶段  >  Stimulus-需求形式化建模和分析工具

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

    概述

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

     

     

    产?#26041;?#32461;

    1.仿真及验证需求规范

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

     

     

    2.生成测试用例及系统验证

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

     

    3.良好的集成扩展性

            Stimulus 支持对SIMULINK 及SCADE 集成, 可以为SIMULINK 或SCADE 模型自动生成测试用例,即根据需求生成系统输入以及系统?#24418;?#30340;?#38469;?#38480;制,进而检验模型是否满足需求规范中的要求。
    关于恒润
    企业简介
    企业理念
    企业资质
    新闻中心
    恒润在全球
    诚聘英才
    校园招聘
    实习生招聘
    社会招聘
    走进恒润
    常见问题
    市场活动
    在线研讨会
    线下活动
    微信课堂
    用户社区
    资料下载
    恒润月刊
    用户留言
    个人中心
    相关链接
    达索公司
    IBM-中国
    联系我们
    电话:010-64840808
    邮箱:[email protected]
    版权所有 ? ?#26412;?#32463;纬恒润科技有限公司 京ICP备18000642号-1 京公网安备11010802017344号 网站地图 | 招?#24863;?#24687; | 法律声明 | 隐私保护
    11选5不亏本投注法 手机微信玩pc蛋蛋 视频真人三张牌 3d组三如何算中奖 2011西甲排名 河南快河南快赢481走势图 河南22选5开奖结果282 福彩20选5每天开奖结果 极速快3哪个是正规的 羽毛球装备 长期公开四肖中特四肖 重庆快乐十分走势图电脑版 极速十一选五助手 排三组三遗漏号 3d组三组六判断方法 香港赛马会资料大全 下载