Research output per year
Research output per year
Project Details
Description
Eine wesentliche Herausforderung bei der Entwicklung von Standardsoftware ist die Erreichung einer
bestimmten Softwarequalität. Dazu wird das (vermeintlich) fertige Softwareprodukt getestet, wobei
versucht werden muss, eine möglichst vollständige Überdeckung der Funktionalitäten durch Testfälle
zu erreichen. Dadurch können bei komplexen Softwaresystemen (wie der von Hyperwave) mehrere
tausend Testfälle entstehen. Die Organisation dieser Tests, der daraus resultierenden
Fehlerbehebungen und neuerlichen Tests der betroffenen Funktionen stellt daher eine
Herausforderung dar.
| Status | Finished |
|---|---|
| Effective start/end date | 1/05/06 → 31/12/10 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 7 Conference paper
-
Creating Test-Cases Incrementally with Model-Checkers
Fraser, G. & Wotawa, F., 2007, Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik. ., p. 415-420Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Improving Model-Checkers for Software Testing
Fraser, G. & Wotawa, F., 2007, Quality Software, 2007. QSIC '07. Seventh International Conference on. IEEE Computer Society, p. 25-31Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Mutant Minimization for Model-Checker Based Test-Case Generation
Fraser, G. & Wotawa, F., 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007. ., p. 161-168Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review