Composition of model-based test coverage criteria

Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, MBEES 2008

Volumn , Issue , 2008, Pages 87-94

  Friske, Mario ^a   Schlingloff, Bernd Holger ^a   Weißleder, Stephan ^a  

^a FRAUNHOFER FIRST   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COVERAGE CRITERIA; FLEXIBLE INTEGRATION; GENERIC FRAMEWORKS; MODEL BASED TESTING; MODEL-BASED TEST; TEST COVERAGE CRITERIA; TEST GENERATIONS;

EMBEDDED SYSTEMS;

EID: 78649790891     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. R. V. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Object Technology Series. Addison-Wesley, 1999.
2. Eclipse Foundation. Eclipse. http://www.eclipse.org/.
3. M. Friske and B.-H. Schlingloff. Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven. In Holger Giese, Bernhard Rumpe, and Bernhard Schatz, editors, "Modellbasierte Entwicklung eingebetteter Systeme II" (MBEES), pages 27-33. Technische Universitat Braunschweig, 2006.
4. P. G. Frankl and E. J. Weyuker. A Formal Analysis of the Fault-Detecting Ability of Testing Methods. IEEE Transactions on Software Engineering, 19(3):202-213, 1993.
5. I-Logix. Rhapsody Automatic Test Generator, Release 2.3, User Guide, 2004.
6. N. Kosmatov, B. Legeard, F. Peureux, and M. Utting. Boundary Coverage Criteria for Test Generation from Formal Models. In ISSRE '04: Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE'04), pages 139-150, Washington, DC, USA, 2004. IEEE Computer Society.
7. P. Liggesmeyer. Software-Qualitat: Testen, Analysieren und Verifizieren von Software. Spektrum Akadamischer Verlag, 2002.
8. G. J. Myers. The Art of Software Testing. John Wiley & Sons, Inc., 1979.
9. S. C. Ntafos. A Comparison of Some Structural Testing Strategies. IEEE Transactions on Software Engineering, 14(6):868-874, 1988.
10. Object Management Group. OCL 2.0 Specification, version 2.0 (formal/06-05-01), 2006.
11. Object Management Group. OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2 (formal/07-11-02), 2007.
12. A. Pretschner, W. Prenninger, S. Wagner, C. Kuhnel, M. Baumgartner, B. Sostawa, R. Zolch, and T. Stauner. One evaluation of model-based testing and its automation. In ICSE '05: Proceedings of the 27th international conference on Software engineering, pages 392-401, New York, NY, USA, 2005. ACM.
13. A. Petrenko, G. v. Bochmann, and M. Yao. On fault coverage of tests for finite state specifications. Computer Networks and ISDN Systems, 29(1):81-106, 1996.
14. I. Sommerville. Software Engineering. Addison-Wesley, 7th edition, 2007.
15. S. Weißleder and B.-H. Schlingloff. Quality of Automatically Generated Test Cases based on OCL Expressions. http://www.cs.colostate.edu/ icst2008/, April 2008.
16. H. Zhu. A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria. IEEE Transactions on Software Engineering, 22(4):248-255, 1996.