数据流控制流相叠加的可执行测试序列生成研究

提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率。     

MPLS的基于最小干涉的负载均衡算法研究

当MPLS网络中的业务流请求存在时间上的先后顺序时,选择一个高效的路由算法使得已存在的业务流的LSP对后续业务流的LSP路由影响最小变得很重要.在分析了常用的几种QoS保障的算法基础上,提出了一种基于最小干涉的负载均衡算法.该算法解决了MPLS网络中所有"入口/出口对"之间的业务流相互干扰的问题,为后续业务流路由预留了必要的"关键链路".     

EFSM可执行状态验证序列的生成

在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中，为了解决状态验证序列的可执行性问题，提出了一种新的可执行状态验证序列(ESIS)生成算法。新算法基于宽度优先搜索可执行分析树(EAT)的思想，从状态验证需求的角度，在EFSM的状态格局投影子空间中，采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列，从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性。实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的。     

通信协议一致性测试序列自动生成算法研究

在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题.在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点.实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率.     

Ad Hoc网络QoS路由协议研究

Ad Hoc网络自身固有的特点使得Ad Hoc网络QoS路由协议面临许多新的挑战和机遇。通过对基于标签探测（ticket-based probing，TBP）协议和在TBP协议基础上提出的延时约束最小费用的Ad Hoc网络中的完全分布式QoS路由协议——基于熵的长寿的分布式QoS路由（entropy-based long-life distributed QoS routing，EBLLD）协议进行的详细地分析和比较，可以得出以下结论：EBLLD协议有较高的路由成功率，具有可扩展性，可应用于较大规模的Ad Hoc网络。