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