Project

General

Profile

History

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

Revision 1 (Alexander Kamkin, 09/25/2011 12:36 PM) → Revision 2/89 (Alexander Kamkin, 09/25/2011 12:58 PM) 

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

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

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

 <pre> 
 Template ::= Statement* 
 </pre> 

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

 <pre> 
 Statement ::= RealStatement InstructionStatement | MetaStatement ControlStatement 
 </pre>  

 <pre> 
 InstructionStatement ::= (Instruction (ConcreteInstruction | InstructionClass) (@ Situation)? 
 </pre> 

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

 <pre> 
 ConcreteInstruction ::= Identifier (Parameter (, Parameter)+)? 
 </pre> 

 <pre> 
 InstructionClass ::= Identifier (Parameter (, Parameter)+)? 
 </pre> 

 <pre> 
 MetaStatement ::= MetaVariableDeclaration | 
                   MetaVariableAssignment    | 
                   MetaIfStatement           | 
                   MetaForStatement          | 
                   MetaWhileStatement        | 
                   ... 
                  
 </pre>