Пример реализации структурного тестирования

Практическая ценность работы состоит в разработке ряда про-
граммных систем: метрических компиляторов для ассемблера ЕС ЭВМ
и Модула-2, профилировщиков для них, TGS — системы поддержки
структурного тестирования и компонента оценки тестированности для
нее, ОСТ — системы контроля тестированности Модула-2-программ.
Все системы разрабатывались в рамках договора с НПО ПМ и переда-
ны заказчику.

то есть TGS ( Test Generation System) проекта СОКРАТ - реализация системы поддержки структурного тестирования программ.
(проект СОКРАТ - компилятор)

_____________________________________________
Источники(читать подробнее)=
http://www.iis.nsk.su/files/abstracts/ch...

Ключевые слова и фразы(для поиска)=
Средства поддержки структурного тестирования программ
средства структурного тестирования
TGS — системы поддержки структурного тестирования