Project

General

Profile

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

Alexander Kamkin, 09/25/2011 01:48 PM

1 4 Alexander Kamkin
h1. Язык M4TEST описания шаблонов тестовых программ
2 1 Alexander Kamkin
3 18 Alexander Kamkin
Язык *M4TEST* (Macro language for TEST programs) предназначен для компактного и переиспользуемого описания тестов для микропроцессоров и других программируемых устройств. Язык представляет собой смесь языка ассемблера целевого микропроцессора (*TL*, Target Language) и управляющего языка высокого уровня (*ML*, Meta Language). При этом ML можно рассматривать как макропроцессор, поскольку в результате выполнения его конструкций генерируется текст на TL. Кроме того, никто не запрещает использовать стандартные препроцессоры (например, препроцессор С/C++ или макропроцессор m4).
4 1 Alexander Kamkin
5 12 Alexander Kamkin
h2. Интуитивное описание языка на примерах
6
7 17 Alexander Kamkin
h3. Пример 1 (MIPS)
8 14 Alexander Kamkin
9 13 Alexander Kamkin
<pre>
10 16 Alexander Kamkin
// Повторить в тестовой программе 100 раз следующую ситуацию
11 14 Alexander Kamkin
repeat(100) {
12 15 Alexander Kamkin
    // Загрузка в регистр Reg1 содержимого памяти по адресу, содержащемуся в регистре Base1
13
    ld Reg1, 0x0(Base1)  @ choice{L1Hit:50}                       // Попадание в кэш-память L1 осуществляются с вероятностью 50%
14
    // Загрузка в регистр Reg2 содержимого памяти по адресу, содержащемуся в регистре Base2
15
    ld Reg2, 0x0(Base2)  @ choice{L1Hit:50} && [Base1] != [Base2] // Адреса первой и второй интрукции загрузки не должны совпадать
16
    // Запись результата сложения содержимого регистров Reg1 и Reg2 в регистр Res
17
    dadd Res, Reg1, Reg2 @ !IntegerOverflow                       // При сложении не должно возникать переполнения
18 14 Alexander Kamkin
}
19 13 Alexander Kamkin
</pre>
20 12 Alexander Kamkin
21 13 Alexander Kamkin
h2. Формализованное описание языка
22 12 Alexander Kamkin
23 2 Alexander Kamkin
Шаблон - это последовательность операторов.
24
25 1 Alexander Kamkin
<pre>
26
Template ::= Statement*
27
</pre>
28
29 2 Alexander Kamkin
Операторы делятся на два класса: реальные операторы (операторы, которые порождают код) и мета операторы (операторы, которые используются для управления генерацией кода).
30
31 1 Alexander Kamkin
<pre>
32 2 Alexander Kamkin
Statement ::= RealStatement | MetaStatement
33 1 Alexander Kamkin
</pre> 
34
35
<pre>
36 2 Alexander Kamkin
InstructionStatement ::= (Instruction | InstructionClass) (@ Situation)?
37 1 Alexander Kamkin
</pre>
38
39 2 Alexander Kamkin
Формат инструкции зависит от ассемблера. Обычно он имеет следующий вид: 
40
41 1 Alexander Kamkin
<pre>
42
ConcreteInstruction ::= Identifier (Parameter (, Parameter)+)?
43
</pre>
44
45
<pre>
46
InstructionClass ::= Identifier (Parameter (, Parameter)+)?
47 2 Alexander Kamkin
</pre>
48
49
<pre>
50
MetaStatement ::= MetaVariableDeclaration |
51
                  MetaVariableAssignment  |
52
                  MetaIfStatement         |
53
                  MetaForStatement        |
54
                  MetaWhileStatement      |
55
                  ...
56
                  
57 1 Alexander Kamkin
</pre>