論文の概要: Programmable Property-Based Testing

• arxiv url: http://arxiv.org/abs/2602.18545v1
• Date: Fri, 20 Feb 2026 16:52:03 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-24 17:42:02.155801
• Title: Programmable Property-Based Testing
• Title（参考訳）: プログラム可能なプロパティベースのテスト
• Authors: Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, Leonidas Lampropoulos,
• Abstract要約: 遅延バインディング抽象構文(deferred binding abstract syntax)と呼ぶ混合埋め込みに基づく、より深いプロパティのための新しい言語を提案する。 私たちはこの言語をRocqとRacketで実装し、依存型と動的型のパワーを活用しています。
• 参考スコア（独自算出の注目度）: 1.0276024900942875
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Property-based testing (PBT) is a popular technique for establishing confidence in software, where users write properties -- i.e., executable specifications -- that can be checked many times in a loop by a testing framework. In modern PBT frameworks, properties are usually written in shallowly embedded domain-specific languages, and their definition is tightly coupled to the way they are tested. Such frameworks often provide convenient configuration options to customize aspects of the testing process, but users are limited to precisely what library authors had the prescience to allow for when developing the framework; if they want more flexibility, they may need to write a new framework from scratch. We propose a new, deeper language for properties based on a mixed embedding that we call deferred binding abstract syntax, which reifies properties as a data structure and decouples them from the property runners that execute them. We implement this language in Rocq and Racket, leveraging the power of dependent and dynamic types, respectively. Finally, we showcase the flexibility of this new approach by rapidly prototyping a variety of property runners, highlighting domain-specific testing improvements that can be unlocked by more programmable testing.
• Abstract（参考訳）: プロパティベースのテスト(Property-based Testing, PBT)は、ソフトウェアの信頼性を確立するための一般的なテクニックである。 現代のPBTフレームワークでは、プロパティは通常、浅い組み込みドメイン固有言語で書かれており、それらの定義はテストの仕方と強く結びついている。 このようなフレームワークは、テストプロセスの側面をカスタマイズするための便利な設定オプションを提供することが多いが、ユーザーはフレームワークを開発する際に許容する事前知識を持つライブラリの作者に限られる。 我々は、遅延バインディング抽象構文と呼ばれる混合埋め込みに基づいて、プロパティをデータ構造として再定義し、それらを実行するプロパティランナーから分離する、新しいより深いプロパティのための言語を提案する。 私たちはこの言語をRocqとRacketで実装し、依存型と動的型のパワーをそれぞれ活用しています。 最後に、さまざまなプロパティランナーを迅速にプロトタイピングし、プログラム可能なテストによってアンロック可能なドメイン固有のテスト改善を強調して、この新しいアプローチの柔軟性を示します。

関連論文リスト

• Natural Language Interface for Firewall Configuration [0.0]
  本稿では,企業ファイアウォール構築のための自然言語インタフェースの設計とプロトタイプ実装について述べる。 このフレームワークは、管理者がプレーン言語でアクセス制御ポリシーを表現し、ベンダー固有のポリシーに変換することを可能にする。
  論文  参考訳（メタデータ） (2025-12-11T16:33:33Z)
• Designing and Implementing Robust Test Automation Frameworks using Cucumber BDD and Java [0.0]
  本稿では、堅牢なテスト自動化フレームワークの設計と実装に関する包括的なアプローチを詳述する。 Cucumber BDDの自然言語構文を利用することで、このフレームワークは技術的および非技術的チームメンバー間の明確なコミュニケーションを可能にします。 Javaはスケーラブルで保守性があり、効率的なテストスクリプトを作成するバックボーンとして機能します。
  論文  参考訳（メタデータ） (2025-05-22T17:11:05Z)
• WritingBench: A Comprehensive Benchmark for Generative Writing [87.48445972563631]
  writeBenchは、6つのコア書き込みドメインと100の技術的記述を含む大規模言語モデル(LLM)を評価するために設計されたベンチマークである。 本稿では、LCMがインスタンス固有の評価基準を動的に生成することを可能にするクエリ依存評価フレームワークを提案する。 このフレームワークは、基準対応スコアリングのための微調整された批評家モデルによって補完され、スタイル、フォーマット、長さの評価を可能にする。
  論文  参考訳（メタデータ） (2025-03-07T08:56:20Z)
• LlamaRestTest: Effective REST API Testing with Small Language Models [50.058600784556816]
  LlamaRestTestは、2つのLLM(Large Language Models)を使って現実的なテストインプットを生成する新しいアプローチである。 私たちは、GPTを使った仕様強化ツールであるRESTGPTなど、最先端のREST APIテストツールに対して、これを評価しています。 私たちの研究は、REST APIテストにおいて、小さな言語モデルは、大きな言語モデルと同様に、あるいは、より良く機能することができることを示しています。
  論文  参考訳（メタデータ） (2025-01-15T05:51:20Z)
• Commit0: Library Generation from Scratch [77.38414688148006]
  Commit0は、AIエージェントにスクラッチからライブラリを書くよう促すベンチマークである。 エージェントには、ライブラリのAPIを概説する仕様文書と、インタラクティブなユニットテストスイートが提供されている。 Commit0はまた、モデルが生成したコードに対して静的解析と実行フィードバックを受け取る、インタラクティブな環境も提供する。
  論文  参考訳（メタデータ） (2024-12-02T18:11:30Z)
• Unit Testing in ASP Revisited: Language and Test-Driven Development Environment [8.110978727364397]
  ASPプログラム内でテストのインライン化を可能にする新しい単体テスト仕様言語を提案する。 テストケースの仕様は従来の評価には透過的だが、特定のテストツールで解釈できる。
  論文  参考訳（メタデータ） (2024-01-04T09:04:54Z)
• Can Large Language Models Write Good Property-Based Tests? [5.671039991090038]
  プロパティベースのテスト(PBT)は、現実世界のソフトウェアではいまだにあまり使われていない。 2つのプロンプト手法を用いて,近代言語モデルを用いてPSTを自動的に合成する。 最適なモデルとプロンプトアプローチにより,有効かつ健全なPBTを平均2.4サンプルで合成できることが判明した。
  論文  参考訳（メタデータ） (2023-07-10T05:09:33Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。