{"title":"面向UML PSSM测试套件的测试","authors":"Márton Elekes, Zoltán Micskei","doi":"10.1109/ladc53747.2021.9672570","DOIUrl":null,"url":null,"abstract":"In model-based engineering approaches, models are executable artefacts used for simulation, generation and verification. The Executable UML specifications enriched the well-known UML language with precisely defined semantics. The Precise Semantics of UML State Machines (PSSM) specification defined an operational semantics for state machines. Moreover, the specification contains a detailed test suite that illustrates the semantics and can be used to check the conformance of model execution tools. However, as the test suite itself is a complex engineering effort, it could contain errors. To the best of our knowledge, this is the first paper to test and verify the PSSM test suite. We report on typical errors and issues found by reviewing the specification and executing it in one of the supporting tools. Finally, we collect recommendations for such test suites that could enhance future modelling language specifications.","PeriodicalId":376642,"journal":{"name":"2021 10th Latin-American Symposium on Dependable Computing (LADC)","volume":"112 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Towards Testing the UML PSSM Test Suite\",\"authors\":\"Márton Elekes, Zoltán Micskei\",\"doi\":\"10.1109/ladc53747.2021.9672570\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In model-based engineering approaches, models are executable artefacts used for simulation, generation and verification. The Executable UML specifications enriched the well-known UML language with precisely defined semantics. The Precise Semantics of UML State Machines (PSSM) specification defined an operational semantics for state machines. Moreover, the specification contains a detailed test suite that illustrates the semantics and can be used to check the conformance of model execution tools. However, as the test suite itself is a complex engineering effort, it could contain errors. To the best of our knowledge, this is the first paper to test and verify the PSSM test suite. We report on typical errors and issues found by reviewing the specification and executing it in one of the supporting tools. Finally, we collect recommendations for such test suites that could enhance future modelling language specifications.\",\"PeriodicalId\":376642,\"journal\":{\"name\":\"2021 10th Latin-American Symposium on Dependable Computing (LADC)\",\"volume\":\"112 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2021 10th Latin-American Symposium on Dependable Computing (LADC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ladc53747.2021.9672570\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 10th Latin-American Symposium on Dependable Computing (LADC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ladc53747.2021.9672570","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
In model-based engineering approaches, models are executable artefacts used for simulation, generation and verification. The Executable UML specifications enriched the well-known UML language with precisely defined semantics. The Precise Semantics of UML State Machines (PSSM) specification defined an operational semantics for state machines. Moreover, the specification contains a detailed test suite that illustrates the semantics and can be used to check the conformance of model execution tools. However, as the test suite itself is a complex engineering effort, it could contain errors. To the best of our knowledge, this is the first paper to test and verify the PSSM test suite. We report on typical errors and issues found by reviewing the specification and executing it in one of the supporting tools. Finally, we collect recommendations for such test suites that could enhance future modelling language specifications.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
