paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration

Descartes：一个用于检测伪测试方法的 PITest 引擎：工具演示
ASE Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering2018匹配度 1/10 · 该论文是 Java 变异测试工具 Descartes 的演示，核心在测试质量与伪测试方法检测，不涉及 LLM/Agent、静态分析、形式化验证、浮点程序分析或贝叶斯程序分析。与用户研究画像几乎没有直接交集。引用 14 inbox
Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：Descartes 在 PITest 上实现极端变异算子，用于检测 Java 项目中的伪测试方法。

本文演示了 Descartes，一个基于 PITest 的变异测试引擎，旨在发现 Java 项目中的“伪测试方法”（pseudo-tested methods），即被测试执行覆盖但未被有效断言检测的方法。Descartes 利用 PITest 的高效代码变换与运行时特性，实现极端变异算子来暴露这类方法。工具演示将 Descartes 与 PITest 默认的变异引擎 Gregor 在多个真实开源项目上进行比较，考察执行时间、生成的变异体数量以及两者产生的变异得分之间的关系，并展示 Descartes 的主要功能与使用洞见。

问题
Java 项目中存在被测试覆盖但未被有效验证的伪测试方法，传统变异测试可能难以有效识别它们。
方法
Descartes 作为 PITest 引擎实现极端变异算子，借助 PITest 的高效变换和运行时机制检测伪测试方法。
评估
在真实开源 Java 项目上将 Descartes 与 PITest 默认引擎 Gregor 对比，分析执行时间、变异体数量和变异得分关系。
原文摘要（Abstract）

Descartes is a tool that implements extreme mutation operators and aims at finding pseudo-tested methods in Java projects. It leverages the efficient transformation and runtime features of PITest. The demonstration compares Descartes with Gregor, the default mutation engine provided by PITest, in a set of real open source projects. It considers the execution time, number of mutants created and the relationship between the mutation scores produced by both engines. It provides some insights on the main features exposed byDescartes.

链接与引用

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

BibTeX 
@inproceedings{paperbot4792,
  title = {Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration},
  author = {Oscar Luis Vera-Pérez and Martin Monperrus and Benoit Baudry},
  booktitle = {ASE},
  year = {2018},
  doi = {10.1145/3238147.3240474}
}