Using Test Oracles Generated from Program Documentation
D. Peters, and D. Parnas. IEEE Transactions on Software Engineering, 24 (3):
161--173(1998)ST: Spezifikation einer SW-Einheit (im Paper Methoden) wird formal beschrieben. Tool leitet automatisch Orakel ab.
Grenzen werden bei dynamische Datenstrukturen erreicht da sie schwer beschreibbar sind.
Die formale Spezifikation erscheint in den Beispielen sehr aufwendig..
program testing, finite state machine, tabular expression
note
ST: Spezifikation einer SW-Einheit (im Paper Methoden) wird formal beschrieben. Tool leitet automatisch Orakel ab.
Grenzen werden bei dynamische Datenstrukturen erreicht da sie schwer beschreibbar sind.
Die formale Spezifikation erscheint in den Beispielen sehr aufwendig.
%0 Journal Article
%1 PetPar98
%A Peters, D.
%A Parnas, D.
%D 1998
%J IEEE Transactions on Software Engineering
%K finite formal machine oracle program singlesystem specification state test testing
%N 3
%P 161--173
%T Using Test Oracles Generated from Program Documentation
%V 24
@article{PetPar98,
added-at = {2008-05-14T12:52:20.000+0200},
author = {Peters, D. and Parnas, D.},
biburl = {https://www.bibsonomy.org/bibtex/23724f0ee7961e2e7a2f826e484f88ee4/ist_spl},
description = {Computer Science Bibliography Collection},
interhash = {13f4c348a7548091925b3192dc8f560e},
intrahash = {3724f0ee7961e2e7a2f826e484f88ee4},
journal = {IEEE Transactions on Software Engineering},
keyword = {program testing, finite state machine, tabular expression},
keywords = {finite formal machine oracle program singlesystem specification state test testing},
note = {ST: Spezifikation einer SW-Einheit (im Paper Methoden) wird formal beschrieben. Tool leitet automatisch Orakel ab.
Grenzen werden bei dynamische Datenstrukturen erreicht da sie schwer beschreibbar sind.
Die formale Spezifikation erscheint in den Beispielen sehr aufwendig.},
number = 3,
pages = {161--173},
timestamp = {2008-05-14T12:52:20.000+0200},
title = {Using Test Oracles Generated from Program Documentation},
volume = 24,
year = 1998
}