Скачать 238.59 Kb.
|
Министерство образования Российской Федерации Государственное образовательное учреждение высшего профессионального образования "Ижевский государственный технический университет" Кафедра "Программное обеспечение" ДОКЛАД на тему: «Верификация программных требований к ПО. Инструменты автоматизации этапа» по дисциплине: Системы автоматизированного проектирования ПО Выполнил: студент гр. 9-19-1з Сергеева Н.М. Принял: Растегаев. Н.В. СОДЕРЖАНИЕ 1 Методологии разработки ПО 3 2 Виды деятельности в разработке ПО 5 3 Верификация 7 1.общие требования к информационной системе, предназначенные для программной реализации, корректно переработаны в спецификацию требований высокого уровня к комплексу программ, удовлетворяющих исходным системным требованиям; 8 2.требования высокого уровня правильно переработаны в архитектуру ПО и в спецификации требований к функциональным компонентам низкого уровня, которые удовлетворяют требованиям высокого уровня; 8 3.спецификации требований к функциональным компонентам ПО, расположенным между компонентами высокого и низкого уровня, удовлетворяют требованиям более высокого уровня; 8 4.архитектура ПО и требования к компонентам низкого уровня корректно переработаны в удовлетворяющие им исходные тексты программных и информационных модулей; 8 5.исходные тексты программ и соответствующий им исполняемый код не содержат ошибок. 8 4 Тестирование, верификация и валидация (сравнение понятий) 10 5 Технологические процессы верификации и роли в проекте, документация 12 1.типы входных и выходных документов; 12 6.общая процедура верификации; 12 7.роли и ответственности; 12 8.форматы и соглашения по идентификации выходных документов; 12 9.критерии оценки результативности этапа. 12 1.план верификации системных требований; 13 10.план верификации архитектуры; 13 11.план тестирования программного кода; 13 12.план тестирования модулей и их интеграции; 13 13.план системного тестирования; 13 14.план нагрузочного тестирования; 13 15.план полунатурных испытаний; 13 16.план приемо-сдаточных испытаний. 13 4 Формальные инспекции 16 5 Уровни процесса верификации 18 6 Способы автоматизации процесса верификации 19 6.1 Системное тестирование. 19 6.2 Интеграционное тестирование. 19 6.3 Модульное тестирование. 22 6.4 Примеры инструментов 23 Приложение А 25 ^ В таблице 1.1 представлены основные модели процесса разработки программного обеспечения. Таблица 1.1 - Модели процесса разработки ПО
|
![]() | Таким образом, встает задача дать пользователям инструменты для автоматизации обработки текста | ![]() | Этап 1: Определение требований к системе автоматизации дистанционного образования фита на основе анализа по «Прометей» |
![]() | Этап 1: Определение требований к системе автоматизации дистанционного образования фита на основе анализа по «Инфотехно» | ![]() | Пс технологии программирования (для автоматизации процессов обработки и вывода информации) |
![]() | Методические рекомендации по разработке заданий и требований к проведению школьного этапа Всероссийской олимпиады школьников по основам... | ![]() | Методические рекомендации по разработке заданий и требований к проведению школьного этапа Всероссийской олимпиады школьников по биологии... |
![]() | Репетиция участников номинации «Народные инструменты. Соло. Ансамбли», «Духовые инструменты. Соло. Ансамбли», «Струнно-смычковые... | ![]() | Методические рекомендации по разработке заданий и требований к проведению школьного этапа Всероссийской олимпиады школьников по немецкому... |
![]() | Решения компании Festo в области комплексной автоматизации положили основу для развития комплексной промышленой автоматизации | ![]() | Методические рекомендации по разработке заданий и требований к проведению школьного этапа Всероссийской олимпиады школьников по истории... |