基于Petri网引导的LLM并发Rust API测试生成

研究人员开发了一种新方法，利用大型语言模型（LLM）为并发有状态Rust API生成可执行测试。该方法采用Petri网来表示API资源、生命周期条件和依赖关系，从而能够推导出复杂的并发场景。这些场景作为LLM的约束中间表示，引导它们合成符合API先决条件并更有效地探索并发性的测试。该系统包括在合成过程中保留模型意图的机制，以及一个语义Oracle来区分合成失败和API行为违规。 AI

影响 增强了LLM为并发软件系统生成复杂、可执行测试的能力。

排序理由 该集群包含一篇详细介绍新颖测试生成方法的论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

• alphaXiv
• arXiv
• CatalyzeX
• DagsHub
• Gotit.pub
• Hugging Face
• Large language models
• Petri net
• Rust
• ScienceCast

• 论文
• 产品

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →