.png){kind=icon}
返回
EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles
.png){kind=icon}
PRE
AI
DOI：10.1016/j.asoc.2016.06.039.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Software architectural style is one of the best concepts to define a family of related architectures and their common properties. Despite the essential role of software architectures in the software engineering practice, the lack of formal description and analysis may hamper the quality of designed models. Hence, using proper formal languages seems necessary for architectural style description. In this case, it is possible to use model checking to verify the designed models automatically. However, the model checking of complex software systems suffers from the state space explosion problem. To handle this problem, data mining techniques may contribute to obtain the required knowledge for intelligent model checking i.e. searching only a portion of the state space. In this paper, to check the model of complex software systems which are designed according to an architectural style, an efficient approach is proposed using data mining techniques. These software systems must be specified through architectural styles and modeled by Graph Transformation Systems (GTS) formally. In the proposed approach, to check a large model based on a specific style intelligently, a specific knowledge is required. Such knowledge is acquired from mining the data of checking a smaller model consistent with the same style. These smaller models can be designed either by the designers or can be automatically generated consistent with the style. The proposed solution can be used to verify the reachability property and to refute the safety and liveness properties. This solution is implemented in GROOVE, a toolset for designing and model checking of graph transformation systems. The experimental results show that our method is faster and more accurate in comparison with the existing techniques in model checking of complex software systems. (C) 2016 Elsevier B.V. All rights reserved.
Keyword:
Architectural styles
Model checking
State space explosion
Graph transformation system
Data mining
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
6.6
论文数:
1.4W
被引数:
4.8W
机构
引用论文
Alaska Mountain Wilderness Ski Classic: Alterations in Caloric Expenditure and Body Composition
PREAI
分享收藏Load Dependency of Postural Control - Kinematic and Neuromuscular Changes in Response to over and under Load Conditions.png)
PLOS ONE
OAAI
PLOS ONEIF0
OAAI分享收藏
查看更多内容