首页> 外文会议>IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems >Conformance Testing of Network Simulators Based on Metamorphic Testing Technique
【24h】

Conformance Testing of Network Simulators Based on Metamorphic Testing Technique

机译:基于变质测试技术的网络仿真器一致性测试

获取原文

摘要

Network simulators, which implement network protocols under some simulated conditions, have been widely used to analyze the feasibility of network protocols. Conformance testing of the simulator against the protocol is a very important task in the community of telecommunications. However, many current conformance testing methods face a problem of finding a systematic mechanism to verify the test outputs. This paper proposes to use an innovative testing approach, metamorphic testing (MT), to alleviate such a problem. We select one ad-hoc on-demand distance vector (AODV) simulator for study and test its conformance against the AODV protocol by the MT technique. Through our experiments, we illustrate the applicability of MT in the protocol conformance testing, confirm the reliability of the selected AODV simulator, and demonstrate the cost-effectiveness of MT using the mutation analysis technique.
机译:在某些模拟条件下实现网络协议的网络模拟器已被广泛用于分析网络协议的可行性。对协议的模拟器的一致性测试是电信社区中的一个非常重要的任务。然而,许多电流符合测试方法面临着找到系统机制来验证测试输出的问题。本文建议使用创新的测试方法,变质测试(MT),以缓解这样的问题。我们选择一个ad-hoc按需距离矢量(AODV)模拟器,用于通过MT技术进行研究和测试其对AODV协议的一致性。通过我们的实验,我们说明了MT在协议一致性测试中的适用性,确认所选AODV模拟器的可靠性,并使用突变分析技术来证明MT的成本效益。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号