MicroTESK

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

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

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

<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>