搜索筛选:
搜索耗时3.8706秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：魏仰苏,孟兆航,舒挺,,
来源：计算机工程与设计 年份：2007
在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行...
[期刊论文] 作者：魏仰苏,孟兆航,舒挺,
来源：计算机工程与应用 年份：2007
提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息，然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试...
[期刊论文] 作者：蒋国明,魏仰苏,孟兆航,,
来源：计算机工程与设计 年份：2007
当MPLS网络中的业务流请求存在时间上的先后顺序时，选择一个高效的路由算法使得已存在的业务流的LSP对后续业务流的LSP路由影响最小变得很重要。在分析了常用的几种QoS保障的...
[期刊论文] 作者：孟兆航,魏仰苏,蒋国明,,
来源：计算机工程与设计 年份：2006
Ad Hoc网络自身固有的特点使得Ad Hoc网络QoS路由协议面临许多新的挑战和机遇。通过对基于标签探测（ticket-based probing，TBP）协议和在TBP协议基础上提出的延时约束最小费用的A...
[期刊论文] 作者：舒挺,魏仰苏,吴柏青,孟兆航,,
来源：北京邮电大学学报 年份：2007
在以扩展有限状态机（EFSM）为模型描述的协议一致性测试系统中，为了解决状态验证序列的可执行性问题，提出了一种新的可执行状态验证序列（ESIS）生成算法．新算法基于宽度优先搜索可执行......
相关搜索：
