arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2102.00378cs.SEcs.PL
收藏

基于模型的网络应用程序测试

Model-Based Testing of Networked Applications

Yishuai Li, Benjamin C. Pierce, Steve Zdancewic

摘要:

我们提出了一个原则性的应用层协议自动测试框架。关键的创新是一个特定于域的嵌入式语言,用于编写网络服务器行为的不确定性模型。这些模型在Coq交互式定理证明器中定义,支持从测试到形式化验证的平滑过渡。给定一个服务器模型,我们将展示如何自动派生一个测试器来探测服务器的意外行为。我们解决的不确定性所造成的服务器的内部选择和网络延迟消息nondeterministically。派生的测试程序接受可能的行为是不确定性模型所允许的行为的子集的服务器实现。我们通过使用该框架来指定和测试HTTP/1.1协议的一个片段来证明该框架的有效性,表明自动派生的测试程序可以在有缺陷的服务器实现中捕获RFC违规,包括最新版本的Apache和Nginx。

英文摘要:

We present a principled automatic testing framework for application-layer protocols. The key innovation is a domain-specific embedded language for writing nondeterministic models of the behavior of networked servers. These models are defined within the Coq interactive theorem prover, supporting a smooth transition from testing to formal verification. Given a server model, we show how to automatically derive a tester that probes the server for unexpected behaviors. We address the uncertainties caused by both the server's internal choices and the network delaying messages nondeterministically. The derived tester accepts server implementations whose possible behaviors are a subset of those allowed by the nondeterministic model. We demonstrate the effectiveness of this framework by using it to specify and test a fragment of the HTTP/1.1 protocol, showing that the automatically derived tester can capture RFC violations in buggy server implementations, including the latest versions of Apache and Nginx.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑