【技术实现步骤摘要】
本专利技术属于机载软件覆盖率收集的,尤其涉及一种基于软件高级需求收集代码结构覆盖率的方法。
技术介绍
1、机载软件安全性一直是广泛关注的问题,软件测试是保证机载软件安全性的一个重要手段。do-178c明确要求使用代码结构覆盖率作为测试完整性的唯一手段。软件测试越彻底,代码结构覆盖率越高,软件包含缺陷的可能性就越小。
2、随着软件集成测试以及控制耦合数据耦合概念被引入标准,传统基于函数单元测试收集代码结构覆盖率的方法已不能满足适航要求。
技术实现思路
1、专利技术目的:本专利技术提供一种基于软件高级需求从上层收集代码结构覆盖率的方法,用于提供软件可靠性证明,为控制耦合数据耦合分析提供证据,填补软件集成测试的空缺,以满足适航要求。
2、第一方面,本申请提供了一种基于软件高级需求收集代码结构覆盖率的方法,所述方法包括:
3、基于软件高级需求对机载软件的功能进行分析,得到分析结果;
4、基于所述分析结果编写测试用例;
5、基于所述分析结果
...【技术保护点】
1.一种基于软件高级需求收集代码结构覆盖率的方法,其特征在于,所述方法包括:
2.根据权利要求1所述的方法,其特征在于,所述方法还包括:
3.根据权利要求1所述的方法,其特征在于,所述方法还包括:
4.根据权利要求1所述的方法,其特征在于,所述方法还包括:
5.根据权利要求2所述的方法,其特征在于,所述阈值是基于目标板的FLASH和开发工具编译桩代码后生成的目标码确定的。
6.根据权利要求1所述的方法,其特征在于,所述将所述桩代码替换源代码,结合系统架构确定代码结构覆盖率信息打印输出时机并编写相应的代码,编译
...【技术特征摘要】
1.一种基于软件高级需求收集代码结构覆盖率的方法,其特征在于,所述方法包括:
2.根据权利要求1所述的方法,其特征在于,所述方法还包括:
3.根据权利要求1所述的方法,其特征在于,所述方法还包括:
4.根据权利要求1所述的方法,其特征在于,所述方法还包括:
5.根据权利要求2所述的方法,其特征在于,所述阈值是基于目标板的flash和开发工具编译桩代码后生成的目标码确定的。
6.根据权利要求1所述的方法,其特征在于,所述将所述桩代码替换源代码,结合系统架构确定代码结...
【专利技术属性】
技术研发人员:樊英,侯国超,田佳,
申请(专利权)人:中国航空工业集团公司西安飞行自动控制研究所,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。