Project

General

Profile

History

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

Revision 17 (Alexander Kamkin, 09/25/2011 01:44 PM) → Revision 18/89 (Alexander Kamkin, 09/25/2011 01:48 PM) 

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

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

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

 h3. Пример 1 (MIPS) 

 <pre> 
 // Повторить в тестовой программе 100 раз следующую ситуацию 
 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>