02631oam 2200457zu 450 991013910760332120241212215904.097814244643641424464366(CKB)2560000000009683(SSID)ssj0000452581(PQKBManifestationID)12157802(PQKBTitleCode)TC0000452581(PQKBWorkID)10485810(PQKB)10462082(NjHacI)992560000000009683(EXLCZ)99256000000000968320160829d2010 uy engur|||||||||||txtccr2010 3rd IEEE International Conference on Software Testing, Verification and Validation[Place of publication not identified]IEEE20101 online resourceBibliographic Level Mode of Issuance: Monograph9780769539904 0769539904 9781424464357 1424464358 UML state machines are widely used as test models in model-based testing. Coverage criteria are applied to them, e.g. to measure a test suite's coverage of the state machine or to steer automatic test suite generation based on the state machine. The model elements to cover as described by the applied coverage criterion depend on the structure of the state machine. Model transformations can be used to change this structure. In this paper, we present semantic-preserving state machine transformations that are used to influence the result of the applied coverage criteria. The contribution is that almost every feasible coverage criterion that is applied to the transformed state machine can have at least the same effect as any other feasible, possibly stronger coverage criterion that is applied to the original state machine. We introduce simulated satisfaction as a corresponding relation between coverage criteria. We provide formal definitions for coverage criteria and use them to prove the correctness of the model transformations that substantiate the simulated satisfaction relations. The results of this paper are especially important for model-based test generation tools, which are often limited to satisfy a restricted set of coverage criteria.Computer softwareTestingCongressesComputer softwareTesting005.14IEEE StaffPQKBPROCEEDING99101391076033212010 3rd IEEE International Conference on Software Testing, Verification and Validation2344043UNINA