[发明专利]一种模块集成式软件架构下的功能逻辑函数库验证方法有效
| 申请号： | 201911347989.2 | 申请日： | 2019-12-24 |
| 公开（公告）号： | CN111143212B | 公开（公告）日： | 2023-06-23 |
| 发明（设计）人： | 雷艺群;朱威仁 | 申请（专利权）人： | 中国航空工业集团公司西安飞机设计研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 中国航空专利中心 11008 | 代理人： | 杜永保 |
| 地址： | 710089 陕*** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种模块集成式软件架构下的功能逻辑函数库验证方法，包括步骤1：将所有基础逻辑点按照顺序编码；步骤2：将所有系统功能按照顺序编号；步骤3：建立1～Y号系统功能的频谱编码；步骤4：读取步骤3中Y条系统功能对应的频谱编码并将频谱编码赋值给每一个基础逻辑点输入向量Vx；步骤5：对于每一条系统功能，建立系统功能验证用例，并将验证用例的结果赋值给一个Y位的用例验证向量Vy；步骤6：计算每一个基础逻辑点输入向量Vx与用例验证向量Vy的距离；步骤7：顺序排查软件代码，从而实现软件故障定位。 | ||
| 搜索关键词： | 一种 模块 集成 软件 架构 功能 逻辑 函数库 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国航空工业集团公司西安飞机设计研究所，未经中国航空工业集团公司西安飞机设计研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201911347989.2/，转载请声明来源钻瓜专利网。
