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

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

(Ответ считается верным, если отмечены все правильные варианты ответов.)

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

анализе графовой структуры программы, в которой каждая вершина - оператор, а дуга - передача управления между операторами

обнаружении противоречий в описании логики программы(Верный ответ)

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

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

Международный проект по разработке "целостного автоматизированного набора инструментов для проверки корректности ПС" предполагает, что:

При использовании модели проверки временных свойств и обнаружения ошибок взаимодействия должны выполняться следующие условия:

Международный проект по разработке "целостного автоматизированного набора инструментов для проверки корректности ПС" включает следующие основные задачи:

Процесс проверки правильности спецификаций требований на их соответствие, непротиворечивость, полноту и выполнимость, а также на соответствие стандартам - это:

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

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

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

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

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