Bachelorarbeit BCLR-2021-12

Bibliograph.
Daten
Bareiß, Patrick: Extracting Metamorphic Test Oracles from Natural Language Documentation.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Bachelorarbeit Nr. 12 (2021).
61 Seiten, englisch.
Kurzfassung

Metamorphic testing is a useful technique to test the behavior of methods. Instead of testing for specific outputs, metamorphic testing tests for relationships in outputs for two di erent inputs. However these relationships are rarely provided, greatly decreasing their usage. Nonetheless oftentimes they can be found informally described in natural language documentation. Our approach extracts the informally described metamorphic relations and turns them into a format usable directly for test generation. It achieves this by seeing all possible relations as hypotheses and uses the documentation text as the premise to identify the ones that are actually correct. When running our tool on four popular Java libraries, we achieve a precision of 92% and a recall of 41%. Generating tests using the extracted oracles reveals a previously unknown bug in the documentation of the Guava library.

Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Software Lab - Programmanalysen
BetreuerPradel, Prof. Michael
Eingabedatum2. Juni 2021
   Publ. Informatik