paperbot · PL 论文追踪

全部论文 待读 收藏

P2 CoFI

CoFI
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 1/10 · 该论文研究云系统中网络分区缺陷的测试与触发,属于分布式系统容错与测试方向,与用户关注的静态分析、LLM/Agent 程序分析、浮点程序分析及贝叶斯程序分析均无直接关联。引用 26 inbox
Haicheng Chen, Wensheng Dou, Dong Wang, Feng Qin
crossref: 2026-09-12

AI 速览

一句话:CoFI 关注云系统中由网络分区引发的缺陷,致力于在特定时机启停分区以暴露这些难以触发的 partition bugs。

论文关注大规模云系统中的网络分区缺陷(partition bugs)。网络分区在云系统中不可避免,尽管开发者在设计、实现和测试阶段都尝试处理网络分区,这类缺陷仍会残留并导致生产集群发生严重故障。摘要强调,暴露 partition bugs 非常困难,因为它们通常要求网络分区在特定时刻开始和停止,而常规测试或随机注入难以精确命中这些时机。标题中的 CoFI 应是为应对该问题而提出的系统或方法,但所给摘要未说明其具体技术路线、实现方式以及实验评估结果。

问题
如何有效暴露云系统中由网络分区引发、且往往需要网络分区在特定时机启停才能触发的 partition bugs。
方法
所给摘要未给出具体方法;从标题可知论文以 CoFI 为名,目标是对网络分区缺陷进行暴露。
评估
所给摘要未提供实验评估信息,未说明基准系统、注入策略或发现的缺陷数量。
原文摘要(Abstract)

Network partitions are inevitable in large-scale cloud systems. Despite developer's efforts in handling network partitions throughout designing, implementing and testing cloud systems, bugs caused by network partitions, i.e., partition bugs, still exist and cause severe failures in production clusters. It is challenging to expose these partition bugs because they often require network partitions to start and stop at specific timings.

链接与引用

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

BibTeX
@inproceedings{paperbot6004,
  title = {CoFI},
  author = {Haicheng Chen and Wensheng Dou and Dong Wang and Feng Qin},
  booktitle = {ASE},
  year = {2020},
  doi = {10.1145/3324884.3416548}
}