paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Exploratory test agents for stateful software systems

面向有状态软件系统的探索性测试智能体
FSE Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2019匹配度 3/10 · 该论文关注用智能体自动探索和测试有状态软件系统,属于软件测试/调试方向,与用户核心关注的静态分析、形式化验证、浮点程序分析、贝叶斯程序分析及 LLM 与这些方向的交叉并不直接匹配。虽然“智能体”与 Agentic 程序有表面关联,但论文未涉及对 Agentic/LLM 程序做静态分析,也未用 LLM/Agent 改进静态分析或形式化验证。引用 2 inbox
Stefan Karlsson
crossref: 2026-09-12

AI 速览

一句话:提出用探索性智能体自动测试有状态软件系统以发现故障并积累知识。

有状态软件系统的充分测试是一项困难且昂贵的活动。由复杂有状态交互引发的故障可能影响重大,且此类故障往往难以复现。若能用自动化方式应对该问题,将节省成本与时间,并提升工业软件系统的质量。本文提出一种基于智能体的方法,让智能体探索软件系统,以发现故障并获取知识。摘要未给出具体实现细节与评估结果。

问题
有状态软件系统的测试困难且成本高,复杂状态交互导致的故障影响大且难以复现。
方法
提出使用智能体探索软件系统,以自动发现故障并获取关于系统的知识。
评估
摘要未描述具体的实验评估或案例研究。
原文摘要(Abstract)

The adequate testing of stateful software systems is a hard and costly activity. Failures that result from complex stateful interactions can be of high impact, and it can be hard to replicate failures resulting from erroneous stateful interactions. Addressing this problem in an automatic way would save cost and time and increase the quality of software systems in the industry. In this paper, we propose an approach that uses agents to explore software systems with the intention to find faults and gain knowledge.

链接与引用

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

BibTeX
@inproceedings{paperbot5049,
  title = {Exploratory test agents for stateful software systems},
  author = {Stefan Karlsson},
  booktitle = {FSE},
  year = {2019},
  doi = {10.1145/3338906.3341458}
}