ObjectGen is a tool for generating test objectives from use cases. ValueGen is a tool for generating operational variables and combination of values from use cases. Although ValueGen needs the artefacts generated by ObjectGen, both tools are independent.
The article illustrates a formal method of deriving functional test cases from use cases, including how to create a use case, derive all scenarios, and create reasonable test cases, as well as use IBM® Rational® RequisitePro for traceability from use cases to scenarios and test cases.
M. Friske, and H. Schlingloff. Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems, 2005-01, TU Braunschweig, (January 2005)
M. Friske, and H. Schlingloff. Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems III, 2005-01, TU Braunschweig, (January 2007)
H. Gross. Springer, 1 edition, (2004)MR: am meisten interessant ist der Kapitel: Model-Based Testing with UML und dadrin der Abschnitt über das Testen mit Aktivitätsdiagrammen (in Bezug auf ScenTED).
J. Warmer, and A. Kleppe. Addison Wesley, 2. A. edition, (2003)MR: Referenz für OCL
Wertvoll: Es wird gezeigt wie mit OCL Modelle gebaut werden.
MDA eher nur am Rande erklärt
Wichtigster Satz (Kapitel 3.2):
The use of OCL strongly relies on the types (classes, datatypes, and so on) defined in a UML class diagram. This diagram should be build first..
A. Bertolino, E. Marchetti, and H. Muccini. Electronic Notes in Theoretical Computer Science, (January 2005)MR: enthält Overview on Model-based Testing.
Dieser Ansatz erweitert den Cow_Suite-Ansatz indem neben der Sequenzdiagrammen und der UIT-Technik auch noch Zustandsdiagramme als Input für die Ableitung der Testfälle berücksichtigt werden. Es erfolgt mehrfache automatische Synthese der Sequenzdiagramme aus den Zustandsdiagrammen und umgekehrt. Die resultierenden 'augepeppten' Sequenzdiagramme dienen als Input für die UIT-Technik.
Für IST-SPL interessant, wenn Zustandsdiagramme involviert werden sollten..
U. Farooq, C. Lam, and H. Li. ACST'07: Proceedings of the third conference on IASTED International Conference, page 128--133. Anaheim, CA, USA, ACTA Press, (2007)
D. Sokenou. TU Berlin, Fakultät für Elektrotechnik und Informatik, (March 2006)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.
C. Mingsong, Q. Xiaokang, and L. Xuandong. AST '06: Proceedings of the 2006 international workshop on Automation of software test, page 2--8. New York, NY, USA, ACM, (2006)