lol总决赛下注

登录 | 注册 | English

研发工具

lol总决赛下注  >  研发工具  >  V流程需求及功能开发阶段  >  Stimulus-需求形式化建模和分析工具

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

概述

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

 

 

产品先容

1.仿真及验证需求规范

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

 

 

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

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

 

3.良好 的集成扩展性

        Stimulus 支撑对SIMULINK 及SCADE 集成, 可以为SIMULINK 或SCADE 模型自动生成测试用例,即根据需求生成系统输入以及系统行为 的约束限制,进而检验模型是否满足需求规范中 的要求。
关于lol总决赛下注
企业概况
企业理念
企业资质
资讯中心
lol总决赛下注在全球
诚聘英才
校园招聘
实习生招聘
社会招聘
走进lol总决赛下注
常见问题
市场活动
在线研讨会
线下活动
微信课堂
用户社区
资料下载
lol总决赛下注月刊
用户留言
个人中心
PMT留言
相关链接
达索企业
IBM-中国
联系大家
电话:010-64840808
邮箱:market_dept@hirain.com
版权所有 ? lol总决赛下注_lol竞猜平台 京ICP备18000642号-1 京公网安备11010802017344号 网站地图 | 招聘信息 | 法律声明 | 隐私保护
XML 地图 | Sitemap 地图