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

Использование формальных методов для обеспечения соблюдения программных стандартов
Аннотация
Введение

Формализация стандартов
Разработка тестов на соответствие стандарту
Применения описанного подхода

Другие подходы к построению тестов на соответствие стандартам
Заключение
Литература
Содержание раздела

---