BibSonomy :: user  :: ist_spl ::

bookmarks

publications

(2)   

• UML-basierter Klassen- und Integrationstest objektorientierter Programme
  Dehla Sokenou TU Berlin, Fakultät für Elektrotechnik und Informatik, mar2006. MR: Interessant für IST-SPL sind vor allem folgende Kapitel: 5-Testbarkeit von UML-Modellen: alle Diagrammtypen werden auf ihre Eignung für den T...MR: Interessant für IST-SPL sind vor allem folgende Kapitel: 5-Testbarkeit von UML-Modellen: alle Diagrammtypen werden auf ihre Eignung für den Test untersucht 10-UML-basierte Testorakel: mit Hilfe von Zustandsdiagrammen und OCL-Constraints Leider fehlt der Blick auf den Systemtest. Besonderheit: die eingesetzte aspektorientierte Technik erlaubt die OCL-Constraints in Aspekte umzuwandeln und zur Ladezeit so in den Testcode einweben, dass die getestete Systemimplementierung nicht neu versioniert werden muss .
  to unit aspect-oriented class MBT diagrams sequence object UML test oriented integration oracle state OCL by ist_spl on Jun 5, 2008, 6:12 PM
  URL | BibTeX 
• Using Test Oracles Generated from Program Documentation
  D. Peters and D. Parnas IEEE Transactions on Software Engineering24(3):161--173(1998) ST: Spezifikation einer SW-Einheit (im Paper Methoden) wird formal beschrieben. Tool leitet automatisch Orakel ab. Grenzen werden bei dynamische Datenstruk...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. .
  to specification finite testing oracle formal program singlesystem state test machine by ist_spl and 1 other person on May 14, 2008, 12:52 PM
  BibTeX