Published February 4, 2016
| Version v1
Project deliverable
Open
Test-Generation Methods
Creators
- 1. Université Paris-Sud
- 2. SYSGO AG
- 3. DFKI GmbH
- 4. Thales Communications & Security SA
- 5. Open University of The Netherlands
- 6. Technische Universiteit Eindhoven
Description
This document consists of four parts:
- Part I gives an overview over formal automated test-generation techniques developed in the EURO-MILS project. This contains a chapter on new methodologies as well as a chapter on implemented techniques in HOL-TestGen.
- Part II develops the main approach of concurrent code-testing supported by HOL-TestGen, presented at an academic example called MyKeOS.
- Part III develops the main case-study on test-case generation for the IPC protocol, which is run against a PikeOS demonstrator.
- Part IV comprises a collection of technical annexes: a) the current HOL-TestGen Reference Manual, b) the Test Theory for the IPC protocol, c) the code for Test Execution Adapters and d) the code for the PiKeOS demonstrator.
Files
EURO-MILS-D31.4-PU-M40.pdf
Files
(2.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:72420a001a664038b118bddfa1abcb77
|
2.7 MB | Preview Download |