[发明专利]满足DO-178C的代码覆盖率生成方法在审
申请号: | 201610051717.8 | 申请日: | 2016-01-27 |
公开(公告)号: | CN105718373A | 公开(公告)日: | 2016-06-29 |
发明(设计)人: | 宫伟祥 | 申请(专利权)人: | 中电科航空电子有限公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 成都行之专利代理事务所(普通合伙) 51220 | 代理人: | 郭受刚 |
地址: | 610000 四川省成*** | 国省代码: | 四川;51 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种满足DO‑178C的代码覆盖率生成方法,包括:获得待测源文件的数量;根据待测源文件的数量生成覆盖率内存空间,每个待测源文件对应生成一个覆盖率内存空间;为覆盖率内存空间占据的比特位生成位置索引;在待测源文件的功能函数中插入探针函数,所述探针函数用于对所述位置索引赋值;对待测源文件进行编译和链接以在所述覆盖率内存空间中生成代码覆盖率信息。本发明提供的满足DO‑178C的代码覆盖率生成方法,基于源文件统计代码覆盖率,可以提高机载软件代码覆盖率的测试效率。 | ||
搜索关键词: | 满足 do 178 代码 覆盖率 生成 方法 | ||
【主权项】:
1.一种满足DO-178C的代码覆盖率生成方法,其特征在于,包括:获得待测源文件的数量;根据待测源文件的数量生成覆盖率内存空间,每个待测源文件对应生成一个覆盖率内存空间;为覆盖率内存空间占据的比特位生成位置索引;在待测源文件的功能函数中插入探针函数,所述探针函数用于对所述位置索引赋值;对待测源文件进行编译和链接以在所述覆盖率内存空间中生成代码覆盖率信息;所述根据待测源文件的数量生成覆盖率内存空间包括:根据待测源文件的功能函数包含的代码行数确定覆盖率内存空间需要占据的比特位数量;根据覆盖率内存空间需要占据的比特位数量为待测源文件分配覆盖率内存空间;在待测源文件的主函数中插入初始化函数,所述初始化函数用于生成源文件数组,所述源文件数组中的各个元素与各个覆盖率内存空间一一对应;将所述源文件数组中的各个元素指向与各个元素对应的覆盖率内存空间的地址。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中电科航空电子有限公司,未经中电科航空电子有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201610051717.8/,转载请声明来源钻瓜专利网。
- 上一篇:用于只写处理器间复位同步的方法和装置
- 下一篇:IP核质量自动评测方法和系统