Instrumenting scenarios in a model-driven development environment ☆
作者： Wolfgang Grieskamp , Nikolai Tillmann , Margus Veanes
DOI: 10.1016/J.INFSOF.2004.07.007
关键词:
摘要: Abstract SpecExplorer is an integrated environment for model-driven development of .NET software. In this paper we discuss how scenarios can be described in SpecExplorer's modeling language, Spec#, and the tool used to validate those by various means.
unirioja.es
elsevier.com
sci-hub.se 参考文章(14)
Martin Glinz, An Integrated Formal Model of Scenarios Based on Statecharts european software engineering conference. pp. 254- 271 ,(1995) , 10.1007/3-540-60406-5_19
M. Broy, I. Kruger, Interaction interfaces-towards a scientific foundation of a methodological usage of message sequence charts international conference on formal engineering methods. pp. 2- 13 ,(1998) , 10.1109/ICFEM.1998.730565
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp, Optimal strategies for testing nondeterministic systems international symposium on software testing and analysis. ,vol. 29, pp. 55- 64 ,(2004) , 10.1145/1007512.1007520
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes, Generating finite state machines from abstract state machines ACM SIGSOFT Software Engineering Notes. ,vol. 27, pp. 112- 122 ,(2002) , 10.1145/566171.566190
W. Dulz, Fenhua Zhen, MaTeLo - statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3 international conference on quality software. pp. 336- 342 ,(2003) , 10.1109/QSIC.2003.1319119
Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy, From MSCs to statecharts DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems. pp. 61- 71 ,(1998) , 10.1007/978-0-387-35570-2_5
René G. de Vries, Jan Tretmans, On-the-Fly Conformance Testing using Spin International Journal on Software Tools for Technology Transfer. ,vol. 2, pp. 382- 393 ,(2000) , 10.1007/S100090050044
W. Grieskamp, M. Lepper, W. Schulte, N. Tillmann, Testable use cases in the Abstract State Machine Language asia pacific conference on quality software. pp. 167- 172 ,(2001) , 10.1109/APAQS.2001.990016
Ivar Jacobson, Object-Oriented Software Engineering: A Use Case Driven Approach ,(1992)
M. Barnett, W. Grieskamp, W. Schulte, N. Tillmann, M. Veanes, Validating use-cases with the AsmL test tool international conference on quality software. pp. 238- 246 ,(2003) , 10.1109/QSIC.2003.1319107