基于目标码的测试覆盖不可达分析方法

基于目标码的测试覆盖率分析是软件测试过程的必要关键步骤,不可达分析能够保证测试的完整性和充分性.给出嵌入式软件基于覆盖率测试的分析过程,在嵌入式虚拟测试平台的基础上,对程序目标代码插桩,采用语句和分支覆盖率分析准则,将黑盒测试和白盒测试相结合,分析不可达分支语句引入机理,并通过具体的反汇编代码实例分析来验证这种测试方法的可行性和有效性.专门针对覆盖率不可达的分析可以有效验证软件功能,发现软件缺陷,进一步提升软件质量.     

支持多故障定位的探测站点部署方法

基于矩阵向量扩张的性质,研究了主动探测的故障定位方法. 提出一种支持多故障定位的探
测站点部署方法. 通过该方法在网络中部署探测站点对网络进行主动探测,能以较小的代
价尽早定位网络中的故障. 实验证明,该方法可以有效减少探测站点的数目,并且从探测站
点发出的最优探测集合可以对多故障进行定位.     

基于数据模型的接口用例自动生成

在嵌入式软件设计过程中，接口是非常重要的设计元素，对接口协议进行验证是接口测试中的主要内容。但现在软件接口类型不同，需要人工识别与组装各种接口的测试用例报文，接口协议的复杂度直接影响测试用例编制的难度与工作量。为实现接口测试用例的自动生成，提出一种基于数据模型的接口用例自动生成技术，根据复杂的接口协议文件，建立被测软件的接口协议形式化模型，准确、高效地表达接口协议规则及要素，并使用动态计算与替换算法得到相应业务场景下的预期结果，生成标准化的测试用例，更可兼容多种类型的接口，有效提升了接口测试效率。     

一种基于数据流/控制流+知识条目的回归影响域分析方案

结合实例对基于数据流/控制流的回归影响域分析方法进行了阐述,总结了分析要点,强调加强变异流分析以确保分析充分性.针对需求更动,提出了基于知识条目的回归影响域分析方法.对两种分析方法进行对比分析,提出一种基于数据流/控制流+知识条目的回归影响域分析方案.实践证明,基于知识条目的分析方法可以对基于数据流/控制流的分析方法形成有效的补充,从而对回归测试的充分性形成有效的保证.     

航天嵌入式软件测试用例典型设计缺陷研究

作为动态测试充分性的基本评价指标,覆盖率分析只能帮助修正因输入不足而导致的测试用例设计缺陷。针对航天嵌入式软件测试过程中不影响覆盖率统计结果的用例设计缺陷,从测试步骤和预期结果两大测试用例核心要素开展研究,提出十个典型缺陷,分别予以分析,并进行缺陷修正。工程实践证明,这些缺陷的发生率高,具有典型性;修正这些缺陷后,可以有效检出软件设计缺陷;与用例执行后的覆盖率统计数据分析相结合,可以有效提高测试充分性。