«Верификация программных требований к по. Инструменты автоматизации этапа»

Министерство образования Российской Федерации

Государственное образовательное учреждение высшего профессионального образования

"Ижевский государственный технический университет"

Кафедра "Программное обеспечение"

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