单元测试对保证软件质量和提高软件可靠性具有重要作用。传统的约束求解技术为被测函数自动生成测试用例时,变量取值范围往往采用连续型区间表示。但当变量参与位运算操作时,其约束体现在变量的每一个比特位,满足约束的取值是不连续的,已有的区间分析方法没有充分考虑到位运算相关变量的这些特点,难以有效确定其取值区间。论文主要围绕着位运算表达式的测试用例生成问题,在传统的约束求解技术基础上,提出了变量约束的位向量表示技术和自动修正位运算型变量的约束技术。通过分析路径中的约束集合,根据位运算的运算法则得到每一个比特位的取值信息,生成约束的位向量;对于同时参与普通数值型运算和位运算的变量,提出了两种区间类型的转换算法。同时在区间运算过程中,不断修正位运算型变量的位向量约束。最终得到满足路径约束集合的变量取值范围,从而生成正确的测试用例。作者在代码测试系统(Code Testing System,CTS)中实现了上述方案,并通过对位运算表达式常见的应用场景进行实验,验证了本文所提的解决方案能够有效地支持单元测试中位运算的测试用例生成。