[发明专利]安全关键软件自动化基于需求的测试实例生成系统和方法有效
| 申请号： | 201910175783.X | 申请日： | 2019-03-08 |
| 公开（公告）号： | CN110245067B | 公开（公告）日： | 2023-09-22 |
| 发明（设计）人： | 李萌;M.R.杜尔林;萧洁恩;I.奥利维拉;郁涵;A.M.德康托 | 申请（专利权）人： | 通用电气公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 中国专利代理(香港)有限公司 72001 | 代理人： | 姜冰;张金金 |
| 地址： | 美国*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种自动化的基于需求的测试实例生成方法包括构建从软件设计模型架构信息推导出的软件架构模型、将需求模型分配到软件架构模型的块/算子中、以及从软件架构来生成配置成在软件架构中的不同等级可执行的组件级基于需求的测试实例。组件级基于需求的测试实例生成方法包括接收以层级数据流图表示的软件架构连同分配的需求模型；选择软件组件中的一个；通过基于选择的测试策略将测试目标或约束中的至少一个自动附连到对应软件架构模型块/算子来基于选择的组件建立中间测试模型；以及利用测试生成器来生成人类和机器可读的测试实例以用于进一步自动转换成测试可执行文件和测试审查制品。还公开了用于实现该方法的系统和非暂时性计算机可读介质。 | ||
| 搜索关键词： | 安全 关键 软件 自动化 基于 需求 测试 实例 生成 系统 方法 | ||
【主权项】：
1.一种用于自动化的基于需求的测试实例生成的方法，所述方法包括：在基于模型的开发工具中构建软件架构模型，从软件设计模型的架构信息自动推导出所述软件架构模型；将需求模型分配到软件架构模型的不同组件中；测试实例生成器单元从所述软件架构模型的一个或多个等级来生成组件级基于需求的测试实例；以及所生成的基于需求的测试实例被配置成在软件架构中的不同等级是可执行的。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于通用电气公司，未经通用电气公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910175783.X/，转载请声明来源钻瓜专利网。
