Project

General

Profile

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

Alexander Kamkin, 09/26/2011 11:08 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 26 Alexander Kamkin
Обработка M4TEST-шаблонов состоит из следующих шагов:
6
7 27 Alexander Kamkin
# Препроцессирование
8 1 Alexander Kamkin
# Трансляция шаблона в Ruby-программу
9 27 Alexander Kamkin
# Выполнение полученной программы
10
11
При выполнении программы, она обращается через API к базе данных ограничений, солверам и другим стандартным компонентам генератора.
12 26 Alexander Kamkin
13
14 12 Alexander Kamkin
h2. Интуитивное описание языка на примерах
15
16 17 Alexander Kamkin
h3. Пример 1 (MIPS)
17 14 Alexander Kamkin
18 13 Alexander Kamkin
<pre>
19 16 Alexander Kamkin
// Повторить в тестовой программе 100 раз следующую ситуацию
20 14 Alexander Kamkin
repeat(100) {
21 15 Alexander Kamkin
    // Загрузка в регистр Reg1 содержимого памяти по адресу, содержащемуся в регистре Base1
22
    ld Reg1, 0x0(Base1)  @ choice{L1Hit:50}                       // Попадание в кэш-память L1 осуществляются с вероятностью 50%
23
    // Загрузка в регистр Reg2 содержимого памяти по адресу, содержащемуся в регистре Base2
24
    ld Reg2, 0x0(Base2)  @ choice{L1Hit:50} && [Base1] != [Base2] // Адреса первой и второй интрукции загрузки не должны совпадать
25
    // Запись результата сложения содержимого регистров Reg1 и Reg2 в регистр Res
26
    dadd Res, Reg1, Reg2 @ !IntegerOverflow                       // При сложении не должно возникать переполнения
27 14 Alexander Kamkin
}
28 13 Alexander Kamkin
</pre>
29 12 Alexander Kamkin
30 23 Alexander Kamkin
В результате обработки этого шаблона будет сгенерирована программа следующего вида.
31 19 Alexander Kamkin
32
<pre>
33
ld Reg001_1, 0x0(Base001_1)
34
ld Reg001_2, 0x0(Base001_2)
35
dadd Res001, Reg001_1, Reg001_2
36
...
37
ld Reg100_1, 0x0(Base100_1)
38
ld Reg100_2, 0x0(Base100_2)
39
dadd Res100, Reg100_1, Reg100_2
40
</pre>
41
42 22 Alexander Kamkin
В этой программе @RegXXX_{1,2}@, @BaseXXX_{1,2}@ и @ResXXX@ - это регистры общего назначения (некоторые из них совпадают друг с другом). В начале программы (возможно, и в некоторых промежуточных точках) располагается *управляющий код*, инициализирующий регистры и память так, чтобы удовлетворить заданным в шаблоне ограничениям (это наиболее интеллектуальная часть обработки шаблона).
43 19 Alexander Kamkin
44 13 Alexander Kamkin
h2. Формализованное описание языка
45 12 Alexander Kamkin
46 2 Alexander Kamkin
Шаблон - это последовательность операторов.
47
48 1 Alexander Kamkin
<pre>
49 25 Alexander Kamkin
Template ::= "template" Identifier "(" (Parameter ("," Parameter)*)? ")" "{" (Statement)* "}"
50 1 Alexander Kamkin
</pre>
51
52 2 Alexander Kamkin
Операторы делятся на два класса: реальные операторы (операторы, которые порождают код) и мета операторы (операторы, которые используются для управления генерацией кода).
53
54 1 Alexander Kamkin
<pre>
55 2 Alexander Kamkin
Statement ::= RealStatement | MetaStatement
56 1 Alexander Kamkin
</pre> 
57
58
<pre>
59 2 Alexander Kamkin
InstructionStatement ::= (Instruction | InstructionClass) (@ Situation)?
60 1 Alexander Kamkin
</pre>
61
62 2 Alexander Kamkin
Формат инструкции зависит от ассемблера. Обычно он имеет следующий вид: 
63
64 1 Alexander Kamkin
<pre>
65
ConcreteInstruction ::= Identifier (Parameter (, Parameter)+)?
66
</pre>
67
68
<pre>
69
InstructionClass ::= Identifier (Parameter (, Parameter)+)?
70 2 Alexander Kamkin
</pre>
71
72
<pre>
73
MetaStatement ::= MetaVariableDeclaration |
74
                  MetaVariableAssignment  |
75
                  MetaIfStatement         |
76
                  MetaForStatement        |
77
                  MetaWhileStatement      |
78
                  ...
79
                  
80 1 Alexander Kamkin
</pre>