Project

General

Profile

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

Alexander Kamkin, 09/26/2011 10:44 AM

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 19 Alexander Kamkin
В результате обработки этого шаблона будет сгенерирована программа следующего вида:
22
23
<pre>
24
ld Reg001_1, 0x0(Base001_1)
25
ld Reg001_2, 0x0(Base001_2)
26
dadd Res001, Reg001_1, Reg001_2
27
...
28
ld Reg100_1, 0x0(Base100_1)
29
ld Reg100_2, 0x0(Base100_2)
30
dadd Res100, Reg100_1, Reg100_2
31
</pre>
32
33 21 Alexander Kamkin
В этой программе @RegXXX_{1,2}@, @BaseXXX_{1,2}@ и @ResXXX@ - это регистры общего назначения (некоторые из них совпадают друг с другом). В начале программы (возможно, и в некоторых промежуточных точках) располагается *управляющий код*, инициализирующий регистры и память так, чтобы удовлетворить заданным в шаблоне ограничениям.
34 19 Alexander Kamkin
35 13 Alexander Kamkin
h2. Формализованное описание языка
36 12 Alexander Kamkin
37 2 Alexander Kamkin
Шаблон - это последовательность операторов.
38
39 1 Alexander Kamkin
<pre>
40
Template ::= Statement*
41
</pre>
42
43 2 Alexander Kamkin
Операторы делятся на два класса: реальные операторы (операторы, которые порождают код) и мета операторы (операторы, которые используются для управления генерацией кода).
44
45 1 Alexander Kamkin
<pre>
46 2 Alexander Kamkin
Statement ::= RealStatement | MetaStatement
47 1 Alexander Kamkin
</pre> 
48
49
<pre>
50 2 Alexander Kamkin
InstructionStatement ::= (Instruction | InstructionClass) (@ Situation)?
51 1 Alexander Kamkin
</pre>
52
53 2 Alexander Kamkin
Формат инструкции зависит от ассемблера. Обычно он имеет следующий вид: 
54
55 1 Alexander Kamkin
<pre>
56
ConcreteInstruction ::= Identifier (Parameter (, Parameter)+)?
57
</pre>
58
59
<pre>
60
InstructionClass ::= Identifier (Parameter (, Parameter)+)?
61 2 Alexander Kamkin
</pre>
62
63
<pre>
64
MetaStatement ::= MetaVariableDeclaration |
65
                  MetaVariableAssignment  |
66
                  MetaIfStatement         |
67
                  MetaForStatement        |
68
                  MetaWhileStatement      |
69
                  ...
70
                  
71 1 Alexander Kamkin
</pre>