Краткое описание и/или содержание При создании программного продукта перед инженером встает множество вопросов различного рода, таких как, например, требования к ПО, модели систем, спецификации ПО, надежность создаваемого продукта, и т.д. В данной работе рассматриваются одни из самых сложных шагов в создании любого программного продукта - верификация и тестирование. В работе дается общее представление о верификации и тестировании программного обеспечения.
Содержание Введение 3 1. Общие сведения о верификации и тестировании ПО 3 1.1. Введение в верификацию и тестирование 3 2. Верификация ПО 7 2.1. Планирование верификации 7 2.2. Инспектирование программных систем 8 2.3. Инспектирование программ 10 2.4. Автоматический статический анализ программ 12 2.5 Метод «чистая комната» 14 3. Тестирование программного обеспечения 15 3.1. Планирование тестирования 15 3.2. Тестирование дефектов 16 3.3. Тестирование сборки 18 3.4. Критерии тестирования 20 4. Верификация и тестирование 25 Заключение 28 Литература 30