T. Arai, and F. Stolzenburg. AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, page 11--18. New York, NY, USA, ACM Press, (2002)
S. Bernardi, S. Donatelli, and J. Merseguer. WOSP '02: Proceedings of the 3rd international workshop on Software and performance, page 35--45. New York, NY, USA, ACM Press, (2002)
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..
L. Bichler, A. Radermacher, and A. Schürr. Object-Oriented Real-Time Dependable Systems, 2002. (WORDS 2002). Proceedings of the Seventh International Workshop on, page 271--278. (2002)
L. Bichler, A. Radermacher, and A. Schürr. Object-Oriented Real-Time Dependable Systems, 2002. (WORDS 2002). Proceedings of the Seventh International Workshop on, page 271--278. (2002)