paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Property-Based Testing in Practice

实践中的基于属性的测试
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 2/10 · 论文是关于基于属性的测试（PBT）的实践调研，属于软件测试与形式化规格领域，但未涉及用户核心方向中的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析。虽然PBT与形式化方法有间接关联，但研究目标并非将LLM/Agent用于分析/验证，也未聚焦工业工具落地与静态分析。引用 35 inbox
Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head
测试、调试与修复编程环境与开发者工具
crossref: 2026-09-12

AI 速览

一句话：考察开发者在实践中如何使用基于属性的测试，并总结其优势、不足与改进需求。

基于属性的测试（PBT）是一种测试方法：用户为软件组件编写可执行的形式化规约，再由自动化测试框架用大量自动生成的输入检查这些规约。PBT 源自 Haskell 的 QuickCheck 库，如今已进入主流语言，并在 Amazon、Volvo、Stripe 等公司的工业实践中获得应用。随着其影响扩大，理解开发者实际如何使用 PBT、它在哪些方面表现强势与薄弱，以及需要哪些创新来提升其效果，变得十分重要。本文围绕这一目标，对 PBT 的实践使用进行考察，并讨论其优势、局限与未来改进方向。

问题
PBT 已从 QuickCheck 扩展到主流语言和工业实践，但社区仍需要理解开发者实际如何使用它、其优势与局限何在。
方法
从开发者实践出发，考察 PBT 在真实开发中的应用方式，并分析开发者对其强弱点的看法。
评估
以开发者实践中的使用情况为对象，分析 PBT 的效果、局限以及使其更有效所需的创新。
原文摘要（Abstract）

Property-based testing (PBT) is a testing methodology where users write executable formal specifications of software components and an automated harness checks these specifications against many automatically generated inputs. From its roots in the QuickCheck library in Haskell, PBT has made significant inroads in mainstream languages and industrial practice at companies such as Amazon, Volvo, and Stripe. As PBT extends its reach, it is important to understand how developers are using it in practice, where they see its strengths and weaknesses, and what innovations are needed to make it more effective.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot11309,
  title = {Property-Based Testing in Practice},
  author = {Harrison Goldstein and Joseph W. Cutler and Daniel Dickstein and Benjamin C. Pierce and Andrew Head},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639581}
}