База ответов ИНТУИТ

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

<<- Назад к вопросам

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

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

Варианты ответа
разработка единой системы проверки корректности ПС
построение всеобъемлющего интегрированного набора инструментов верификации для всех производственных этапов, включая разработку спецификаций и их проверку, генерацию тестовых примеров, уточнение, анализ и верификацию программ(Верный ответ)
создание репозитария формальных спецификаций и верифицированных программных объектов разных видов и типов(Верный ответ)
разработка единой теории построения и анализа программ(Верный ответ)
Похожие вопросы
Международный проект по разработке "целостного автоматизированного набора инструментов для проверки корректности ПС" предполагает, что:
Разработка требований включает в себя следующие основные разделы:
Разработка требований не включает в себя следующие основные разделы:
Согласно стандарту IEEE Std.610-90 управление конфигурацией включает следующие задачи:
При использовании модели проверки временных свойств и обнаружения ошибок взаимодействия должны выполняться следующие условия:
Валидация требований включает следующие шаги:
Валидация требований не включает следующие шаги:
Основные задачи управления требованиями - это:
Инженерия требований включает в себя следующие подразделы:
Динамическое тестирование включает в себя следующие методы: