4、高可靠移动自组网协议设计的测试架构与系统组合算子解析

高可靠移动自组网协议设计的测试架构与系统组合算子解析

移动自组网协议测试架构

在未来无处不在的通信环境中，宽带无线通信将变得普及。无线局域网设备（如 IEEE802.11a/b/g）和无线个人局域网设备（如蓝牙和 ZigBee）可能会以合理的成本集成到移动终端中，并与现有的蜂窝网络互补使用。这意味着由这些窄范围通信设备组成的移动自组网（MANETs）将无缝连接到全球网络（IP 网络）。

然而，测试 MANET 应用程序和协议的功能和性能有效性并非易事。即使移动节点的被测实现（IUTs）独立通过了一般的一致性测试，但当它们协同工作以提供分布式内容搜索和路由等服务和功能时，可能无法正常工作或无法达到合理的性能。此外，节点的移动性使问题更加复杂，因为移动模型对其性能和正确性有很大影响。

我们专注于 MANET 协议的功能和性能测试，讨论了在测试中应验证的属性，并相应地对目标协议的环境进行建模。然后，我们提出了一种基于网络模拟器 MobiREAL 的 MANET 协议测试架构。该架构主要使用被动测试方法，通过观察 IUTs 之间的数据传输序列来进行测试。给定要测试的 IUTs 和要验证的属性，它可以为 IUTs 虚拟提供包括移动模型和底层无线传输层在内的环境，就像它们在真实移动终端上执行一样。该架构不仅支持提供环境，还支持直观地观察被动测试的结果。

被动测试

在 MANET 协议的高层（第 4 层及以上）进行被动测试时，我们可以将它们之间的通信通道简单抽象为单个不可靠通道。然而，测试 MANET 的网络层协议需要更多考虑，主要是因为移动性建模和上下层建模。

以动态源路由（DSR）协议为例，DSR 在路由请求阶段会找到多个潜在