随着信息技术的飞速发展,软件产品在社会的各个领域中得到了广泛应用,软件产品的质量成为人们共同关注的焦点。软件测试是保证软件质量的重要手段,单元测试是软件测试过程中最基本的测试。结合目前软件单元测试技术的研究现状,我们将深入研究单元测试中源文件的模块依赖问题和测试用例的自动生成问题。软件代码的规范化、层次化及模块之间的依赖关系的合理化,是软件质量的重要方面。分析模块依赖关系之后,需对源代码中各个模块设计测试用例,以达到一定的测试覆盖标准,保证测试的完整性。可以将单元测试分为代码审查和执行测试两个步骤完成,具体过程为扫描源文件,进行代码审查,分析模块依赖的特点,生成测试用例,最后运行测试。为了提高单元测试的效率和准确率,有必要将这一过程自动化,减少手工干预。在分析单元测试问题的基础上,研究与实现一个单元测试系统。针对程序源文件中的代码审查问题,借助lex与yacc工具对源文件进行词法语法分析。针对模块依赖问题,需在语法分析程序中添加代码,生成描述依赖关系的有向图,将累积模块依赖CMD作为衡量代码质量的度量标准,它与单元测试中的增量式模块测试的开销紧密联系,由此对代码质量进行定量分析。针对测试用例的生成问题,指出一个基于谓词切片的算法的不足之处,分析其中的关键步骤即线性约束系统的建立,提出改进算法以判定线性约束系统的相容性,并对不相容的系统进行变换,以便有效地找到测试数据。最后以对几个实例的测试结果的分析证明该系统是正确且有效的。