LEADER 01038nam a22002531i 4500 001 991000359699707536 005 20031212204748.0 008 040204s1987 it |||||||||||||||||ita 035 $ab12604719-39ule_inst 035 $aARCHE-061192$9ExL 040 $aDip. SSC$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a372.13 100 1 $aGhiselli, Serafino$0469083 245 10$aDidattica del lessico e del significato secondo i nuovi programmi della scuola elementare /$cSerafino Ghiselli 260 $aBrescia :$bLa Scuola,$c1987 300 $a219 p. ;$c21 cm 440 0$aDidattica oggi 650 4$aLinguaggio$xInsegnamento$xScuola elementare 907 $a.b12604719$b02-04-14$c12-02-04 912 $a991000359699707536 945 $aLE021 DI3F7$g1$iLE021N-3032$lle021$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13086078$z12-02-04 996 $aDidattica del lessico e del significato secondo i nuovi programmi della scuola elementare$9278717 997 $aUNISALENTO 998 $ale021$b12-02-04$cm$da $e-$fita$git $h0$i1 LEADER 02631oam 2200457zu 450 001 9910139107603321 005 20241212215904.0 010 $a9781424464364 010 $a1424464366 035 $a(CKB)2560000000009683 035 $a(SSID)ssj0000452581 035 $a(PQKBManifestationID)12157802 035 $a(PQKBTitleCode)TC0000452581 035 $a(PQKBWorkID)10485810 035 $a(PQKB)10462082 035 $a(NjHacI)992560000000009683 035 $a(EXLCZ)992560000000009683 100 $a20160829d2010 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$a2010 3rd IEEE International Conference on Software Testing, Verification and Validation 210 31$a[Place of publication not identified]$cIEEE$d2010 215 $a1 online resource 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780769539904 311 08$a0769539904 311 08$a9781424464357 311 08$a1424464358 330 $aUML 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. 606 $aComputer software$xTesting$vCongresses 615 0$aComputer software$xTesting 676 $a005.14 702 $aIEEE Staff 801 0$bPQKB 906 $aPROCEEDING 912 $a9910139107603321 996 $a2010 3rd IEEE International Conference on Software Testing, Verification and Validation$92344043 997 $aUNINA