Язык описания шаблонов тестовых программ » History » Revision 11
Revision 10 (Alexander Kamkin, 09/25/2011 01:19 PM) → Revision 11/89 (Alexander Kamkin, 09/25/2011 01:23 PM)
h1. Язык M4TEST описания шаблонов тестовых программ Язык *M4TEST* (Macro language for TEST programs) предназначен для компактного и переиспользуемого описания тестов для микропроцессоров и других программируемых устройств. Язык представляет собой смесь языка ассемблера целевого микропроцессора (*TL*, Target Language) (АЯ) и управляющего языка высокого уровня (*ML*, Meta Language). (УЯ). При этом ML УЯ можно рассматривать как макропроцессор, поскольку в результате выполнения его конструкций генерируется текст на TL. базовом языке. Кроме того, никто не запрещает использовать стандартные препроцессоры пользоваться стандартными препроцессорами (например, препроцессор препроцессором языка программирования С или макропроцессор макропроцессора m4). Шаблон - это последовательность операторов. <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>