Bachelorarbeit BCLR-0134

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)

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
BetreuerFilieri, Antonio
Eingabedatum2. Dezember 2014
   Publ. Informatik