[发明专利]一种符合DO-178B/C A级软件的模型验证方法有效
| 申请号： | 201410728455.5 | 申请日： | 2014-11-29 |
| 公开（公告）号： | CN104461882A | 公开（公告）日： | 2015-03-25 |
| 发明（设计）人： | 田莉蓉;邢亮;牟明;戴小氐;黄晖;逯计划 | 申请（专利权）人： | 中国航空工业集团公司第六三一研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 西安智邦专利商标代理有限公司 61211 | 代理人： | 王少文 |
| 地址： | 710119 *** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种符合DO-178B/C A级软件的模型验证方法，用于解决基于模型的软件开发中的模型验证问题。该方法的主要步骤是：1)搭建验证系统架构；2)将待验证模型通过模型转换器转换为若干个特征模型；3)以若干个特征模型输入至验证数据和逻辑生成层生成验证数据集和验证逻辑集；4)将验证数据集和验证逻辑集生成验证程序集；从验证程序集中选取出验证程序子集；5)根据验证程序子集通过DO-178B/C中要求的软件覆盖强度级别进行验证；通过该方法为机载软件的适航合格审定提供有力支持。 | ||
| 搜索关键词： | 一种 符合 do 178 软件 模型 验证 方法 | ||
【主权项】：
一种符合DO‑178B/C A级软件的模型验证方法，其特征在于，包括以下步骤：1)搭建验证系统架构；所述验证系统架构包括模型转换层、验证数据和逻辑生成层、验证程序生成和选取层；所述模型转换层通过模型转换器将输入模型转换为若干个特征模型；所述模型转换器的转换过程为数据类型建模和特征服务建模的过程；所述验证数据生成层将若干个特征模块分别通过验证数据生成器生成验证数据集，通过验证逻辑生成器生成验证逻辑集；所述验证程序生成和选择层通过验证程序生成和选择器将验证数据集和验证逻辑集生成为验证程序集；2)用户将待验证模型输入至模型转换层中的，待验证模型通过模型转换器转换为若干个特征模型；3)以若干个特征模型输入至验证数据和逻辑生成层通过验证数据生成器和验证逻辑生成器生成验证数据集和验证逻辑集；4)利用验证程序生成和选择层中的验证程序生成和选择器将验证数据集和验证逻辑集生成验证程序集；从验证程序集中选取出验证程序子集；5)根据验证程序子集通过DO‑178B/C中要求的软件覆盖强度级别进行验证；若验证成功，则待验证模型通过验证；若验证失败，则待验证模型未通过验证；所述覆盖强度级别包括语句判定、修订的条件以及判定覆盖。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国航空工业集团公司第六三一研究所，未经中国航空工业集团公司第六三一研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201410728455.5/，转载请声明来源钻瓜专利网。
- 上一篇：移动终端的测试方法及装置
- 下一篇：一种监控应用服务器资源的方法及装置
