随着计算机科学技术的蓬勃发展,计算机软件的应用覆盖面越来越广。越来越多的学者着手于软件测试的理论研究,并取得到了飞速的进展。在此基础上,软件缺陷模型的研究取得了重要突破。DTS缺陷静态检测系统就是一个基于缺陷模型的静态软件测试系统,由于静态检测是模拟程序的动态执行,因此,对变量检测依赖于变量的区间。复杂变量在程序设计语言中被广泛使用,在静态代码检测时,如果对复杂变量进行区间运算时不能给出明确的区间信息,会对相关运算的精度造成影响,从而导致检测的错误。本文主要介绍域敏感复杂变量的建模和区间计算方法。对复杂变量的区间计算主要包括两部分：1.对于复杂变量建立抽象内存模型。2.对于复杂变量根据模型进行区间运算。其中,对复杂变量的建模用的是三元模型和改进后的三元模型,复杂类型变量的运算方法主要有复杂变量的拆分法和基于改进后的三元模型的区间运算方法。