paperbot · PL 论文追踪

全部论文 待读 收藏

P2 PorkFuzz: testing stateful software-defined network applications with property graphs

PorkFuzz：使用属性图测试有状态的软件定义网络应用
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 2/10 · 该论文属于软件测试与模糊测试领域，面向 SDN 应用并使用属性图表达测试预言，不涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等用户核心方向。虽然与程序分析/测试有泛泛关联，但研究目标和方法与画像匹配度很低。引用 2 inbox
Chaofan Shou
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出状态感知模糊测试框架 PorkFuzz，用属性图存储结果并支持图查询语言编写测试预言

针对有状态的软件定义网络（SDN）应用难以进行有效自动化测试的问题，论文提出 PorkFuzz 状态感知模糊测试框架。其核心是用属性图（property graph）存储模糊测试过程中的结果，让开发者能够借助图查询语言方便地表达测试预言（oracle）。由于结果以图结构组织，oracle 可以高效地对模糊测试结果进行查询与分析。摘要未报告具体实验评估或性能结果，因此关键效果仅由作者声称。

问题
有状态的软件定义网络应用难以用传统模糊测试有效测试，且测试预言不易表达与高效分析。
方法
提出状态感知模糊测试框架，用属性图存储模糊测试结果，并允许开发者用图查询语言编写测试预言。
评估
摘要未给出具体实验评估，仅说明属性图表示可让测试预言高效分析模糊测试结果。
原文摘要（Abstract）

This paper proposes a state-aware fuzzing framework for testing software-defined network applications. It leverages a property graph to store fuzzing results. Application developers can easily express oracles with the graph query language to test their applications. The graph representation also allows the oracles to analyze the fuzzing result efficiently.

链接与引用

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

BibTeX 
@inproceedings{paperbot6326,
  title = {PorkFuzz: testing stateful software-defined network applications with property graphs},
  author = {Chaofan Shou},
  booktitle = {FSE},
  year = {2021},
  doi = {10.1145/3468264.3473487}
}