软件测试按测试的执行阶段可划分为单元测试、集成测试、系统测试和验收测试。作为软件测试的第一阶段,单元测试只对软件中的最小可测试单元进行检查和验证,相对于其他阶段的测试,具有故障发现率高、发现成本低和修复成本低等特点,因此做好充分有效的单元测试是非常重要和有意义的。自动化的单元测试可以弥补传统手工测试效率低、失误率高的缺陷,测试用例自动生成则是自动化单元测试的研究重点。论文围绕着自动化单元测试中面向路径的测试进行研究,关于如何有效的提取和存储路径上变量的语义和约束来为测试用例生成提供支持,提出了抽象内存建模技术。抽象内存建模技术由三部分组成：抽象内存存储模型、约束提取算法和非数值型测试用例形状构建。抽象内存存储模型用于记录变量的语义和约束信息；约束提取算法针对C语言各种数据类型的各种操作进行语义分析和约束提取,并存储到抽象内存中；在路径分析结束之后,非数值型测试用例形状构建算法的作用是提取并分析抽象内存中存储的变量和语义构建非数值型测试用例的形状。本文作者在代码测试系统Code Test System (CTS)中实现了抽象内存建模技术,验证了抽象内存建模技术能有效的存取基于路径的测试中进行语义和约束,并支持测试用例的生成。