Главная \ Интернет магазин \ КУРСОВЫЕ РАБОТЫ \ Информатика \ Выбор методов верификации программного продукта на примере сайта «СТО для своих».

Выбор методов верификации программного продукта на примере сайта «СТО для своих».

Артикул: 528
400 руб.
Количество:
поделиться

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

Авторизуйтесь, чтобы оставить комментарий
Введите Ваш e-mail:
Введите Ваш пароль:
Если Вы уже зарегистрированы на нашем сайте, но забыли пароль или Вам не пришло письмо подтверждения, воспользуйтесь формой восстановления пароля.

Назад