逻辑覆盖法的设计流程

题目：

逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，分别设计测试数据满足6种白盒测试逻辑覆盖方法。

#include"stdio.h"

#include"math.h"

void main( int m)

{

int i,k;

scanf("%d",&m);

k=sqrt(m);

for (i=2; i<=k; i++)

if (m%i==0) break;

if (i>=k+1)

printf("%d is a selected number\n",m);

else

printf("%d is not a selected number\n",m);

}

设计流程：

流程图——语句覆盖——判定覆盖——条件覆盖——判定/条件覆盖——条件组合覆盖——路径覆盖

1、流程图