Выбор методов верификации программного продукта на примере сайта «СТО для своих».
38 страниц
Целью курсовой работы является изучение интеграции методов верификации программного обеспечения, выбор методов верификации программного продукта на примере сайта «СТО для своих».
Задачей курсовой работы является;
- рассмотреть виды программного обеспечения;
- изучить подходы к построению расширяемой среды верификации ПО;
- проанализировать методы верификации программного обеспечения.
Введение. 2
1Виды программного обеспечения. 4
1.1Системное программное обеспечение. 4
1.2. Прикладное ПО.. 8
1.3. Инструментальное программное обеспечение. 10
2 Подход к построению расширяемой среды верификации ПО.. 14
2.1 Поддержка различных языков и нотаций. 14
2.2. Архитектурная основа среды верификации. 15
2.3. Организация разработки среды верификации. 18
3 Методы верификации программного обеспечения. 20
3.1 Синтетические методы верификации ПО.. 20
3.2 Тестирование. 22
3.2.1 Информационное моделирование. 25
3.3Структура сайта. 29
Заключение. 35
Список используемых источников. 37