航空嵌入式机载软件测试自动化的质量保证技术研究

论文摘要

毋庸置疑,航空嵌入式机载软件(以下简称“机载软件”)已经成为航空器尤其是作为新一代军事装备的先进战斗机的核心。新的软件工程技术和方法的应用,迅速提升了机载软件的功能特性和性能特性,使如此庞大复杂的嵌入式系统开发成为可能；与此同时,由于软件质量保证的意识与手段相对滞后,机载软件的质量却面临严峻的考验。航空项目中由于软件缺陷导致的安全事故、进度延误、成本暴增,使航空项目干系人对机载软件的质量予以了高度的关注。软件测试自动化以其严格的规范性、高效的执行能力以及对工程信息复用及再工程强有力的支持,成为了机载软件质量保证的必然趋势。在机载软件中开展软件测试自动化不仅是航空嵌入式软件工程领域新的发展方向,也是解决当前机载软件所面临的严峻质量形势的最佳解决方案。机载软件测试自动化本身是一个复杂的过程,首先必须与机载软件的生命周期相融合,实现流程的自动化；其次是必须构建符合机载软件开发的自动化环境,由于机载软件开发的特殊性,同时针对航空系统又有其独有的测试要求,所以难以应用商用软件测试自动化解决方案,必须按照航空机载软件测试的特殊要求构建自动化测试环境；再次是在减少人为因素对机载软件测试自动化造成的不良影响的同时,发挥软件测试人员的创新能力保证机载软件的质量。总而言之,机载软件测试自动化构建和运行质量直接影响着机载软件的质量,本课题的研究目标是通过建立规范化流程,以迭代形式实现机载软件测试自动化,在软件测试自动化的构建以及运行过程中提供合理的度量及优化手段并结合持续改进的流程控制达成有效的质量保证。

论文目录

• 摘要
• ABSTRACT
• 第一章 引言
• 1.1 机载软件的特点及趋势
• 1.2 机载软件软件测试自动化的需求
• 1.3 机载软件测试自动化存在的问题
• 1.3.1 过程
• 1.3.2 平台
• 第二章 软件测试自动化的构造
• 2.1 过程要素
• 2.1.1 软件生命周期的演化
• 2.1.2 软件测试自动化工作项目
• 2.1.3 软件测试自动化的演化
• 2.2 环境的要素
• 2.2.1 环境架构
• 2.2.2 软件环境
• 2.2.3 仿真测试环境
• 第三章 软件测试自动化的质量保证技术
• 3.1 软件度量
• 3.1.1.商用工具提供的度量元
• 3.1.2 国军标中的内部质量度量
• 3.1.3. 建立内部质量评价静态模型
• 3.1.4 对度量结果的应用
• 3.2 测试用例约简
• 3.2.1 测试用例集的产生
• 3.2.2 基本模型
• 3.2.3 现有测试用例集约简技术
• 3.2.4 测试用例集约简算法
• 3.2.5 实例分析
• 第四章 实施成效分析
• 4.1 软件测试自动化对于软件开发过程的影响
• 4.2 对于机载软件质量的影响
• 4.3 对于组织的影响
• 第五章 结论
• 致谢
• 参考文献
• 攻博/硕期间取得的研究成果