paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Hypertesting of Programs: Theoretical Foundation and Automated Test Generation

程序超测试：理论基础与自动化测试生成
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 3/10 · 该论文研究超属性测试的理论基础与自动化测试生成，属于程序语言与形式化方法中的测试方向，但与用户核心关注的静态分析、LLM/Agent 与程序分析交叉、浮点程序分析或贝叶斯程序分析均无直接关联。引用 1 inbox
Michele Pasqua, Mariano Ceccato, Paolo Tonella
测试、调试与修复安全与隐私
crossref: 2026-09-12

AI 速览

一句话：为超属性测试（hypertesting）奠定理论基础，并提出自动化测试生成方法。

超属性（hyperproperties）用于定义涉及多个程序执行之间关系的正确性需求，例如安全性和并发性需求，这些需求无法用传统的迹属性（trace properties）表达。本文围绕程序超测试（hypertesting）展开，首先为其提供理论基础，然后研究自动化测试生成。具体工作包括形式化超测试的概念，并设计生成测试用例的自动化方法，以检测违反超属性的程序行为。摘要未提及具体的实验评估结果。

问题
如何测试无法用迹属性表达的超属性（如安全性和并发性需求）？传统测试方法不适用。
方法
为超测试建立理论基础，并研究面向超属性的自动化测试生成技术。
评估
摘要未提及评估方式。
原文摘要（Abstract）

Hyperproperties are used to define correctness requirements that involve relations between multiple program executions. This allows, for instance, to model security and concurrency requirements, which cannot be expressed by means of trace properties.

链接与引用

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

BibTeX 
@inproceedings{paperbot11350,
  title = {Hypertesting of Programs: Theoretical Foundation and Automated Test Generation},
  author = {Michele Pasqua and Mariano Ceccato and Paolo Tonella},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3640323}
}