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

Язык M4TEST (Macro language for TEST programs) предназначен для компактного и переиспользуемого описания тестов для микропроцессоров и других программируемых устройств. Язык представляет собой смесь языка ассемблера целевого микропроцессора (TL, Target Language) и управляющего языка высокого уровня (ML, Meta Language). При этом ML можно рассматривать как макропроцессор, поскольку в результате выполнения его конструкций генерируется текст на TL. Кроме того, никто не запрещает использовать стандартные препроцессоры (например, препроцессор языка программирования С или макропроцессор m4).

Интуитивное описание языка на примерах¶

Пример 1¶

repeat(100) {
    ld Reg1, 0x0(Base1)     @ choice{L1Hit:50}                       // Загрузка в регистр Reg1 содержимого памяти по адресу, содержащемуся в регистре Base1
    ld Reg2, 0x0(Base2)     @ choice{L1Hit:50} && [Base1] != [Base2] //
    dadd Result, Reg1, Reg2 @ !IntegerOverflow                       //
}

Формализованное описание языка¶

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

Template ::= Statement*

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

Statement ::= RealStatement | MetaStatement

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

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

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

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

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