paperbot · PL 论文追踪

全部论文 待读 收藏

P2 TORI: A Tool for Oracle Quality Assessment

TORI：一种测试预言质量评估工具
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 2/10 · 该论文是静态分析工具，但聚焦于Java测试预言质量评估，未涉及LLM/Agent、ML系统、浮点程序分析或贝叶斯程序分析等用户核心方向。与用户研究画像仅有“静态分析”这一宽泛交集，匹配度较低。引用 1 inbox
Facundo Molina, Nazareno Aguirre, Alessandra Gorla
测试、调试与修复程序分析与抽象解释
crossref: 2026-10-09

AI 速览

一句话：提出 Java 测试预言质量静态分析工具 TORI，可识别断言并计算可扩展的评估度量。

TORI（Test Oracle Inspector）是面向 Java 的静态分析工具，用于评估测试预言（test oracle）的质量。给定待分析测试文件，TORI 通过静态分析识别其中的断言语句，并计算度量以判断这些断言在多大程度上检验了被测系统的行为。工具强调可扩展性，允许用户实现自定义度量以适配不同评估需求。该工作以工具形式呈现，目标是为测试预言质量提供自动化、可定制的检查手段，帮助开发者发现测试中判定能力不足或断言薄弱的问题。

问题
测试预言（断言）的质量直接影响测试有效性，但实践中难以自动评估测试文件中的断言是否充分检验被测系统行为。
方法
TORI 对 Java 测试文件进行静态分析，定位断言语句，并计算用于评估测试预言质量的度量；工具设计为可扩展，支持用户实现自定义度量。
评估
摘要未报告实验评估；工具通过给定测试文件的断言识别与度量计算来评估 oracle 质量，并以可扩展性支持自定义评估指标。
原文摘要（Abstract）

Tori (Test Oracle Inspector) is a static analysis tool for assessing the quality of test oracles in Java. Given a target test file, it uses static analysis to identify assertion statements and compute metrics that evaluate how well the oracles test the behavior of the system under test. Tori is designed to be extensible, allowing users to implement custom metrics for oracle assessment.

链接与引用

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

BibTeX 
@inproceedings{paperbot12438,
  title = {TORI: A Tool for Oracle Quality Assessment},
  author = {Facundo Molina and Nazareno Aguirre and Alessandra Gorla},
  booktitle = {ASE},
  year = {2026},
  doi = {10.1145/3832783.3834653}
}