Simulated satisfaction of coverage criteria on UML state machines

ICST 2010 - 3rd International Conference on Software Testing, Verification and Validation

Volumn , Issue , 2010, Pages 117-126

  Weißleder, Stephan ^a  

^a FRAUNHOFER FIRST   (Germany)

Author keywords

Coverage criteria; Model transformations; Model based testing; UML state machines

Indexed keywords

AUTOMATIC TEST; CORRESPONDING RELATIONS; COVERAGE CRITERIA; FORMAL DEFINITION; MODEL BASED TESTING; MODEL ELEMENTS; MODEL TRANSFORMATION; MODEL-BASED TEST GENERATION; SATISFACTION RELATION; STATE MACHINE; TEST MODELS; UML STATE MACHINE;

COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTOUR FOLLOWERS; SOFTWARE TESTING; VERIFICATION;

COMPUTER SIMULATION;

EID: 77954527380     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2010.28     Document Type: Conference Paper

References (20)

1. M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., 2006.
2. C. J. Budnik, R. Subramanyan, and M. Vieira, "Peer-to-Peer Comparison of Model-Based Test Tools." in GI Jahrestagung (1), ser. LNI, vol. 133. GI, 2008, pp. 223-226.
3. Smartesting, "Test Designer," http://www.smartesting.com.
4. J.-M. Favre, "Meta-Model and Model Co-evolution within the 3D Software Space," cite-seer.ist.psu.edu/favre03metamodel.html, 2003.
5. Object Management Group, "Unified Modeling Language (UML), version 2.1," http://www.uml.org, 2007.
6. S. Weişleder, "Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation," in Models '09: 12th International Conference on Model Driven Engineering Languages and Systems, 2009.
7. S. Weişleder, "Semantic-Preserving Test Model Transformations for Interchangeable Coverage Criteria," in MBEES'09: Model-Based Development of Embedded Systems, April 2009.
8. J. J. Chilenski and S. P. Miller, "Applicability of Modified Condition/Decision Coverage to Software Testing," in Software Engineering Journal, 1994.
9. M. Friske and B.-H. Schlingloff, "Improving Test Coverage for UML State Machines Using Transition Instrumentation." in SAFECOMP'07, ser. LNCS, vol. 4680. Springer, 2007, pp. 301-314.
10. S. Ranville, "MCDC Test Vectors From Matlab Models - Automatically," in Embedded Systems Conference, San Francisco, USA, 2003.
11. A. Rajan, M. W. Whalen, and M. P. E. Heimdahl, "The Effect of Program and Model Structure on MC/DC Test Adequacy Coverage," in ICSE'08. New York, NY, USA: ACM, 2008, pp. 161-170.
12. V. Santiago, N. L. Vijaykumar, D. Guimar aes, A. S. Amaral, and E. Ferreira, "An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models," in ICSTW'08: Proceedings of the 2008 ICST Workshop. IEEE, 2008.
13. M. Harman, L. Hu, R. Hierons, J. Wegener, H. Sthamer, A. Baresel, and M. Roper, "Testability Transformation," IEEE Transactions on Software Engineering, vol. 30, no. 1, 2004.
14. IBM (Telelogic), "Rhapsody Automated Test Generation," http://www.telelogic.com/products/rhapsody.
15. IBM (Telelogic) I-Logix, Rhapsody Automatic Test Generator, Release 2.3, User Guide, 2004.
16. J. M. Küster, "Definition and Validation of Model Transformations," Software and Systems Modeling, vol. V5, no. 3, pp. 233-259, 2006.
17. K. Czarnecki and S. Helsen, "Classification of Model Transformation Approaches," in OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture, 2003.
18. J. Wang, S.-K. Kim, and D. Carrington, "Verifying Meta-model Coverage of Model Transformations," in ASWEC'06. IEEE Computer Society, 2006, pp. 270-282.
19. Object Management Group, "Object Constraint Language (OCL), version 2.0," http://www.uml.org, 2005.
20. S. Weişleder, "Coverage Simulator (Transforming test models to simulate coverage criteria)," http://covsim.sourceforge.net.