软件测试是保证和提高软件可靠性的重要手段,软件单元测试能最早发现程序错误。但在单元测试中己通过功能测试的子模块(子程序)并不一定是完全正确的。子模块还可能存在一些不易被发现的潜在缺陷,这些缺陷不影响本模块的功能正确性但因资源使用不当而影响其它模块的功能,从而导致系统出错,甚至崩溃。为此本文提出了软件模块无关性的概念,即一个子模块的运行不能影响其它模块及整个系统。软件模块无关性概念包括以下七方面:程序空间无关性、数据空间无关性、堆栈空间无关性、I/O空间无关性、寄存器无关性、中断无关性、重复调用无关性。现有的嵌入式软件单元测试工具主要是进行功能性的测试,还没有程序模块无关性测试的功能。针对这种情况,本文对软件模块级无关性自动测试的原理和实现方法进行了探索性的研究,目的是实现模块级功能自动测试和七个方面的无关性自动测试,找到针对不同CPU结构的通用测试方法。目前的测试工具与开发工具是分离的两套系统,这不利于尽早发现程序的缺陷,所以我们的最终目标是将该测试工具集成到开发工具中。本文初步实现了基于SPCE061A的软件模块级无关性自动测试工具IndependencyTest,其功能包括五个方面的无关性测试:数据空间无关性测试、堆栈空间无关性测试、I/O空间无关性测试、寄存器无关性测试、中断无关性测试。每项无关性测试功能的实现分为四个步骤:被测模块信息的提取、测试方法和测试数据自动构造、测试用例生成及测试结果的输出。对IndependencyTest工具进行的测试结果表明IndependencyTest工具能测试出汇编语言程序在无关性方面的潜在编程缺陷。