Вопрос про метод тестирования "белого ящика" , как строить граф, если в методе нет if while итд

Question

Вопрос про метод тестирования "белого ящика" , как строить граф, если в методе нет if while итд

Ko Гуру (4731), на голосовании 4 года назад

Суть в том, что вроде как по правилу должен быть входной узел и выходной узел я правильно понимаю, что если в методе к примеру чисто вывод (у меня Console.WriteLine(///);) , тогда просто для этого метода пишем граф типа

1 - > 2, и все, верно?

Так же вопрос если у меня после while if итд, ничего не идет, я должен сделать выходной узел, даже если там ничего не написано, верно? Ведь по правилу всегда должен быть входной и выходной узел.

Дополнен 4 года назад

Перепутал, метод базового пути

Answer 1

А) я так понимаю, если алгоритм линейный, то граф потока управления состоит из одноой вершины. она входная, она же и выходная.
{ // 1
Console.WriteLine("..."); // 1
} // 1
от разбиения этого на несколько вершин никакой пользы, имхо.

может быть, какие-то инструменты, строящие потоковые графы, и добавят пару вершин:
{ // 1
Console.WriteLine("..."); // 2
} // 3
но это чистая схоластика и формализм.

Б) после if в любом случае идёт закрывающая операторная скобка, а она рассматривается как отдельный оператор:
{ // 1
if (...) // 1
{...} // 2
else
{...} // 3
} // 4 <- вот эта скобка