面向路径的自动化单元测试可以自动为程序生成测试用例并执行这些测试用例,从而提高软件测试的效率,大幅降低测试的成本。传统的方法已经能为大部分情况的程序操作生成正确的测试用例,但是当程序路径中出现类型转换操作时,由于符号执行对于类型转换的语法结构分析存在精度不够的问题,导致不能为参与类型转换的变量生成正确的符号、内存模型和约束,从而无法为之生成正确的测试用例。针对基本数据类型转换问题,本文提出了符号表达式重构以及约束分片两种解决方案。符号表达式重构方案重构了符号表达式的递归推导关系,在原有的递推式的基础上增加了对于类型的推导,用于支持类型转换操作的符号和约束的表示,并设计了对于该表达式的区间运算规则,用于支持类型转换的测试用例生成。约束分片方案设计了参与类型转换的变量的符号和约束的分片,通过这些约束求出分片符号的测试用例值,并按照一定的规则将分片符号的用例值组装成原符号的用例值。针对复杂数据类型转换问题,本文扩展了传统的抽象内存模型,在原有模型的基础上增加了对指针转化为数组,数组转化为指针的情况的语义和约束的存取,并设计了支持复杂数据类型转换的约束提取算法,最终为出现复杂数据类型转换的代码生成正确的测试用例。