Инструменты верификации программных проектов

Содержание

СОДЕРЖАНИЕ
ВВЕДЕНИЕ	2
1. Основные понятия	3
2. Место верификации в жизненном цикле ПО	6
3. Задачи верификации в рамках жизненного цикла ПО	7
4. Инструменты верификации ПО	8
4.1 Экспертиза	8
4.2 Статический анализ	10
4.3 Формальные методы верификации	12
4.4 Динамические методы верификации	14
4.5 Комбинация нескольких методов верификации	16
ЗАКЛЮЧЕНИЕ	18
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ	19

Введение

В современном мире программное обеспечение играет ключевую роль во многих сферах жизни, начиная от мобильных приложений и заканчивая сложными системами автоматизации производства. В связи с этим, необходимость гарантировать надежность и корректность программных проектов становится все более важной. Инструменты верификации программных проектов предоставляют набор методов и техник, направленных на проверку соответствия программы определенным требованиям и выявление потенциальных ошибок и дефектов

Список литературы

1. H. D. Benington. Production of Large Computer Programs. Proceedings of the ONR Symposium on Advanced Program Methods for Digital Computers, June 1956, pp. 15- 27.
2. W. W. Royce. Managing the Development of Large Software Systems. Proceedings of IEEE WESCON, pp. 1-9, August 1970
3. B. Boehm, V. Basili. Software Defect Reduction Top 10 List. IEEE Computer, 34(1):135-137, January 2001

Демо файлы

Файлы работы