软件测试-白盒测试：域测试

域测试

域测试（Domain Testing）是一种基于程序结构的测试方法。
为了域测试的方便，被测程序规定了一些限制：程序中不出现数组、程序中不含有子函数或子例程、程序中没有输入和输出错误、程序的分支谓词是简单谓词（不包含AND和OR）、程序分支谓词是线性的、程序输入域是连续的（非离散）、相邻的两个域（路径）上的计算是不相同的。
域测试的“域”指的是程序的输入空间。测试的理想结果就是检验输入空间中的每一个输入元素是否都产生正确的结果。输入空间又可分为不同的子空间，子空间的划分是由程序中分支语句中的谓词决定的，每一子空间对应一种不同的计算。

• 输入域结构
  程序中包含三个条件语句的谓词：a. I＜＝J+1，K＞＝I+1，I＝5。
  
• 测试点的选择
  有两类测试点可供选择，一类称作ON点，这类测试点位于域的边界上；另一类称作OFF点，它离边界有一个小距离ε，并在被测域之外。
  
  其中AB是测试输入空间某一子空间的一条边界（由被测程序决定），PQ是程序正确时实际边界的位置。A、B是两个ON点，C点是一个OFF点，离AB边界的距离是ε。
  
  虚线以下为域D1，虚线以上为域D2。A、B应该在域D1中，C应该在域D2中。
  判断测试点是否给出正确结果的依据是此测试点是否属于其应属的域中。ON-OFF-ON这种交错取点法对边界位移错误是相当有效的。
• 步骤
  a. 根据各分支谓词，画出域分割图。
  b. 对每一个域的每一个边界用ON-OFF-ON原则选取测试点进行测试。
  c. 在域内取一些点进行测试。