Bibliograph. Daten | Maier, Sven: Enriched Tool Support for Probabilistic Specification Mining (ProSpecMi). Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Bachelorarbeit Nr. 134 (2014). 63 Seiten, englisch.
|
CR-Klassif. | D.2.5 (Software Engineering Testing and Debugging)
|
Kurzfassung | Specification Mining describes the process of creating a specification from a (probably unknown) program using sample executions. Most of the current specification miners are deterministic. This thesis aims to create a probabilistic specification miner. Therefor, a specification miner with three different probabililistic approaches has been implemented and added to the LearnLib-Framework. The implementation has been validated by letting the specification miner rebuild a predefined specification to compare the template and the result, by running a hypothesis-test to compare the used approaches to calculate the probabilities against another and by letting it mine the usage of a real API from n tests and validate them with m more tests.
|
Volltext und andere Links | PDF (463764 Bytes)
|
Abteilung(en) | Universität Stuttgart, Institut für Softwaretechnologie, Sichere und Zuverlässige Softwaresysteme
|
Betreuer | Filieri, Antonio |
Eingabedatum | 2. Dezember 2014 |
---|