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.
T. Chen, S. Tang, P. Poon, и T. Tse. QSIC '05: Proceedings of the Fifth International Conference on Quality Software, стр. 55--63. Washington, DC, USA, IEEE Computer Society, (2005)
B. Hasling, H. Goetz, и K. Beetz. Software Testing, Verification, and Validation, 2008 1st International Conference on, (апреля 2008)ST: Vorgehensweise:
In diesem Paper wird eine Testtechnik für den Systemtest beschrieben, die von Siemens im medizinischen Bereich angewendet wurde. Aus einem Use Case Modell, dessen Szenarien durch Aktivitätsdiagramme und Sequenzdiagramme beschrieben werden und Äquivalenzklassen für die erforderlichen Testdaten, können Testfälle generiert werden. Dazu wird das Tool TDE/UML benutzt, welche in vorhergehenden Ansätzen entwickelt wurde. Neu an dieser Technik zu den vorher entwickelten Techniken ist die Verbindung des Requirements-Prozesses mit dem Testprozess durch die Benutzung von Use-Cases, die schon im RE erstellt werden.
Eignung:
Vom Prinzip her ist die Vorgehensweise vergleichbar mit der Idee in ScenTEDTDG, da auf den gleichen Modellen gearbeitet wird und Äquivalenzklassen für die Testdatengewinnung herangezogen werden. Variabilität fehlt, da es ein Einzelsystemansatz ist..
C. Mingsong, Q. Xiaokang, и L. Xuandong. AST '06: Proceedings of the 2006 international workshop on Automation of software test, стр. 2--8. New York, NY, USA, ACM, (2006)ST: Vorgehensweise: Erst wird eine große Menge von zufälligen Testfällen generiert. Das Programm wird mit diesen Testfällen ausgeführt und man erhält die entsprechenden Ausführungspfade. Diese werden mit den Aktivitätsdiagrammen verglichen auf Basis des Abdeckungskriteriums. Man wählt die übereinstimmenden Ausführungspfade aus und erhält so eine reduzierte Menge von Testfällen die das Abdeckungskriterium erfüllt. So kann auch die Konsistenz des Programms mit dem Aktivitätsdiagramm geprüft werden.
Eignung: Man findet keine Hinweise darauf, woher die Testdaten für die zufällig erzeugten Testfälle kommen. Für diesen Schritt wird auf ein Paper verwiesen, welches zufällige Testfälle für den Unittest erzeugt, siehe „A Tool for Random Generation of Unit Tests for Java Classes.”.
J. Hartmann, M. Vieira, и A. Ruder. Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), стр. 58--65. Boston, MA, (августа 2004)
C. Nebut, F. Fleurey, Y. Traon, и J. Jézéquel. ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, стр. 85. Washington, DC, USA, IEEE Computer Society, (2003)
A. Reuys, S. Reis, E. Kamsties, и K. Pohl. Erfurt, (2003)Proceedings of the PLEES’03 International Workshop on Product Line Engineering: The Early Steps: Planning, Modeling, and Managing.
M. Friske, и H. Schlingloff. Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems III, 2005-01, TU Braunschweig, (января 2007)
H. Gross. Springer, 1 издание, (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, и A. Kleppe. Addison Wesley, 2. A. издание, (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..
M. Chen, X. Qiu, W. Xu, L. Wang, J. Zhao, и X. Li. The Computer Journal, (2007)MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgeführt werden um bestimmte Eingaben für das Verfahren zu liefern.
Die Generierung von Testdaten ist kaum automatisiert.
Für IST-SPL interessant wegen den Formalismen für Aktivitätsdiagramme..
U. Farooq, C. Lam, и H. Li. ACST'07: Proceedings of the third conference on IASTED International Conference, стр. 128--133. Anaheim, CA, USA, ACTA Press, (2007)
C. Mingsong, Q. Xiaokang, и L. Xuandong. AST '06: Proceedings of the 2006 international workshop on Automation of software test, стр. 2--8. New York, NY, USA, ACM, (2006)