arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1909.05973cs.SEcs.DCcs.LO
收藏

使用XML验证检测建筑侵蚀

Detecting Architectural Erosion using Runtime Verification

Diego Marmsoler, Ana Petrovska

摘要:

系统的架构捕获系统的重要设计决策。随着时间的推移,系统实现中的更改可能会导致违反特定的设计决策。这个问题在工业中很常见,被称为建筑侵蚀。由于它可能会对系统的质量产生严重的后果,研究的重点是开发工具和技术来解决所提出的问题。到目前为止,大多数检测建筑侵蚀的方法都采用静态分析技术。虽然这些技术非常适合于分析静态架构,但当涉及到动态架构时,它们就达到了极限。因此,在本文中,我们提出了一种基于运行时验证的替代方法。为此,我们提出了一个系统的方法来翻译一个正式的规范的建筑约束的监视器,它可以用来检测违反这些约束。该方法是在Eclipse/EMF中实现的,通过一个运行的例子证明,并使用两个案例研究进行评估。

英文摘要:

The architecture of a system captures important design decisions for the system. Over time, changes in a system's implementation may lead to violations of specific design decisions. This problem is common in industry and known as architectural erosion. Since it may have severe consequences on the quality of a system, research has focused on the development of tools and techniques to address the presented problem. As of today, most of the approaches to detect architectural erosion employ static analysis techniques. While these techniques are well-suited for the analysis of static architectures, they reach their limit when it comes to dynamic architectures. Thus, in this paper, we propose an alternative approach based on runtime verification. To this end, we propose a systematic way to translate a formal specification of architectural constraints to monitors, which can be used to detect violations of these constraints. The approach is implemented in Eclipse/EMF, demonstrated through a running example, and evaluated using two case studies.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑