BibSonomy publications for /user/ist_spl/stateWed Jul 30 14:26:13 CEST 2008Journal of Systems and Software2249-261An empirical, path-oriented approach to software analysis and testing812008testing flowgraph control state mutation error data flow path fault Thu Jun 05 18:12:10 CEST 2008marMR: 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 mussUML-basierter Klassen- und Integrationstest objektorientierter Programme2006oriented sequence UML diagrams MBT test OCL class object oracle state integration aspect-oriented unit Der Softwaretest ist ein in der Praxis weit verbreitetes Verfahren zur Qualitätssicherung von Software. Das Softwareprodukt wird beim Softwaretest mit einer Menge von Eingabedaten stimuliert und die Ausgaben auf ihre Korrektheit im Hinblick auf die Spezifikation überprüft. Modellbasierte Ansätze zum Softwaretest finden mit der Verbreitung modellbasierter Softwareentwicklung auch in der Domäne der objektorientierten Programme immer mehr an Bedeutung. Das Modell dient in der modellbasierten Softwareentwicklung nicht mehr nur zur Dokumentation der Software, sondern vorrangig zur automatischen Generierung von Software und zur automatischen Ableitung von Testfällen, mit denen das Programm stimuliert wird, und Testorakeln, die Testergebnisse mit erwarteten Ergebnissen vergleichen. In der Dissertation wird eine Technik zur Ableitung von Testfällen und Testorakeln aus UML-Modellen vorgestellt. Anders als viele andere Arbeiten zum UML-basierten Test werden verschiedene UML-Bestandteile und damit verschiedene Sichten auf das zu testende Programm berücksichtigt. Testfälle werden aus einer Kombination von Sequenz- und Zustandsdiagrammen abgeleitet. Die Sequenzdiagramme spezifizieren dabei die Testsequenzen, die Zustandsdiagramme dienen der Initialisierung der Testsequenzen. Testorakel werden durch Kombination von Zustandsdiagrammen und OCL-Constraints erzeugt. Ein weiterer Schwerpunkt der Arbeit ist die Integration des erzeugten Testcodes in die zu testende Software (Instrumentierung) unter Verwendung aspektorientierter Programmiertechniken. Diese erlauben das Hinzufügen und Entfernen von zusätzlichem Code – hier: Testcode –, ohne den Quelltext der bestehenden Software zu ändern. Aspektorientierte Programmiertechniken eignen sich durch diese Eigenschaft besonders gut für die Instrumentierung, da der zusätzliche Testcode meist nur während der Testphase benötigt wird und danach ohne Aufwand wieder entfernt werden kann. Software testing is a widely used method for software quality assurance. It involves stimulating the software product with a quantity of input data and and checking the correctness of the output with respect to the specification. With the spread of model-based software development, model-based approaches to software testing are also gaining increasing importance in the domain of object-oriented programming. In model-based software development, the model no longer only serves to document the software; its principal function is to automatically generate software and automatically derive test cases to stimulate the program, as well as test oracles to compare the test results with expected results. The present thesis presents a technique for deriving test cases and test oracles from UML models. Unlike much of the other work on UML-based testing, it takes into account different UML components and thus different views of the program under test. Test cases are derived from a combination of sequence and state diagrams. Here, the sequence diagrams specify the test sequences, while the state diagrams are used to initialize them. Test oracles are generated by combining state diagrams with OCL constraints. Another focus of the thesis is integrating the generated test code into the software under test (instrumentation) using aspect-oriented programming techniques. These allow additional code – in this case: test code – to be added or removed without changing the source code of the existing software. This feature makes aspect-oriented programming techniques particularly well suited for instrumentation because in most cases the additional test code is only needed during the test phase and can then be easily removed again.Wed May 14 12:52:20 CEST 2008IEEE Transactions on Software EngineeringST: 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.3161--173Using Test Oracles Generated from Program Documentation241998finite program test singlesystem oracle formal specification machine testing state