MicroTESK

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

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

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

h3. Пример 1

<pre>

repeat(100) {

    // Загрузка в регистр Reg1 содержимого памяти по адресу, содержащемуся в регистре Base1

    ld Reg1, 0x0(Base1)  @ choice{L1Hit:50}                       // Попадание в кэш-память L1 осуществляются с вероятностью 50%

    // Загрузка в регистр Reg2 содержимого памяти по адресу, содержащемуся в регистре Base2

    ld Reg2, 0x0(Base2)  @ choice{L1Hit:50} && [Base1] != [Base2] // Адреса первой и второй интрукции загрузки не должны совпадать

    // Запись результата сложения содержимого регистров Reg1 и Reg2 в регистр Res

    dadd Res, Reg1, Reg2 @ !IntegerOverflow                       // При сложении не должно возникать переполнения

}

</pre>

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

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

<pre>

Template ::= Statement*

</pre>

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

<pre>

Statement ::= RealStatement | MetaStatement

</pre> 

<pre>

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

</pre>

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

<pre>

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

</pre>

<pre>

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

</pre>

<pre>

MetaStatement ::= MetaVariableDeclaration |

                  MetaVariableAssignment  |

                  MetaIfStatement         |

                  MetaForStatement        |

                  MetaWhileStatement      |

                  ...

</pre>