Download Paper - STS

Contents
Contents
1 Introduction
1.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 General Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Goals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Transforming Languages
2.1 Compiler Construction . . . . . . . . .
2.1.1 Main Compilation Phases . . .
2.1.2 Context-free Grammars . . . .
2.2 Source Transformation tools . . . . . .
2.2.1 The Turing eXtender Language
2.2.2 Additional parsing techniques .
2.2.3 More Transformation Tools . .
1
1
1
2
.
.
.
.
.
.
.
4
4
4
5
7
7
10
11
3 Test Language Transformation
3.1 Test Software for Automatic Testing . . . . . . . . . . . . . . . . . . .
3.1.1 ATLAS: The Language for all Systems . . . . . . . . . . . . . .
3.1.2 TestStand: The Industry-Standard Test Management Software
3.1.3 Automatic test environments . . . . . . . . . . . . . . . . . . .
3.2 Requirements on the Translator . . . . . . . . . . . . . . . . . . . . . .
3.2.1 Parsing ATLAS Syntax . . . . . . . . . . . . . . . . . . . . . .
3.2.2 Preserving Semantics in Avionic Environments . . . . . . . . .
13
13
13
18
21
21
22
23
4 The Translator
4.1 Transformations . . . . . . . . . . .
4.1.1 Preamble . . . . . . . . . . .
4.1.2 Flow control . . . . . . . . .
4.1.3 Data Processing . . . . . . .
4.1.4 Hardware Control Statements
4.1.5 Expressions . . . . . . . . . .
4.2 Teststand Assembler . . . . . . . . .
4.2.1 Concept . . . . . . . . . . . .
4.2.2 Construction Examples . . .
.
.
.
.
.
.
.
.
.
25
26
27
32
37
38
40
41
42
46
.
.
.
.
49
49
50
51
52
5 Evaluation
5.1 Applicability .
5.2 Case Study . .
5.2.1 Limits .
5.2.2 Runtests
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.