I3DE：一款用于检查PL/SQL代码中不一致性的IDE
I3DE: An IDE for Inspecting Inconsistencies in PL/SQL Code
AI总结：
本研究针对PL/SQL语义理解不一致引发的代码问题，提出基于蜕变测试的检查方法，开发了IntelliJ平台插件I3DE，经16人用户研究验证其在不同难度下均能有效高效地帮程序员识别规避不一致性。
摘要：
本文介绍了I3DE（不一致性检查IDE）——一款用于检查PL/SQL代码中不一致性的IDE插件。我们首先观察到由PL/SQL程序员与DBMS开发人员对PL/SQL语义理解不一致所引发的潜在问题，例如误用或漏洞，并提出了一种基于蜕变测试的方法来检查PL/SQL代码中的此类不一致性。我们在IntelliJ平台的一款高可用性插件I3DE中设计并实现了该方法。我们开展了一项涉及16名参与者的对比用户研究，结果表明，在不同编程难度下，I3DE在帮助程序员识别和避免不一致性方面始终兼具有效性与高效性。
英文摘要：
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
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
