Model-based testing of networked applications
Model-based testing of networked applications
复制标题
基于模型的网络应用程序测试
DOI：
10.1145/3460319.3464798
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Zdancewic, Steve
中科院分区：
文献类型：
--
作者：
Li, Yishuai;Pierce, Benjamin C;Zdancewic, Steve
我们提出了一个原则性的应用层协议自动测试框架。关键的创新是一个特定于域的嵌入式语言，用于编写网络服务器行为的不确定性模型。这些模型中定义的Coq交互式定理证明器，支持从测试到正式verified.Given服务器模型的平稳过渡，我们展示了如何自动派生一个测试器，探测服务器的意外行为。我们解决的不确定性所造成的服务器的内部选择和网络延迟消息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.
登录
查看更多内容
使用 TorXakis 进行基于模型的测试：重温 Dropbox 的奥秘
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
G. J. Tretmans;M. Laar
通讯作者：
M. Laar
使用模拟代码和特定于协议的启发法查找网络协议中的错误
DOI：
--
发表时间：
2005
期刊：
IEEE International Conference on Formal Engineering Methods
影响因子：
--
作者：
Ahmed Sobeih;Mahesh Viswanathan;D. Marinov;J. Hou
通讯作者：
J. Hou
DropBox 的奥秘：分布式同步服务的基于属性的测试
DOI：
--
发表时间：
2016
期刊：
International Conference on Information Control Systems & Technologies
影响因子：
--
作者：
John Hughes;B. Pierce;T. Arts;U. Norell
通讯作者：
U. Norell
影响因子：
3.5
作者：
Anand, Saswat;Burke, Edmund K.;Zhu, Hong
通讯作者：
Zhu, Hong
DOI：
10.4230/lipics.itp.2021.32
发表时间：
2021
期刊：
--
影响因子：
--
作者：
Hengchu Zhang;Wolf Honoré;Nicolas C. H. Koh;Yao Li;Yishuai Li;Li-yao Xia;Lennart Beringer;William Mansky;B. Pierce;Steve Zdancewic
通讯作者：
Hengchu Zhang;Wolf Honoré;Nicolas C. H. Koh;Yao Li;Yishuai Li;Li-yao Xia;Lennart Beringer;William Mansky;B. Pierce;Steve Zdancewic