报告人：窦鹏程学号：2010118078,域测试,什么是域测试？,域测试的英文是domain testing，最早是由L.J.White和E.K.Cohen1977年提出的。 域测试是一种基于程序结构的测试方法。 Howden曾对程序中的错误进行分类。可分为域错误、计算机型错误、丢失路径错误。 由于程序中每条路径对应着一个输入域，是程序的一个子计算。如果程序的控制流有错误，则对某一特定的输入可能执行的是一条错误路径，这种错误被称为路径错误或域错误。 而域测试主要是针对域错误进行的程序测试。,White和Cohen对被测程序的限制,1.程序中不出现数组。 2.程序中不含有子函数或子例程 3.程序中没有输入和输出错误 4.程序的分支谓词是简单谓词，即它不含有布尔运算符AND和OR。 5.程序分支谓词是线性的。 6.程序输入域是连续的，而不是离散的。 7.相邻的两个域（路径）上的计算是不相同的。,域测试的“域”指的是程序的输入空间。域测试方法基于对输入空间的分析。自然，任何一个被测程序都有一个输入空间。域测试正式在分析输入域的基础上，选择适当的测试点以后进行测试的。,输入域结构,域测试的缺点,域测试的缺点是： 1）为进行域测试对程序提出的限制过多。 2）当程序中存在很多路径时，所需的测试点很多。,
