IMA操作系统软件单元测试研究与应用

摘要

由于航空电子系统的发展对计算机软件技术的依赖性，在综合模块化航空电子（Integrated Modular Avionics，IMA）结构的开发方面，我国大力开展了相关软件的研发工作。IMA系统中软件的安全性要求比较特殊，质量标准要求很高，给软件测试和质量保证带来难度。在软件测试的过程中，单元测试是首先需要执行的，并且对软件的质量起到举足轻重的作用。进行高效的单元测试是IMA系统测试需要考虑的首要问题。
　　本文来源于实际的工程项目。论文在阐述了IMA系统软件测试的相关技术以及软件单元测试的基本概念、原理和方法的基础上，分析了单元测试过程的需求，对具体测试流程进行了建模，基于LDRA Testbed软件设计了不同单元模块的多类测试用例，实现了一套完整可操作的单元测试方案，为以后的测试工作积累了一定的经验。IMA操作系统软件单元测试的过程表明，方案的执行能够发现大量软件的问题和缺陷，帮助开发人员提高了代码质量，规范的测试流程有效提高了软件测试的效率，达到了预期的目标。
　　论文主要研究了IMA下的软件单元测试技术，由于单元测试的对象是软件的源代码单元，因此论文中的方法不仅仅适用于基于IMA系统平台开发的软件单元，它还普遍地可以被应用于面向过程方法设计出的软件单元，进而也可以被应用于面向过程的嵌入式系统的软件单元测试。