In this paper, we introduce I3DE (Inconsistency Inspecting IDE) - an IDE plugin to inspect inconsistencies in PL/SQL code. We first observed the potential issues, e.g., misuses or bugs, that are introduced by the inconsistent understanding of PL/SQL semantics by PL/SQL programmers and DBMS developers, and propose a metamorphic testing-based approach for inspecting such inconsistencies in PL/SQL code. We design and implement our approach in I3DE, a widely usable plugin for the IntelliJ Platform. We conducted a comparative user study involving 16 participants, and the findings indicate that I3DE is consistently effective and efficient in helping programmers identify and avoid inconsistencies across different programming difficulties
翻译:本文介绍了I3DE(不一致性检测IDE)——一种用于检测PL/SQL代码中不一致性的IDE插件。我们首先观察到由PL/SQL程序员与数据库管理系统开发者对PL/SQL语义理解不一致所引入的潜在问题(例如误用或缺陷),并提出了一种基于蜕变测试的方法来检测PL/SQL代码中的此类不一致性。我们在I3DE中设计并实现了该方法,该插件可广泛适用于IntelliJ平台。我们开展了一项涉及16名参与者的对比用户研究,结果表明I3DE在帮助程序员识别和避免不同编程难度下的不一致性方面始终有效且高效。