University of Twente Student Theses

Login

A quest for the best automated tests : Estimating software reliability based on Spec Explorer's on-the-fly test results

Ouden, J.J.A. den (2016) A quest for the best automated tests : Estimating software reliability based on Spec Explorer's on-the-fly test results.

[img]
Preview
PDF
1MB
Abstract:Spec Explorer on-the-fly testing does not provide any indication of coverage or reliability regarding the system under test, or say whether testing can be stopped. This means that testing is useful for fault discovery, but there is no way of knowing whether you've tested enough. As a step towards remedying this, this thesis presents a tool that estimates the reliability of a system under test after Spec Explorer on-the-fly testing has been applied to it. The on-the-fly test results are used to construct a usage and a testing chain, from which the discriminant, reliability, and mean time between failures can be estimated. The tool is applied to two simple examples. The results that are obtained are used to draw conclusions about the usefulness of the tool, as well as for providing suggestions for tool improvements and possible future research.
Item Type:Essay (Master)
Clients:
Nspyre, Eindhoven, The Netherlands
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:http://purl.utwente.nl/essays/69687
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page