Задача 1. Определить цикломатическую сложность потоковых графов, представленных на рис.4.
Рис. 4. Потоковые графы
Задача 2. В соответствии с концепцией максимально полного тестирования всех маршрутов программы определить независимые пути потоковых графов, представленных на рис.4.
Задача 3. Для заданной процедуры (варианты 1-6) составить граф-схему и тестовые наборы для тестирования маршрутов по критериям:
покрытия операторов;
покрытия решений (переходов);
покрытия условий;
покрытия решений/условий;
комбинаторного покрытия условий.
Проанализируйте целесообразность каждого из критериев для своей программы, укажите их недостатки, достоинства и преимущества над другими критериями.
Варианты заданий для структурного тестирования
Вариант 1.
procedure m(a,b: real; var x: real) begin
if (a>0)and(b<0) then x:=x+1;
if ((a=2)or(x>3))and(b>-10) then x:=x-1;
end;
Вариант 2.
procedure m(a,b,с: real; var x: real) begin
if (a>0)and(b<0)and(x>6) then x:=x+1; if (a=4)or(c<0) then x:=x+11;
end;
Вариант 3.
procedure m(a,b: real; var x: real) begin
if (a<=6)and(b<0) then x:=x+1; if (a=7) then x:=x-1
else if (x>3) then x=x*2;
end;
Вариант 4.
procedure m(a,b: real; var x: real) begin
if (a>0) then
if(b<0) then x:=x+1
else x=x*2;
if (a>2)or(x=0) then x:=x+1;
end;
Вариант 5.
procedure m(a,b: real; var x: real) begin
if (a>0)and(b<0) then x:=x+1
else if ((a=2)or(x>3))and(b>-10) then x:=x-1;
end;
Вариант 6.
procedure m(a,b,с: real; var x: real) begin
if (a>0)and(b<0)and(x>6)
then x:=x+1
else if (a=4)or(c<0)
then x:=x+11;
end;
Достарыңызбен бөлісу: |
