Testing scenario-based models

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

Volumn 4422 LNCS, Issue , 2007, Pages 306-320

  Kugler, Hillel ^a   Stern, Michael J ^b   Hubbard, E Jane Albert ^a  

^a NEW YORK UNIVERSITY   (United States)

^b YALE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; PROJECT MANAGEMENT; SOFTWARE ENGINEERING;

PLAY-ENGINE; SYSTEM DEVELOPMENT; TESTING SCENARIO-BASED MODELS;

SOFTWARE TESTING;

EID: 37149040242     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71289-3_24     Document Type: Conference Paper

References (24)

1. D. Amyot and A. Eberlein. An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. Telecommunications Systems Journal, 24(1):61-94, 2003.
2. M. Barnett, W. Grieskamp, Y. Gurevich, W. Schulte, N. Tillmann, and M. Veanes. Scenario-Oriented Modeling in AsmL and its Instrumentation for Testing. In Proc. 2nd Int. Workshop on Scenarios and State Machines (SCESM'03), 2003.
3. M. Barnett, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes. Towards a Tool Environment for Model-Based Testing with AsmL. In Proc. 3rd Int. Workshop on Formal Approaches to Software Testing (FATES '03), volume 2931 of Led. Notes in Comp. Sci., pages 252-266. Springer-Verlag, 2004.
4. P. Combes, D. Harel, and H. Kugler. Modeling and Verification of a Telecommunication Application using Live Sequence Charts and the Play-Engine Tool. In Proc. 3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), volume 3707 of Led. Notes in Comp. Sci., pages 414-428. Springer-Verlag, 2005.
5. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1):45-80, 2001. Preliminary version appeared in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99).
6. M. Ebner. TTCN-3 Test Case Generation from Message Sequence Charts,. In Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04-.WITUL), 2004.
7. L. Geiger and A. Zündorf. Story driven testing - SDT. In Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools (SCESM '05), pages 1-6. ACM Press, 2005.
8. th Intl. Conference on Formal Methods in Computer-Aided Design (FMCAD'02), Portland, Oregon, volume 2517 of Lect. Notes in Comp. Sci., pages 378-398, 2002. Also available as Tech. Report MCS02-08, The Weizmann Institute of Science.
9. D. Harel, H. Kugler, and G. Weiss. Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. In Proc. Scenarios: Models, Algorithms and Tools, volume 3466 of Lect. Notes in Comp. Sci., pages 26-42. Springer-Verlag, 2005.
10. D. Harel and R. Marelly. Playing with time: On the specification and execution of time-enriched LSCs. In Proc. 10th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'02), Fort Worth, Texas, 2002.
11. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003.
12. D. Harel and R. Marelly. Specifying and Executing Behavioral Requirements: The Play In/Play-Out Approach. Software and System Modeling (SoSyM), 2(2):82-107, 2003.
13. A. Hartman and K. Nagin. The AGEDIS tools for model based testing. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis (ISSTA'04), pages 129-132. ACM Press, 2004.
14. Rhapsody, http://www.ilogix.com/, 2006.
15. N. Kam. Formal Modeling of C. elegans Vulval Development: A Scenario-Based Approach. PhD thesis, Weizmann Institute, 2006.
16. N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E.J.A. Hubbard, and M.J. Stern. Formal Modeling of C elegans Development: A Scenario-Based Approach. In Corrado Priami, editor, Proc. Int. Workshop on Computational Methods in Systems Biology (CMSB 2003), volume 2602 of Led. Notes in Comp. Sei., pages 4-20. Springer-Verlag, 2003. Extended version appeared in Modeling in Molecular Biology, G.Ciobanu (Ed.), Natural Computing Series, Springer, 2004.
17. N. Kam, H. Kugler, L. Appleby, A. Pnueli, D. Harel, M.J. Stern, and E.J.A. Hubbard. Hypothesis Testing and Biological Insights from Scenario-Based Modeling of Development. Technical report, 2006.
18. M. Lettrari and J. Klose. Scenario-based monitoring and testing of real-time UML models. In 4th Int. Conf. on the Unified Modeling Language, Toronto, October 2001.
19. S. Leue and T. Systä. Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers. In Scenarios: Models, Transformations and Tools, volume 3466 of Lect. Notes in Comp. Sci. Springer-Verlag, 2005.
20. R. Marelly, D. Harel, and H. Kugler. Multiple instances and symbolic variables in executable sequence charts. In Proc. 17th Ann. ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '02), pages 83-100, Seattle, WA, 2002.
21. OMEGA - Correct Development of Real-Time Embedded Systems. http://www-omega.imag.fr/.
22. S. Uchitel, J. Kramer, and J. Magee. Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Software Engin. Methods, 13(1):37-85, 2004.
23. UML. Documentation of the unified modeling language (UML), 2006. Available from the Object Management Group (OMG), http://www.omg.org.
24. Z. 120 ITU-TS Recommendation Z. 120: Message Sequence Chart (MSC). ITU-TS, Geneva, 1996.