paperbot · PL 论文追踪

全部论文 待读 收藏

P2 CP-detector

CP-detector:基于配置性能期望的性能缺陷检测
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 2/10 · 该论文属于软件测试与调试中的性能缺陷检测,核心是配置变更作为测试预言,和用户关注的静态分析、LLM/Agent 与程序分析交叉、浮点程序分析、贝叶斯程序分析均无直接关系,仅在程序分析与调试的大方向上有弱交集。引用 14 inbox
Haochen He, Zhouyang Jia, Shanshan Li, Erci Xu, Tingting Yu, Yue Yu, Ji Wang, Xiangke Liao
crossref: 2026-09-12

AI 速览

一句话:提出 CP-detector,利用配置变更带来的性能期望作为通用测试预言,检测性能缺陷。

性能缺陷因缺乏 fail-stop 症状而难以检测,现有调试技术通常只能发现已知模式(如低效循环),其关键瓶颈是缺少通用测试预言。本文提出 CP-detector,主张配置的性能期望(吞吐量、延迟、执行时间等)可作为强测试预言候选。理由有两点:已有工作表明多数性能缺陷与配置相关;配置变更反映了对性能变化的常见预期。若实际性能与预期相悖,则相关代码片段很可能存在问题。该思路将配置变化与性能期望差异关联到可疑代码,从而检测未知模式的性能缺陷。摘要未报告具体实现与实验结果,评估信息有限。

问题
性能缺陷的非 fail-stop 特性使其难以检测,现有调试技术只能覆盖已知模式,核心原因是缺乏通用测试预言。
方法
提出以配置变化所隐含的性能期望作为测试预言,当实际性能与预期相反时,将相关代码片段视为可能的问题位置。
评估
摘要未给出具体评估方式与实验结果,仅论证了配置性能期望作为测试预言候选的合理性。
原文摘要(Abstract)

Performance bugs are often hard to detect due to their non fail-stop symptoms. Existing debugging techniques can only detect performance bugs with known patterns (e.g., inefficient loops). The key reason behind this incapability is the lack of a general test oracle. Here, we argue that the performance (e.g., throughput, latency, execution time) expectation of configuration can serve as a strong oracle candidate for performance bug detection. First, prior work shows that most performance bugs are related to configurations. Second, the configuration change reflects common expectation on performance changes. If the actual performance is contrary to the expectation, the related code snippet is likely to be problematic.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5895,
  title = {CP-detector},
  author = {Haochen He and Zhouyang Jia and Shanshan Li and Erci Xu and Tingting Yu and Yue Yu and Ji Wang and Xiangke Liao},
  booktitle = {ASE},
  year = {2020},
  doi = {10.1145/3324884.3416531}
}