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


         

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

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

Аннотация
Введение
Введение - 2
Введение - 3
Формализация стандартов
Формализация стандартов - 2
Формализация стандартов - 3
Формализация стандартов - 4
Разработка тестов на соответствие стандарту
Разработка тестов на соответствие стандарту - 2

Разработка тестов на соответствие стандарту - 3
Применения описанного подхода
Применения описанного подхода - 2
Другие подходы к построению тестов на соответствие стандартам
Другие подходы к построению тестов на соответствие стандартам - 2
Заключение
Заключение - 2
Благодарности.
Литература
Содержание