Project

General

Profile

Actions

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

« Previous | Revision 10/89 (diff) | Next »
Alexander Kamkin, 09/25/2011 01:19 PM


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

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

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

Template ::= Statement*

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

Statement ::= RealStatement | MetaStatement
InstructionStatement ::= (Instruction | InstructionClass) (@ Situation)?

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

ConcreteInstruction ::= Identifier (Parameter (, Parameter)+)?
InstructionClass ::= Identifier (Parameter (, Parameter)+)?
MetaStatement ::= MetaVariableDeclaration |
                  MetaVariableAssignment  |
                  MetaIfStatement         |
                  MetaForStatement        |
                  MetaWhileStatement      |
                  ...

Updated by Alexander Kamkin over 12 years ago · 10 revisions