Project

General

Profile

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

Revision 11 (Alexander Kamkin, 09/25/2011 01:23 PM) → Revision 12/89 (Alexander Kamkin, 09/25/2011 01:25 PM)

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

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

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>