摘要：随着航天器发射任务越来越密集,航天软件测试强度不断增大,如何在提高测试效率的同时确保软件测试质量,对航天软件测试人员提出了严峻的挑战。作为软件自动化测试方向的研究热点,无论是基于代码、面向路径覆盖的测试自动化,还是基于需求建模、面向需求的测试自动化,均未能在工程实践中大范围推广。以CAN总线通讯接口通用测试设计为例,提出了基于共性需求的航天嵌入式软件通用测试设计方案,通过共性需求提取、通用测试设计,推进航天软件测试的标准化和规范化,并通过自动化测试工具研发,实现了基于共性需求的通用自动化测试。该通用自动化测试方案已在航天嵌入式软件第三方评测中广泛使用,在测试覆盖率、查找软件潜在设计缺陷以及提高测试效率等方面均取得了良好的效果。

摘要：为提高航天嵌入式软件的测试质量、确保航天型号任务的圆满完成,对航天嵌入式软件代码审查重要内容之一的代码逻辑分析进行了研究.通过对软件缺陷的机理、缺陷查找过程、缺陷暴露过程、以及缺陷引发后果的分析,结合多年软件测试工程实践经验的总结,提出了场景分析法、时序分析法、假想故障追源法等10种主要的代码逻辑分析方法.开展了代码逻辑分析方法的应用分析、代码审查与其它测试手段之间的对比分析,通过分析,给出了代码审查的工程适用性说明.研究成果已在航天型号软件第三方评测中全面推广应用,实践数据表明,应用效果良好,使代码审查的缺陷发现率由业界公认的30%~70%提升至90%以上.相关分析方法和分析思路对动态测试设计以及软件缺陷自动化检测工具的研发均具有一定的参考作用.

摘要：为进一步排查软件中潜在的较深层次的数据流缺陷，提高软件质量，提出了关联性变量的概念，并从变量的使用逻辑，以及变量自身所承栽的物理意义着手，研究总结了关联性变量的基本特征，提出了各类关联性变量的检测分析要点。在此基础上，对关联性变量设计缺陷开展实例分析，并对基于关联性变量分析的软件查错方法进行了总结。工程实践证明，通过开展关联性变量分析，可以发现较深层次的数据流缺陷，对于提高软件质量具有一定的实用价值。

摘要：基于软件测试的角度,聚焦航天嵌入式软件隐含需求分析,提出需求颗粒度分析、代码设计无依据分析、引申推导分析3种隐含需求分析方法,研究构建了包含隐含需求库在内的可良性循环利用的隐含需求分析框图。结合实践应用,从接口、可靠性安全性、恢复性、性能、功能等方面给出了航天嵌入式软件典型隐含需求。研究成果不仅可以指导研发过程的需求分析与编码、提升软件研发质量,而且可以指导测试过程的测试需求分析与测试设计,避免因测试疏漏而导致的软件缺陷遗漏,从而有效提升软件质量。

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

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