Тестирование софта - статьи


         

Тестирование софта - статьи

Методика автоматизированной проверки
Введение
Постановка задачи
Генерируемый SeC-код
Генерируемый SeC-код - 2
Генерируемый SeC-код - 3
Конфигурационные константы.

Проверка
Проверка - 2
Пересечение требований
Трёхзначная логика
Оформление непроверяемых требований
Заключение
Литература
Содержание