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




Глава


Img1
Img2
Использование формальных методов для обеспечения соблюдения программных стандартов
Аннотация
Введение
Введение - часть 2
Введение - часть 3
Формализация стандартов
Формализация стандартов - часть 2
Формализация стандартов - часть 3
Формализация стандартов - часть 4
Разработка тестов на соответствие стандарту
Разработка тестов на соответствие стандарту - часть 2
Разработка тестов на соответствие стандарту - часть 3
Применения описанного подхода
Применения описанного подхода - часть 2
Другие подходы к построению тестов на соответствие стандартам
Другие подходы к построению тестов на соответствие стандартам - часть 2
Заключение
Заключение - часть 2
Благодарности.
Литература



Содержание