Методы и средства инженерии программного обеспечения

Метод Флойда основан:

(Отметьте один правильный вариант ответа.)

Варианты ответа

на структурной проверке функций, работающих над структурными типами данных, структур данных и диаграмм перехода во время символьного выполнения программ

на определении условий для входных и выходных данных и в выборе контрольных точек в доказываемой программе так, чтобы путь прохождения по программе пересекал хотя бы одну контрольную точку(Верный ответ)

на аксиоматическом описании семантики языка программирования исходных программ

Похожие вопросы

Метод Дейкстры основан:

Метод Маккарти основан:

Метод проектирования UML предназначен для:

Метод рефакторинга компонента - это:

Метод символьной проверки применяется при:

Метод простого структурного анализа ориентирован на:

Чем отличается метод анализа и оценки PERT от метода критического пути CPM?

Какой метод тестирования, при котором можно использовать структуру объекта для организации тестирования по различным ветвям, является предпочтительным?