論文の概要: I3DE: An IDE for Inspecting Inconsistencies in PL/SQL Code
- arxiv url: http://arxiv.org/abs/2403.03433v1
- Date: Wed, 6 Mar 2024 03:34:09 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-07 16:12:09.242617
- Title: I3DE: An IDE for Inspecting Inconsistencies in PL/SQL Code
- Title(参考訳): I3DE:PL/SQLコードの矛盾を検査するIDE
- Authors: Jiangshan Liu, Shuang Liu, Junjie Chen
- Abstract要約: I3DE - PL/コードの矛盾を検査するIDEプラグイン。
PL/セマンティクスの一貫性のない理解によって導入された誤用やバグなどの潜在的な問題を最初に観察した。
PL/コードにおけるそのような不整合を検査するためのテストベースアプローチを提案する。
IntelliJ Platform用の広く利用可能なプラグインであるI3DEで、私たちのアプローチを設計し、実装しています。
- 参考スコア(独自算出の注目度): 8.920702858378021
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: 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
- Abstract(参考訳): 本稿では,PL/SQLコードの矛盾を検査するIDEプラグインであるI3DE(Inconsistency Inspecting IDE)を紹介する。
PL/SQLプログラマとDBMS開発者によるPL/SQLセマンティクスの一貫性のない理解によって導入された誤用やバグなどの潜在的な問題を最初に観察し、PL/SQLコードのこのような矛盾を検査するためのメタモルフィックテストベースのアプローチを提案する。
IntelliJ Platform用の広く利用可能なプラグインであるI3DEで、私たちのアプローチを設計し、実装しています。
16名の参加者を対象とした比較ユーザ調査を行い,i3deは,プログラミングの難易度にまたがる不整合をプログラマが識別し回避する上で,一貫して効果的かつ効率的であることを示唆した。
関連論文リスト
- Schema-Aware Multi-Task Learning for Complex Text-to-SQL [4.913409359995421]
複雑なsqlクエリのためのスキーマ対応マルチタスク学習フレームワーク(MT)を提案する。
具体的には、有効な質問スキーマリンクを識別するために、識別器モジュールを設計する。
デコーダ側では、テーブルと列の接続を記述するために、6種類の関係を定義します。
論文 参考訳(メタデータ) (2024-03-09T01:13:37Z) - Detecting DBMS Bugs with Context-Sensitive Instantiation and Multi-Plan Execution [11.18715154222032]
本稿では、テストケースで意味論的に正しいsqlクエリを生成する方法と、論理的バグをキャプチャする効果的なオーラクルを提案する方法を含む、この2つの課題を解決することを目的とする。
我々はKangarooと呼ばれるプロトタイプシステムを実装し、広く使われている3つのセマンティックコードを適用した。
我々のシステムと最先端システムを比較すると、生成した意味論的に有効なクエリの数、テスト中の探索されたコードパス、検出されたバグなどにおいて、システムの性能が優れていることが分かる。
論文 参考訳(メタデータ) (2023-12-08T10:15:56Z) - Text-to-SQL Empowered by Large Language Models: A Benchmark Evaluation [76.76046657162306]
大規模言語モデル(LLM)はテキスト・ツー・タスクの新しいパラダイムとして登場した。
大規模言語モデル(LLM)はテキスト・ツー・タスクの新しいパラダイムとして登場した。
論文 参考訳(メタデータ) (2023-08-29T14:59:54Z) - InterCode: Standardizing and Benchmarking Interactive Coding with
Execution Feedback [50.725076393314964]
標準的な強化学習環境として,インタラクティブコーディングの軽量でフレキシブルで使いやすいフレームワークであるInterCodeを紹介した。
私たちのフレームワークは、言語とプラットフォームに依存しない、自己完結型のDocker環境を使用して、安全で再現可能な実行を提供します。
我々は、異なるプロンプト戦略で構成された複数の最先端LLMを評価することにより、InterCodeの生存性をテストベッドとして示す。
論文 参考訳(メタデータ) (2023-06-26T17:59:50Z) - SQL-PaLM: Improved Large Language Model Adaptation for Text-to-SQL (extended) [53.95151604061761]
本稿では,大規模言語モデル(LLM)を用いたテキスト・ツー・フィルタリングのフレームワークを提案する。
数発のプロンプトで、実行ベースのエラー解析による一貫性復号化の有効性について検討する。
命令の微調整により、チューニングされたLLMの性能に影響を及ぼす重要なパラダイムの理解を深める。
論文 参考訳(メタデータ) (2023-05-26T21:39:05Z) - Error Detection for Text-to-SQL Semantic Parsing [18.068244400731366]
現代のテキスト・トゥ・セマンティクスは、しばしば過信であり、実際の使用のためにデプロイされた際の信頼性に疑問を呈する。
本稿では,テキスト間セマンティック解析のためのa-独立誤差検出モデルを提案する。
論文 参考訳(メタデータ) (2023-05-23T04:44:22Z) - Can LLM Already Serve as A Database Interface? A BIg Bench for
Large-Scale Database Grounded Text-to-SQLs [89.68522473384522]
テキストから効率のよいタスクをベースとした大規模データベースのための大規模なベンチマークであるBirdを紹介します。
データベースの値に重点を置いていると、汚いデータベースコンテンツに対する新たな課題が浮き彫りになる。
最も効果的なテキストから効率のよいモデルであるChatGPTでさえ、実行精度はわずか40.08%である。
論文 参考訳(メタデータ) (2023-05-04T19:02:29Z) - Towards Generalizable and Robust Text-to-SQL Parsing [77.18724939989647]
本稿では,タスク分解,知識獲得,知識構成からなる新しいTKKフレームワークを提案する。
このフレームワークは,Spider,SParC,Co.データセット上でのすべてのシナリオと最先端のパフォーマンスに有効であることを示す。
論文 参考訳(メタデータ) (2022-10-23T09:21:27Z) - S$^2$SQL: Injecting Syntax to Question-Schema Interaction Graph Encoder
for Text-to-SQL Parsers [66.78665327694625]
テキスト-関係解析のための質問-エンコーダグラフに構文を注入するS$2$を提案する。
また、疎結合制約を用いて多様なエッジ埋め込みを誘導し、ネットワークの性能をさらに向上させる。
スパイダーとロバスト性設定の実験は、提案手法が事前学習モデルを使用する場合、既存のすべての手法より優れていることを示した。
論文 参考訳(メタデータ) (2022-03-14T09:49:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。