Runtime verification of state machines and defect localization applying model-based testing

Mehrdad Saadatmand, Detlef Scholle, C. W. Leung, Sebastian Ullström, J. Larsson
{"title":"Runtime verification of state machines and defect localization applying model-based testing","authors":"Mehrdad Saadatmand, Detlef Scholle, C. W. Leung, Sebastian Ullström, J. Larsson","doi":"10.1145/2578128.2578234","DOIUrl":null,"url":null,"abstract":"In this paper we introduce a method for runtime verification of the behavior of a system against state machines models in order to identify inconsistencies between the two. This is achieved by tracking states and transitions at runtime and comparing with the expected behavior of the system captured in the form of state machine models. The goal is to increase our confidence that the order of states at runtime matches what is specified by the models. The method also provides for defect localization by identifying that in the transition between which states a deviation from the expected behavior has occurred. The necessity and importance of the method lies in the fact that in model-based development, models are also used to perform analysis. Therefore, if there is any discrepancy between the behavior of the system at runtime and the models, then the result of model-based analyses which are performed may also be invalid and not applicable for the system anymore. For this purpose, in our method we create executable test cases from state machine models to test the runtime behavior of the system.","PeriodicalId":405927,"journal":{"name":"WICSA '14 Companion","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"WICSA '14 Companion","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2578128.2578234","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 9

Abstract

In this paper we introduce a method for runtime verification of the behavior of a system against state machines models in order to identify inconsistencies between the two. This is achieved by tracking states and transitions at runtime and comparing with the expected behavior of the system captured in the form of state machine models. The goal is to increase our confidence that the order of states at runtime matches what is specified by the models. The method also provides for defect localization by identifying that in the transition between which states a deviation from the expected behavior has occurred. The necessity and importance of the method lies in the fact that in model-based development, models are also used to perform analysis. Therefore, if there is any discrepancy between the behavior of the system at runtime and the models, then the result of model-based analyses which are performed may also be invalid and not applicable for the system anymore. For this purpose, in our method we create executable test cases from state machine models to test the runtime behavior of the system.
使用基于模型的测试进行状态机的运行时验证和缺陷定位
在本文中,我们介绍了一种针对状态机模型对系统行为进行运行时验证的方法,以便识别两者之间的不一致性。这是通过在运行时跟踪状态和转换,并与以状态机模型的形式捕获的系统的预期行为进行比较来实现的。目标是增加我们对运行时状态顺序与模型指定的顺序相匹配的信心。该方法还通过识别在状态之间的转换中出现了与预期行为的偏差,从而提供缺陷定位。该方法的必要性和重要性在于,在基于模型的开发中,模型也用于执行分析。因此,如果系统在运行时的行为与模型之间存在任何差异,那么所执行的基于模型的分析的结果也可能是无效的,并且不再适用于系统。为此目的,在我们的方法中,我们从状态机模型中创建可执行的测试用例来测试系统的运行时行为。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信