Язык описания шаблонов тестовых программ¶

Язык предназначен для компактного и переиспользуемого описания тестов (прежде всего, функциональных) для микропроцессоров и других программируемых устройств. Язык представляет собой смесь языка ассемблера тестируемого микропроцессора и языка высокого уровня, который имеет функцию продвинутого препроцессора, позволяющего генерировать код на

Шаблон - это последовательность операторов.

Template ::= Statement*

Операторы делятся на два класса: реальные операторы (операторы, которые порождают код) и мета операторы (операторы, которые используются для управления генерацией кода).

Statement ::= RealStatement | MetaStatement

InstructionStatement ::= (Instruction | InstructionClass) (@ Situation)?

Формат инструкции зависит от ассемблера. Обычно он имеет следующий вид:

ConcreteInstruction ::= Identifier (Parameter (, Parameter)+)?

InstructionClass ::= Identifier (Parameter (, Parameter)+)?

MetaStatement ::= MetaVariableDeclaration |
                  MetaVariableAssignment  |
                  MetaIfStatement         |
                  MetaForStatement        |
                  MetaWhileStatement      |
                  ...