paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Some challenges for software testing research (invited talk paper)

软件测试研究的一些挑战(特邀报告论文)
ISSTA Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis2019匹配度 2/10 · 该论文聚焦基于搜索的软件测试(SBST)与软件测试的开放挑战,不属于用户核心关注的静态分析、形式化验证、浮点程序分析或贝叶斯程序分析范畴,也未涉及 LLM/Agent 与程序的交叉。仅在“工业界落地经验(Facebook Sapienz 部署)”这一点上对用户有边缘参考价值。引用 6 inbox
Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, Ilya Zorin
crossref: 2026-09-12

AI 速览

一句话:基于 Facebook 部署 Sapienz 的经验,提出软件测试尤其是基于搜索的软件测试的四个开放挑战。

本文是一篇特邀报告论文,基于团队在 Facebook 部署 Sapienz 系统的经验,梳理软件测试特别是基于搜索的软件测试(Search Based Software Testing)面临的四个开放挑战。作者从工业级自动化测试设计的实践中提炼问题,指出这些挑战不仅限于该部署场景,也可能具有更普遍的意义,从而为研究社区提供机会,以回应工业界对自动化测试设计日益增长的兴趣。文章的重点在于提出问题与研究方向,而非给出新的算法或实验评估。

问题
软件测试,尤其是基于搜索的软件测试,在工业级自动化测试设计部署中暴露出若干开放挑战,需要研究社区进一步关注。
方法
作者结合在 Facebook 部署 Sapienz 系统的实践经验,以特邀报告形式归纳并阐述四个开放挑战及其潜在普遍性。
评估
本文为经验反思与挑战归纳型特邀报告,评估基于工业部署经验,而非对照实验或定量基准测试。
原文摘要(Abstract)

This paper outlines 4 open challenges for Software Testing in general and Search Based Software Testing in particular, arising from our experience with the Sapienz System Deployment at Facebook. The challenges may also apply more generally, thereby representing opportunities for the research community to further benefit from the growing interest in automated test design in industry.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot5343,
  title = {Some challenges for software testing research (invited talk paper)},
  author = {Nadia Alshahwan and Andrea Ciancone and Mark Harman and Yue Jia and Ke Mao and Alexandru Marginean and Alexander Mols and Hila Peleg and Federica Sarro and Ilya Zorin},
  booktitle = {ISSTA},
  year = {2019},
  doi = {10.1145/3293882.3338991}
}