{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T04:36:36Z","timestamp":1760243796112,"version":"build-2065373602"},"reference-count":18,"publisher":"MDPI AG","issue":"4","license":[{"start":{"date-parts":[[2012,11,26]],"date-time":"2012-11-26T00:00:00Z","timestamp":1353888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Internet"],"abstract":"<jats:p>The growing complexities of software and the demand for shorter time to market are two important challenges that face today\u2019s IT industry. These challenges demand the increase of both productivity and quality of software. Model-based testing is a promising technique for meeting these challenges. Traceability modeling is a key issue and challenge in model-based testing. Relationships between the different models will help to navigate from one model to another, and trace back to the respective requirements and the design model when the test fails. In this paper, we present an approach for bridging the gaps between the different models in model-based testing. We propose relation definition markup language (RDML) for defining the relationships between models.<\/jats:p>","DOI":"10.3390\/fi4041026","type":"journal-article","created":{"date-parts":[[2012,11,26]],"date-time":"2012-11-26T11:24:24Z","timestamp":1353929064000},"page":"1026-1036","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Traceability in Model-Based Testing"],"prefix":"10.3390","volume":"4","author":[{"given":"Mathew","family":"George","sequence":"first","affiliation":[{"name":"Aida Institute of Applied Informatics Darmstadt, University of Applied Sciences Darmstadt, Haardtring 100, 64295 Darmstadt, Germany"},{"name":"Center for Security, Communications, and Network Research, University of Plymouth, Plymouth, PL4 8AA, UK"}]},{"given":"Klaus-Peter","family":"Fischer-Hellmann","sequence":"additional","affiliation":[{"name":"Aida Institute of Applied Informatics Darmstadt, University of Applied Sciences Darmstadt, Haardtring 100, 64295 Darmstadt, Germany"},{"name":"Digamma Communications Consulting GmbH, Karlstr. 25, 64367 M\u00fchltal, Germany"}]},{"given":"Martin","family":"Knahl","sequence":"additional","affiliation":[{"name":"Furtwangen University of Applied Sciences, Gerwigstra\u00dfe 1, 78120 Furtwangen, Germany"}]},{"given":"Udo","family":"Bleimann","sequence":"additional","affiliation":[{"name":"Aida Institute of Applied Informatics Darmstadt, University of Applied Sciences Darmstadt, Haardtring 100, 64295 Darmstadt, Germany"}]},{"given":"Shirley","family":"Atkinson","sequence":"additional","affiliation":[{"name":"Center for Security, Communications, and Network Research, University of Plymouth, Plymouth, PL4 8AA, UK"}]}],"member":"1968","published-online":{"date-parts":[[2012,11,26]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Bertolino, A. (2007, January 23\u201325). Software testing research: Achievements, challenges, dreams. Proceedings of Future of Software Engineering (FOSE 07), Minneapolis, MN, USA.","DOI":"10.1109\/FOSE.2007.25"},{"key":"ref_2","unstructured":"Willcock, D. Available online:http:\/\/www.model-based-testing.de\/mbtuc11\/presentations\/Keynote_Willcock_NSN_MBTUC2011.pdf."},{"key":"ref_3","unstructured":"Utting, M., Pretchner, A., and Legeard, B. (2006). A Taxonomy of Model-Based Testing, a White Paper; Technical Report 04\/2006, Department of Computer Science, University of Waikato."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N. Leaton, Lott, C.M., Patton, G.C., and Horowitz, B.M. (1999, January 16\u201319). Model-based testing in practice. Proceedings of 21st International Conference on Software Engineering, Kaiserslautern, Germany.","DOI":"10.1145\/302405.302640"},{"key":"ref_5","unstructured":"(1999). IEEE Standard Glossary of Software Engineering Terminology; IEEE Standard 610-1990, IEEE (The Institute of Electrical and Electronics Engineers)."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/32.895989","article-title":"Toward reference models for requirements traceability","volume":"27","author":"Ramesh","year":"2001","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_7","unstructured":"Gotel, O., and Finkelstein, A. (1994, January 18\u201324). An analysis of the requirements traceability problem. Proceedings of the IEEE International Conference on Requirements Engineering (ICRE), Colorado Springs, CO, USA."},{"key":"ref_8","unstructured":"Murray, L.M., Griffiths, A., Lindsay, P.A., and Strooper, P.A. (2002, January 4\u20136). Requirements traceability for embedded software\u2014An industry experience report. Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, Cambridge, MA, USA."},{"key":"ref_9","first-page":"77","article-title":"Model-based testing: A new paradigm for manual and automated functional testing","volume":"9","author":"Legeard","year":"2010","journal-title":"Test. Exp. Mag."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Bashir, M.F., and Qadir, M.A. (2006, January 23\u201324). Traceability techniques: A critical study. Proceedings of IEEE Multitopic Conference (INMIC \u201906), Islamabad, Pakistan.","DOI":"10.1109\/INMIC.2006.358175"},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Oliveto, R. (2008, January 1\u20134). Traceability management meets information retrieval methods\u2014Strengths and limitations. Proceedings of 12th European Conference on Software Maintenance and Reengineering, Athens, Greece.","DOI":"10.1109\/CSMR.2008.4493332"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/MS.2002.1003459","article-title":"Tracing all around in reengineering","volume":"19","author":"Ebner","year":"2002","journal-title":"IEEE Softw."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Bouquet, F., Jaffuel, E., Legeard, B., Peureux, F., and Utting, M. (2005, January 15\u201316). Requirements traceability in automated test generation\u2014Application to smart card software validation. Proceedings of the 1st International Workshop on Advances in Model-Based Testing (A-MOST 05), New York, NY, USA.","DOI":"10.1145\/1083274.1083282"},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Abbors, F., Backlund, A., and Truscan, D. (2010, January 22\u201326). MATERA\u2014An integrated framework for model-based testing. Proceedings of 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS), Oxford, UK.","DOI":"10.1109\/ECBS.2010.46"},{"key":"ref_15","unstructured":"Smarttesting Tool. Available online:http:\/\/www.smartesting.com."},{"key":"ref_16","unstructured":"George, M., Fischer, K.P., Knahl, M.H., Bleimann, U., and Atkinson, S. (2011). RDML Definition; Internal Report, Aida Institute of Applied Informatics Darmstadt."},{"key":"ref_17","unstructured":"Sutcliffe, A. (2003, January 8\u201312). Scenario-based requirements engineering. Proceedings of 11th IEEE International Requirements Engineering Conference, Monterey Bay, CA, USA."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"1156","DOI":"10.1109\/32.738344","article-title":"Requirements development in scenario-based design","volume":"24","author":"Carroll","year":"1998","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Future Internet"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1999-5903\/4\/4\/1026\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T21:53:49Z","timestamp":1760219629000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1999-5903\/4\/4\/1026"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,26]]},"references-count":18,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,12]]}},"alternative-id":["fi4041026"],"URL":"https:\/\/doi.org\/10.3390\/fi4041026","relation":{},"ISSN":["1999-5903"],"issn-type":[{"type":"electronic","value":"1999-5903"}],"subject":[],"published":{"date-parts":[[2012,11,26]]}}}