N. Raza, A. Nadeem, and M. Iqbal. Quality Software, 2007. QSIC '07. Seventh International Conference on, (October 2007)ST: Vorgehensweise: Aus diesen Diagrammen sollen Testpfade für den Systemtest generiert werden. Die Diagramme sind mit Pre- und Postconditions durch OCL versehen. Aus diesen Diagrammen wird ein Zustandsautomat generiert. Nun können Abdeckungskriterien wie Zustandsüberdeckung oder Transitionsüberdeckung angewendet werden um Testpfade abzuleiten.
Eignung: Es können Testpfade für den Systemtest abgeleitet werden aber wie die Testdaten systematisch abgeleitet werden bleibt offen..
P. Murthy, P. Anitha, M. Mahesh, and R. Subramanyan. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, page 75--82. New York, NY, USA, ACM, (2006)
J. Hartmann, C. Imoberdorf, and M. Meisinger. ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, page 60--70. New York, NY, USA, ACM, (2000)MR: Es konzentriert sich auf dem Integrationstest. Es gibt aber sehr viele Parallelen zu den späteren Systemtest-Techniken von Hartmann et.al..
J. Offutt, and A. Abdurazik. UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings, 1723, page 416--429. Springer, (1999)MR: Die 'Transition Table' aus UML-Statechart-Werkzeugen wird eingelesen und entsprechend definierten Coverage-Criteria werden daraus Testfälle generiert. Ein weiterer Algo. kümmert sich um die Test Data indem die Werte generiert werden, die zum erreichen von bestimmten Zuständen notwendig sind.
Es gibt keine konkrete Aussage über erwartete Testergebnisse. Den Algorithmen kann man aber vorsichtig ableiten, dass mit Test Data auch die erwarteten Ergebnisse gemeint sind..
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..
T. Kishi, and N. Noda. Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), page 19--26. Boston, MA, (August 2004)ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert.
Testdaten ergeben sich aus den Transitionen.
Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen..
S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, and P. Zave. (May 2007)Model Management addresses the problem of managing
an evolving collection of models, by capturing the relationships
between models and providing well-defined operators
to manipulate them. In this paper, we describe two
such operators for manipulating hierarchical Statecharts:
Match, for finding correspondences between models, and
Merge, for combining models with respect to known correspondences
between them. Our Match operator is heuristic,
making use of both static and behavioural properties
of the models to improve the accuracy of matching. Our
Merge operator preserves the hierarchical structure of the
input models, and handles differences in behaviour through
parameterization. In this way, we automatically construct
merges that preserve the semantics of Statecharts models.
We illustrate and evaluate our work by applying our operators
to AT&T telecommunication features..
D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, page 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)