Download fulltext - DiVA Portal

LIST OF FIGURES
6.1.4
LIST OF TABLES
Documentation . . . . . . . . . . . . . . . . . . . . . .
7 Analysis / Discussion
7.1 Automated unit-testing . . . . . . . .
7.2 Python . . . . . . . . . . . . . . . . . .
7.3 DSEL . . . . . . . . . . . . . . . . . .
7.4 Criticism/limitations . . . . . . . . . .
7.4.1 Limitations inherent in testing
7.4.2 Testing method . . . . . . . . .
7.4.3 Testing with different platforms
7.4.4 Test-case description language .
21
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
22
22
22
22
23
23
23
23
24
8 Conclusion
8.1 Testing . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.2 DSELs . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3 Where to go from here . . . . . . . . . . . . . . . . . . .
8.3.1 Integrate implemented code coverage function . .
8.3.2 Packaging to ease installation and distribution .
8.3.3 Improving the description language . . . . . . . .
8.3.4 Robustness features . . . . . . . . . . . . . . . .
8.3.5 Evaluation of alternatives for formal verification .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
25
25
25
25
26
26
26
26
27
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
A Appendices
29
A.1 RPN calculator source-code . . . . . . . . . . . . . . . . . . . 29
A.1.1 rpn.h . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
A.1.2 rpn.c . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
List of Figures
1
2
3
4
5
6
7
UCD3K DC/DC-converter . . . . .
Endianness . . . . . . . . . . . . .
Workflow of Trassel . . . . . . . . .
Trassel CLI usage description . . .
Screenshot of code coverage report
Test-case example . . . . . . . . . .
Detailed workflow of Trassel . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
7
13
16
16
18
20
Evaluated testing-frameworks . . . . . . . . . . . . . . . . . .
Evaluated programming languages . . . . . . . . . . . . . . .
9
11
List of Tables
1
2
iv