Bachelorarbeit BCLR-0134

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
BetreuerFilieri, Antonio
Eingabedatum2. Dezember 2014
Neuer Report   Neuer Artikel   Neues Sammelwerk   Abteilung   Institut   Informatik