ITU-T Z.500-1997
Структура формальных методов тестирования на соответствие. Серия Z: Методы языков программирования для проверки и тестирования, 10-я Исследовательская комиссия; 49 стр.

сфера применения: Настоящая Рекомендация применима там, где существует официальная спецификация протокола или услуги связи, на основе которой должен быть разработан набор тестов на соответствие. Он может служить руководством для ручного процесса, а также для разработки инструментов для компьютерного управления.