论文部分内容阅读
本文首先介绍了R.E.Moore区间代数理论的基础知识,主要包括区间、区间向量和区间矩阵之间算术运算规则的定义,区间函数和点函数区间扩展的基本理论,基本初等函数的区间扩展理论,并且对于软件开发中经常使用的逻辑关系运算符给出其关于区间运算的定义并在此基础上给出区间变量消减的一般方法。随后进一步讨论了对称区间的性质,对有理函数的区间扩展问题通过使用中心形式给予解决,同时对于区间拆分策略进行了描述及刻画。本文针对数值计算类软件在实际测试常遇到的诸如程序代码是否存在计算异常、关键变量取值是否超出规定范围、以及是否存在理论不可达分支的问题,使用扩展后的区间代数分析方法可以对程序代码中存在的上述问题做出分析查找。利用该方法可以实现软件测试的自动化并在此基础上最终实现自动化测试工具。最后,应用区间代数分析方法对一个控制软件中的具体程序进行了验证。实验结果表明:应用扩展后的区间代数理论为基础对于数值计算类软件的测试工作是可行的,效果也是不错的,有其自身的优势。该方法对于提高软件可靠性、保证软件质量提供了一种实用的有效技术手段,具有广泛的工程应用价值。