Über die effizienz des automatischen testens
| dc.contributor.author | Böhme, Marcel | |
| dc.contributor.author | Paul, Soumya | |
| dc.contributor.editor | Aßmann, Uwe | |
| dc.contributor.editor | Demuth, Birgit | |
| dc.contributor.editor | Spitta, Thorsten | |
| dc.contributor.editor | Püschel, Georg | |
| dc.contributor.editor | Kaiser, Ronny | |
| dc.date.accessioned | 2017-06-30T20:56:15Z | |
| dc.date.available | 2017-06-30T20:56:15Z | |
| dc.date.issued | 2015 | |
| dc.description.abstract | Wir analysieren die Effizienz des zufälligen und systematischen Ansatzes zum automatischen Programmtesten. Dabei nutzen wir wenige, einfache, jedoch realistische Annahmen um ein generelles probabilistisches Modell für das Softwaretesten zu entwickeln. Die zwei wichtigsten Ziele des automatischen Softwaretestens sind (i) in minimaler Zeit mit einem gewissen Zuversichtsgrad x festzustellen, daß das Programm korrekt funktioniert und (ii) eine maximale Anzahl an Fehlern innerhalb eines gegebenen Zeitbudgets $\hat n$ im Programm zu finden. Zu beiden Fällen berechnen wir eine obere Schranke für die Zeit eines systematischen Tests relativ zur Zeit eines zufälligen Tests. Im ersten Fall (i) zeigen wir auch, daß diese Schranke asymptotisch nur von x abhängt. Nehmen wir zum Beispiel an, daß ein Zufallstestgenerator R lediglich 10ms braucht um einen Test zu generieren und auszuführen. Um mit Zuversicht feststellen zu können, daß ein Programm P für 90\% seiner Eingaben korrekt funktioniert, darf der effektivste, systematische Testgenerator S0 nicht länger als 41ms brauchen um einen Test zu generieren und auszuführen! Andernfalls kann R im Durchschnitt schneller etablieren, daß P für 90\% seiner Eingaben korrekt funktioniert. | de |
| dc.identifier.isbn | 978-3-88579-633-6 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software-engineering and management 2015 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-239 | |
| dc.title | Über die effizienz des automatischen testens | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 137 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 136 | |
| gi.conference.date | 17.-20. März 2015 | |
| gi.conference.location | Dresden |
Dateien
Originalbündel
1 - 1 von 1