Datenbestand vom 13. März 2019
Tel: 089 / 66060798
Mo - Fr, 9 - 12 Uhr
Fax: 089 / 66060799
aktualisiert am 13. März 2019
978-3-8439-0348-6, Reihe Informatik
Model-Based Statistical Testing of Embedded Real-Time Software with Continuous and Discrete Signals in a Concurrent Environment: The Usage Net Approach
250 Seiten, Dissertation Technische Universität Kaiserslautern (2011), Hardcover, A5
This thesis focuses on model-based testing of embedded software systems. A particular model-based testing approach called model-based statistical testing is chosen for this purpose. This approach allows for the automated generation, execution and evaluation of test cases based
on a test model. It is additionally possible to estimate the reliability of the tested system based on test results. These properties are desirable in embedded software system testing.
An important property of an embedded software system is that its inputs and outputs are continuous and discrete signals and that it is essential that these signals need to fulﬁll real-time constraints. The signals are measured from and applied to a concurrent environment additionally.
Model-based statistical testing as described in literature is not applicable to systems with these properties i.e. it is not applicable for testing embedded software systems. This is why this thesis focuses on improving model-based statistical testing. This is achieved by the introduction of a new test model called usage net.