Часть VII

7.10 Применение формальных языков

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

• ADL (Assertion Definition Language) [16] - язык, предназначенный для описания поведения систем ИТ на их интерфейсах для технологии ODA.
• ASN.1 (Abstract Syntax Notation One) [30, 31] - язык, предназначенный для описания структур данных протоколов прикладного уровня.
• Estelle [32] - язык спецификаций, построенный как расширение языка программирования Pascal и предназначенный для описания поведения протокольных автоматов.
• LOTOS (Language Of Temporal Ordering Specification) [33] - формальный язык, использующий алгебраический подход, разработанный для спецификации поведения информационных систем распределенной и параллельной обработки.
• SDL (Specification and Description Language) [34] - язык, предназначенный для описания структуры и функционирования распределенных управляющих систем реального времени.
• TTCN (Tree and Tabular Combined Notation) [9] - язык, используемый для спецификаций тестовых ситуаций протокольных реализаций всех уровней модели OSI, за исключением физического.
• Z [35] - общецелевой непроцедурный язык спецификаций, построенный на основе типизированной теории множеств и исчислении предикатов первого порядка.