搜索筛选:
搜索耗时0.0346秒,为你在为你在61,042,059篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：黄传动,,
来源： 年份：2006
随着计算机网络和分布式系统的发展，通信协议的规模和复杂性在不断增加的同时，可靠性也在降低。一致性测试作为保证协议实现质量的一种重要手段，首先根据协议规范生成测试序列(......
[期刊论文] 作者：黄传动,蒋凡,,
来源：小型微型计算机系统 年份：2007
应用层控制协议SIP（Session Initiation Protocol）已被用于在IP网络中建立、修改和终止多个参与者参加的多媒体会话.为了保证SIP的不同实现之间能够可靠地进行通信,需要对其进...
[期刊论文] 作者：姬忠鹤,蒋凡,黄传动,,
来源：计算机工程 年份：2006
提出一种构造完全可执行协议一致性测试套的新方法。该方法分别用Kripke结构和CTL公式来描述协议的EFSM模型和测试套所要满足的控制流和数据流测试覆盖标准，借助模型检查中的...
相关搜索：
