Выбор методов верификации отраслевого программного продукта на примере интернет-приложения

31 страница

ВВЕДЕНИЕ. 3

1 ОСНОВНЫЕ ПОНЯТИЯ.. 6

1.1 Базовые определения жизненного цикла системы.. 6

1.2 Верификация и валидация. 7

1.3 Характеристики качества программного обеспечения. 9

2 ВЕРИФИКАЦИЯ.. 12

2.1 Место верификации в жизненном цикле. 12

2.2 Задачи верификации в рамках жизненного цикла по. 13

2.3 Верификация и другие процессы разработки и сопровождения программного обеспечения. 14

2.4 Методы верификации программного обеспечения. 15

3 ЭКСПЕРТИЗА.. 18

3.1 Определение и методы.. 18

3.2 Оценка ПО по Фагану. 18

3.3 Другие виды общих экспертиз. 20

3.4 Статический анализ. 20

3.5 Формальные и динамические методы верификации. 21

4 МОНИТОРИНГ. 23

4.1 Мониторинг и тестирование. 23

4.2 Тестирование программного продукта на примере интернет приложения  24

ЗАКЛЮЧЕНИЕ. 29

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ.. 30

Цель данной работы — представить обзор разнообразных средствдля выбора метода верификации отраслевого программного продукта на примере интернет приложения.

Для достижения поставленной цели были решены следующие задачи:

— определено место верификации среди других видов деятельности, используемых при разработке и сопровождении программного обеспечения;

— рассмотрены различия и особенности процессов валидации и верификации;

— проанализированы характеристики и критерии качества программного продукта;

— рассмотрена верификацияпрограммного продукта на протяжении жизненного цикла;

— разобраны задачи в рамках жизненного цикла ПО;

— исследованы процессы разработки, сопровождения и методы верификации программного обеспечения;

— проведено знакомство с экспертизой и её методами;

— проведено тестирование web–сайта с помощью средств валидации и верификации.