Анализ спецификаций. Верификация и аттестация программного обеспечения

1.

Презентация на тему:
«Анализ спецификаций.
Верификация и
аттестация программного
обеспечения»
Студентка группы ИСП-О-18 Осоян О.Д.
Преподаватель: Прокуронова А.Ю.

2.

Спецификация требований
программного обеспечения (SRS)
SRS — структурированный набор требований:
• Функциональность
производительность
конструктивные ограничения
атрибуты
Предназначение: установка базу для соглашения
между заказчиком и разработчиком.

3.

SRS
Пользовательские
сценарии
являются
средством представления функциональных
требований.
Спецификация также содержит:
• нефункциональные требования (такие как
требования производительности, стандарты
качества, или проектные ограничения

4.

Верификация и аттестация модуля
Верификация и аттестация – это проверка и
анализ соответствия программного обеспечения
своей спецификации и требованиям заказчиков.
Верификация – «правильно ли создана система?»
Цель:
проверяет
спецификации.
соответствие
ПО
системной
Аттестация – «правильно ли работает система?»
Цель: доказать заказчику, что продукт оправдывает
ожидания последнего.

5.

Две основные методики проверки
и анализа систем:
1. Инспектирование ПО (анализ и проверка
различных представлений системы)
2. Тестирование ПО (анализ выходных данных
для проверки правильности работы системы)
Главная цель верификации и аттестации:
удостовериться
в
том,
что
система
«соответствует своему назначению».