随着人们对软件质量的日益关注，软件测试作为保证软件质量，提高软件可靠性的重要手段也逐渐成为软件开发过程中关键的一部分。但是传统的测试技术对于软件中存在的一些问题不能很好的解决，这就迫使引入一些新的技术和方法。将区间代数理论加以扩展应用到程序的静态分析中可以对一些问题作出分析查找。 本文首先介绍了R．E.Moore区间代数理论的基础知识，主要包括区间、区间向量和区间矩阵之间算术运算规则的定义，区间函数和点函数区间扩展的基本概念，基本初等函数的区间扩展理论。然后，针对软件开发过程中经常使用到的逻辑关系运算符在区间代数理论中并没有定义，给出了其关于区间运算的定义并在此基础上给出条件分支为真的情况下进行区间变量削减的一般方法。 针对一类数值计算较多的软件模块，在实际软件测试工作中会遇到包括如：程序代码是否存在计算异常、关键变量取值是否超出规定范围、以及是否存在理论上不可达分支的问题。使用扩展后的区间代数方法可以对程序代码中存在的上述问题做出分析定位。利用该方法可以实现计算类软件测试工作的自动化并在此基础上最终实现对代码静态分析的测试工具。最后，应用区间代数方法对某航天武器型号飞行控制软件中的具体程序进行了验证。试验结果表明：应用扩展后的区间代数理论为基础对于数值计算类软件的测试工作是可行的。该方法对于提高软件可靠性、保证软件质量提供了一种实用的有效技术手段，具有广泛的工程应用价值。