University of Twente Student Theses
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.
|
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: | https://purl.utwente.nl/essays/69687 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page