一句话：提出 Interrogation Testing 方法，用于检测程序分析器中的 soundness 与精度缺陷，弥补现有测试方法的不足。
程序分析器对保障软件可靠性至关重要，但其自身复杂性导致容易包含缺陷，如何检测这些缺陷成为关键问题。现有方法主要基于规约测试、差分测试和蜕变测试，虽能发现分析器缺陷，但存在局限。本文提出 Interrogation Testing，针对程序分析器的 soundness 与 precision 问题进行测试。摘要未展开具体技术细节与实验结果，但该方法旨在克服现有测试范式的不足，为分析器质量保障提供新途径。
Program analyzers are critical in safeguarding software reliability. However, due to their inherent complexity, they are likely to contain bugs themselves, and the question of how to detect them arises. Existing approaches, primarily based on specification-based, differential, or metamorphic testing, have been successful in finding analyzer bugs, but also come with certain limitations.
@inproceedings{paperbot8279,
title = {Interrogation Testing of Program Analyzers for Soundness and Precision Issues},
author = {David Kaindlstorfer and Anastasia Isychev and Valentin Wüstholz and Maria Christakis},
booktitle = {ASE},
year = {2024},
doi = {10.1145/3691620.3695034}
}