登录 | 注册 | English

研发工具

388棋牌手机官网_388棋牌游戏官网  >  研发工具  >  V流程需求及功能开发阶段  >  Stimulus-需求形式化建模和分析工具

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

概述

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

 

 

产品先容

1.仿真及验证需求规范

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

 

 

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

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

 

3.良好的集成扩展性

        Stimulus 支撑对SIMULINK 及SCADE 集成, 可以为SIMULINK 或SCADE 模型自动生成测试用例,即根据需求生成系统输入以及系统行为的约束限制,进而检验模型是否满足需求规范中的要求。
关于388棋牌
企业概况
企业理念
企业资质
资讯中心
388棋牌在全球
诚聘英才
校园招聘
实习生招聘
社会招聘
走进388棋牌
常见问题
市场活动
在线研讨会
线下活动
微信课堂
用户社区
资料下载
388棋牌月刊
用户留言
个人中心
相关链接
达索企业
IBM-中国
联系大家
电话:010-64840808
邮箱:market_dept@hirain.com
版权所有 ? 388棋牌手机官网_388棋牌游戏官网 www.tyicmall.com 京公网安备11010802017344号 网站地图 | 招聘信息 | 法律声明 | 隐私保护
XML 地图 | Sitemap 地图
热门关键词:
开元棋牌游戏下载| ky棋牌下载地址| gg516棋牌游戏中心| 516棋牌游戏官网| 捕鱼516棋牌游戏官网| ly棋牌eg棋牌ky棋牌| 开元国际棋牌官网| 开元国际棋牌官网| 大发棋牌app| ky棋牌平台| ky棋牌系统维护| 516棋牌游戏中心官网下载| 开元棋牌929棋牌游戏| 大发棋牌| 516棋牌游戏大厅地址| 大发手游下载安装| ky棋牌官方网站| 大发棋牌下载链接| ky棋牌平台| 大发棋牌官网下载安装| ky棋牌娱乐官网| 大发棋牌游戏官网安卓| 大发麻将下载| 捕鱼516棋牌游戏官网| 大发手游下载安装| 开元棋牌929棋牌游戏| 大发棋牌| 516棋牌游戏大厅地址| 开元电子棋牌游戏| ky棋牌ios下载|