Instrumenting scenarios in a model-driven development environment

Information and Software Technology

Volumn 46, Issue 15, 2004, Pages 1027-1036

  Grieskamp, Wolfgang ^a   Tillmann, Nikolai ^a   Veanes, Margus ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Automated testing; Model driven development; Scenarios; Use cases; Validation; Verification

Indexed keywords

AUTOMATION; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FINITE AUTOMATA; SEMANTICS; USER INTERFACES;

AUTOMATED TESTING; MODEL-DRIVEN DEVELOPMENT; SCENARIOS; USE-CASES; VALIDATION; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 10644295766     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2004.07.007     Document Type: Article

References (13)

1. W. Grieskamp, M. Lepper, W. Schulte, N. Tillmann, Testable use cases in the abstract state machine language, in Proceedings of Second AsiaPacific Conference on Quality Software (APAQS'0l ). December, 2001.
2. W. Grieskamp, Y. Gurevich, W. Schulte, M. Veanes, Generating finite state machines from abstract state machines, ISSTA 02, Software Engineering Notes, ACM 27 (4) (2002) 112-122.
3. CTAS case study, http://www.doc.ic.ac.uk/-su2/SCESM/CS/.
4. L. Nachmanson, M. Veanes, W. Schulte, N. Tillmann, W. Grieskamp, Optimal Strategies for Testing Nondeterministic Systems, ISSTA'04, Boston, 2004.
5. M. Barnett, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, M. Veanes, Towards a tool environment for model-based testing with AsmL in: A. Petrenko, A. Ulrich (Eds.), Formal Approaches to Software Testing, FATES 2003, LNCS vol. 2931, Springer, Berlin, 2004, pp. 264-280.
6. M. Barnett, W. Grieskamp, W. Schulte, N. Tillmann, M. Veanes, Validating use-cases with the AsmL test tool, in Proceedings of Third International Conference On Quality Software (QSIC'03), IEEE, 2003.
7. I. Jacobson, M. Christerson, P. Jonsson, G. Overgaard, Object-Oriented Software Engineering-A Use Case Driven Approach, AddisonWesley, Reading, MA, 1992.
8. L.M.G. Feijs, N. Goga, S. Mauw, J. Tretmans, Test selection, trace distance, and heuristics, in Proceedings of IFIP 14th International Conference on Testing Communicating Systems (TestCom 2002), IEEE, Kluwer, Dordecht, 2002.
9. W. Dulz, F. Zhen, MaTeLo-statistical usage testing by annotated sequence diagrams, markov chains, and TTCN-3, In Proceedings of Third International Conference On Quality Software (QSIC'03), IEEE, 2003.
10. M. Glinz, An integrated formal method of scenarios based on statecharts. In Software Engineering-ESEC'95, Proceedings of the Fifth European Software Engineering Conference, Springer, Berlin, 1995.
11. M. Broy, I. Krueger, Interaction interfaces-towards a scientific foundation of a methodological usage of message sequence charts, In Formal Engineering Methods (ICFEM'98). IEEE, 1998.
12. I. Krueger, R. Grosu, P. Scholz, M. Broy, From MSCs to statecharts, in Distributed and parallel Embedded Systems, Kluwer, Dordecht, 1999.
13. R.G.d. Vries, J. Tretmans, On-the-fly conformance testing using Spin, Software Tools for Technology Transfer, vol. 2, 2000 pp. 382-393.