Download Mika User Manual

Contents
1 Introduction
3
2 Requirements
4
3 Installation
4
4 Ada Subset
4
5 Limitations
5.1 Complexity Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Accuracy Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3 Miscellaneous Limitations . . . . . . . . . . . . . . . . . . . . . . . . .
5
5
6
6
6 The
6.1
6.2
6.3
6.4
6.5
6.6
GUI Front
GUI Area 1:
GUI Area 2:
GUI Area 3:
GUI Area 4:
GUI Area 5:
GUI Area 6:
End
Drive and Folder Choosing . . . . . . . . . .
Package, Subprogram and Test File Choosing
Parsing . . . . . . . . . . . . . . . . . . . . .
Test Inputs Generation . . . . . . . . . . . .
Progress . . . . . . . . . . . . . . . . . . . . .
File View . . . . . . . . . . . . . . . . . . . .
7 The Tools Back End
7.1 The mika ada parser Parser Tool . .
7.1.1 Basic Syntax . . . . . . . . .
7.1.2 Optional Switches . . . . . . .
7.1.3 Outputs . . . . . . . . . . . .
7.1.4 Usage . . . . . . . . . . . . .
7.2 The mika ada generator Test Inputs
7.2.1 Basic Syntax . . . . . . . . .
7.2.2 Optional Switches . . . . . . .
7.2.3 Outputs . . . . . . . . . . . .
7.2.4 Usage . . . . . . . . . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
Generator
. . . . . .
. . . . . .
. . . . . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6
7
7
7
8
10
10
.
.
.
.
.
.
.
.
.
.
10
10
10
11
12
12
12
12
13
14
14
8 Examples
14
9 Feedback and Bug Reports
14
10 References
15
2