Model-based testing using LSCs and S2A

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5795 LNCS, Issue , 2009, Pages 301-306

  Maoz, Shahar ^a   Metsä, Jani ^b   Katara, Mika ^b  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^b TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EXPRESSIVE POWER; INDUSTRIAL CONTEXT; INDUSTRIAL SETTINGS; INTEGRATING MODEL; LIVE SEQUENCE CHART; MANUAL CODING; MODEL BASED TESTING; MODEL-BASED; MODEL-BASED TEST; PROTOTYPE TOOLS; TEST EXECUTION; TEST GENERATIONS; TESTING CODES; TRACE VISUALIZATION; VISUAL MODEL;

EMBEDDED SYSTEMS; FLOWCHARTING; INDUSTRIAL APPLICATIONS; INTEGRATION; LINGUISTICS; QUERY LANGUAGES; SPECIFICATIONS; TESTING;

MODELS;

EID: 77249144125     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_22     Document Type: Conference Paper

References (11)

1. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design 19(1), 45-80 (2001)
2. Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and Systems Modeling (SoSyM) 7(2), 237-252 (2008)
3. Harel, D., Kleinbort, A., Maoz, S.: S2A: A Compiler for Multi-Modal UML Sequence Diagrams, In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007, LNCS, vol, 4422, pp. 121-124, Springer, Heidelberg (2007)
4. Maoz, S.: Model-Based Traces. In: Chaudron, M.R.V. (ed.) Workshops and Symposia at MODELS 2008. LNCS, vol. 5421, pp. 109-119. Springer, Heidelberg (2009)
5. Maoz, S., Kleinbort, A., Harel, D.: Towards Trace Visualization and Exploration for Reactive Systems, In: VL/HCC 2007, pp. 153-156. IEEE Computer Society, Los Alamitos (2007)
6. Xu, G., Yang, Z., Huang, H., Chen, Q., Chen, L., Xu, F: JAOUT: Automated Generation of Aspect-Oriented Unit Test, In: APSEC 2004, pp. 374-381, IEEE Computer Society, Los Alamitos (2004)
7. IBM Rational: IBM Rational Software Architect homepage, http://www-01.ibm.com/software/awdtools/swarchltect/websphere (Cited March 2009)
8. Maoz, S., Harel, D.: From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ. In: SIGSOFT FSE 2006, pp. 219-230. ACM. New York (2006)
9. Harel, D., Marelly, R.: Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer, Heidelberg (2003)
10. AspectC++ team: AspectC++ home page, http://www.aspectc.org/
11. Maoz, S.: Tracer website, http://www.wisdom.weizmann.ac.11/-maozs/tracer/