Coping with Nondeterminism in Network Protocol Testing

机译：应对网络协议测试中的不确定性

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Given a nondeterministic protocol specification, we want to determine the deterministic implementation under test with a confor-mance of trace inclusion in the specification. We identify them using both active and passive testing. Four cases are studied with experiments on Internet protocols. In the first two cases, the implementation machine is a derived machine of the specification. In the third case, the implementation machine is a derived machine of the k-way expansion of the specification machine. The fourth case deals with the general case of nondeterministic machines.

机译：给定一个非确定性协议规范，我们希望确定测试中的确定性实现，并在规范中包含跟踪。我们使用主动和被动测试来识别它们。通过Internet协议的实验研究了四种情况。在前两种情况下，实现机器是规范的派生机器。在第三种情况下，实现机器是规范机器的k向扩展的派生机器。第四种情况涉及非确定性机器的一般情况。

著录项

来源
《IFIP TC6/WG 6.1 International Conference on Testing of Communicating Systems(TestCom 2005); 20050531-0602; Montreal(CA)》|2005年|P.129-145|共17页
会议地点 Montreal(CA)
作者
R.E. Miller; D.-L. Chen; D. Lee; R. Hao;
展开▼
作者单位

Department of Computer Science, University of Maryland;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类通信;计算机网络;
关键词

相似文献

外文文献
中文文献
专利

1. A comparison of Fuel Cell Testing protocols - A case study: Protocols used by the U.S. Department of Energy, European Union, International Electrotechnical Commission/Fuel Cell Testing and Standardization Network, and Fuel Cell Technical Team [J] . Ira Bloom, Lee K. Walker, John K. Basco, Journal of power sources . 2013,第deca1期

机译：燃料电池测试协议的比较-案例研究：美国能源部，欧盟，国际电工委员会/燃料电池测试和标准化网络以及燃料电池技术团队使用的协议
2. Active networks as a developing and testing environment for network protocols [J] . Raouf BOUTABA, Andreas POLYRAKIS, Alvaro FERNANDEZ CASANI Annales des Telecommunications . 2004,第5a6期

机译：主动网络作为网络协议的开发和测试环境
3. Quantum cryptography: Theoretical protocols for quantum key distribution and tests of selected commercial QKD systems in commercial fiber networks [J] . Jacak Monika, Jacak Janusz, Jozwiak Piotr, International journal of quantum information . 2016,第2期

机译：量子密码学：用于量子密钥分发的理论协议，以及在商业光纤网络中对选定的商业QKD系统进行测试的理论协议
4. Coping with Nondeterminism in Network Protocol Testing [C] . R.E. Miller, D.-L. Chen, D. Lee, IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems . 2005

机译：在网络协议测试中应对非季度主义
5. Design, implementation and testing of communication protocols in wireless sensor networks with a single relay node. [D] . Khan, Taimoor Ali. 2010

机译：具有单个中继节点的无线传感器网络中通信协议的设计，实现和测试。
6. A Passive Testing Approach for Protocols in Wireless Sensor Networks [O] . Xiaoping Che, Stephane Maag, Hwee-Xian Tan, 2015

机译：无线传感器网络中协议的被动测试方法
7. Coping with Nondeterminism in Network Protocol Testing [O] . R. E. Miller, D. -L. Chen, D. Lee, 2005

机译：在网络协议测试中应对非季度主义
8. Wireless Authentication Protocol Implementation: Descriptions of a Zero-Knowledge Proof (ZKP) Protocol Implementation for Testing on Ground and Airborne Mobile Networks. [R] . Scatko, T., Rowe, N. 2015

机译：无线认证协议实现：用于在地面和机载移动网络上进行测试的零知识证明（ZKp）协议实现的描述。

Coping with Nondeterminism in Network Protocol Testing

摘要

著录项

相似文献

相关主题

期刊订阅