{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:10Z","timestamp":1750307470553,"version":"3.41.0"},"reference-count":18,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T00:00:00Z","timestamp":1295827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2011,1,24]]},"abstract":"<jats:p>The work introduced in this paper is in line with an original Model-Based Testing approach by taking as input a SysML specification of a system under test and automatically translating it into an equivalent behavioural UML model. This generated UML model is finally used to derive test cases and executable test scripts. This test generation process is supported by an existing UML\/OCL Model-Based Test generation tool. This paper focuses on the definition of the subset of SysML notation supported by this Model-Based Testing approach, and proposes rewriting rules to derive UML test model from SysML model<\/jats:p>","DOI":"10.1145\/1921532.1921560","type":"journal-article","created":{"date-parts":[[2011,3,17]],"date-time":"2011-03-17T12:40:16Z","timestamp":1300365616000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["SysML to UML model transformation for test generation purpose"],"prefix":"10.1145","volume":"36","author":[{"given":"Jonathan","family":"Lasalle","sequence":"first","affiliation":[{"name":"Laboratoire d'Informatique de l'Universit\u00e9 de Franche-Comt\u00e9, Besan\u00e7on, France"}]},{"given":"Fabrice","family":"Bouquet","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique de l'Universit\u00e9 de Franche-Comt\u00e9, Besan\u00e7on, France &amp; Smartesting, Besan\u00e7on, France"}]},{"given":"Bruno","family":"Legeard","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique de l'Universit\u00e9 de Franche-Comt\u00e9, Besan\u00e7on, France &amp; Smartesting, Besan\u00e7on, France"}]},{"given":"Fabien","family":"Peureux","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique de l'Universit\u00e9 de Franche-Comt\u00e9, Besan\u00e7on, France &amp; Smartesting, Besan\u00e7on, France"}]}],"member":"320","published-online":{"date-parts":[[2011,1,24]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1656485.1656487"},{"key":"e_1_2_1_2_1","first-page":"223","volume-title":"Proceedings of the International Workshop on Model-based Testing (MBT'2006)","volume":"94","author":"Bernard E.","year":"2006","unstructured":"E. Bernard , F. Bouquet , A. Charbonnier , B. Legeard , F. Peureux , M. Utting , and E. Torreborre . Model-based testing from UML models . In Proceedings of the International Workshop on Model-based Testing (MBT'2006) , volume 94 of LNCS, pages 223 -- 230 , Dresden, Germany , October 2006 . Springer Verlag. E. Bernard, F. Bouquet, A. Charbonnier, B. Legeard, F. Peureux, M. Utting, and E. Torreborre. Model-based testing from UML models. In Proceedings of the International Workshop on Model-based Testing (MBT'2006), volume 94 of LNCS, pages 223--230, Dresden, Germany, October 2006. Springer Verlag."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291535.1291545"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370042.1370052"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647535.729387"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the International Conference on DAta Systems In Aerospace (DASIA'09)","author":"Faria J.M.","year":"2009","unstructured":"J.M. Faria , S. Mahomad , and N. Silva . Tactical results from the application of model checking and test generation from uml\/sysml model of on-board space applications . In Proceedings of the International Conference on DAta Systems In Aerospace (DASIA'09) , Istanbul, Turkey , May 2009 . ESA Press. ESA SP-669. J.M. Faria, S. Mahomad, and N. Silva. Tactical results from the application of model checking and test generation from uml\/sysml model of on-board space applications. In Proceedings of the International Conference on DAta Systems In Aerospace (DASIA'09), Istanbul, Turkey, May 2009. ESA Press. ESA SP-669."},{"key":"e_1_2_1_8_1","volume-title":"A Practical Guide to SysML: The Systems Modeling Language","author":"Friedenthal S.","year":"2009","unstructured":"S. Friedenthal , A. Moore , and R. Steiner . A Practical Guide to SysML: The Systems Modeling Language . Morgan Kaufmann OMG Press , 2009 . ISBN 978 0 12 374379 4. S. Friedenthal, A. Moore, and R. Steiner. A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann OMG Press, 2009. ISBN 978 0 12 374379 4."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11663430_14"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62964"},{"key":"e_1_2_1_11_1","volume-title":"SINTEF Information and Communication Technology","author":"Oldevik J.","year":"2004","unstructured":"J. Oldevik . UMT : UML Model Transformation Tool . SINTEF Information and Communication Technology , Oslo, Norway , March 2004 . http:\/\/umt-qvt.sourceforge.net\/. J. Oldevik. UMT: UML Model Transformation Tool. SINTEF Information and Communication Technology, Oslo, Norway, March 2004. http:\/\/umt-qvt.sourceforge.net\/."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/857174.857305"},{"key":"e_1_2_1_13_1","volume-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh J.","year":"2004","unstructured":"J. Rumbaugh , I. Jacobson , and G. Booch . The Unified Modeling Language Reference Manual . Addison-Wesley , 2 th edition, 2004 . ISBN 0 321 24562 8. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 2th edition, 2004. ISBN 0 321 24562 8.","edition":"2"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231150"},{"volume-title":"http:\/\/www.smartesting.com","year":"2009","key":"e_1_2_1_15_1","unstructured":"The Smartesting web site. http:\/\/www.smartesting.com , 2009 . The Smartesting web site. http:\/\/www.smartesting.com, 2009."},{"key":"e_1_2_1_16_1","volume-title":"Practical Model-Based Testing - A tools approach","author":"Utting M.","year":"2006","unstructured":"M. Utting and B. Legeard . Practical Model-Based Testing - A tools approach . Elsevier Science , 2006 . ISBN 0 12 372501 1. M. Utting and B. Legeard. Practical Model-Based Testing - A tools approach. Elsevier Science, 2006. ISBN 0 12 372501 1."},{"key":"e_1_2_1_17_1","volume-title":"http:\/\/lifc.univ-fcomte.fr\/VETESS\/","author":"TESS","year":"2010","unstructured":"The VE TESS web site. http:\/\/lifc.univ-fcomte.fr\/VETESS\/ , 2010 . The VETESS web site. http:\/\/lifc.univ-fcomte.fr\/VETESS\/, 2010."},{"key":"e_1_2_1_18_1","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"Warmer J.","year":"1996","unstructured":"J. Warmer and A. Kleppe . The Object Constraint Language: Precise Modeling with UML . Addison-Wesley , 1996 . ISBN 0 201 37940 6. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1996. ISBN 0 201 37940 6."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.06.012"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1921532.1921560","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1921532.1921560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:41Z","timestamp":1750248521000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1921532.1921560"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,24]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,1,24]]}},"alternative-id":["10.1145\/1921532.1921560"],"URL":"https:\/\/doi.org\/10.1145\/1921532.1921560","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2011,1,24]]},"assertion":[{"value":"2011-01-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}