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