公开(公告)号：CN101286133A

公开(公告)日：2008-10-15

申请号：CN200810114262.5

申请日：2008-06-02

Applicant: 北京邮电大学

Inventor： 杨朝红 ,  宫云战 ,  王雅文 ,  肖庆 ,  陈俊亮 ,  吴子敬

IPC: G06F11/36

Abstract: 本发明涉及软件测试技术领域，本发明能够在一定程度上解决在程序静态测试中对不可达路径的无效计算以及对变量取值信息未充分利用的技术问题。本发明提出区间集的概念，定义了数值型变量区间集上的集合运算及四则运算，对程序中布尔类型变量及引用类型变量及表达式定义了区间计算方法，本发明所述方法在软件测试过程的前期收集了变量及表达式的取值范围信息，并将其应用在控制流图的语句节点上，实验证明，添加了区间运算的软件测试方法较之未添加区间信息的原方法而言，测试结果的误报率降低，测试的准确率更高。

公开(公告)号：CN101286133B

公开(公告)日：2010-06-16

申请号：CN200810114262.5

申请日：2008-06-02

Applicant: 北京邮电大学

Inventor： 杨朝红 ,  宫云战 ,  王雅文 ,  肖庆 ,  陈俊亮 ,  吴子敬

IPC: G06F11/36

Abstract: 本发明涉及软件测试技术领域，本发明能够在一定程度上解决在程序静态测试中对不可达路径的无效计算以及对变量取值信息未充分利用的技术问题。本发明提出区间集的概念，定义了数值型变量区间集上的集合运算及四则运算，对程序中布尔类型变量及引用类型变量及表达式定义了区间计算方法，本发明所述方法在软件测试过程的前期收集了变量及表达式的取值范围信息，并将其应用在控制流图的语句节点上，实验证明，添加了区间运算的软件测试方法较之未添加区间信息的原方法而言，测试结果的误报率降低，测试的准确率更高。