位置：成果数据库 > 期刊 > 期刊详情页
一致性测试中的时间约束及测试用例生成算法
  • 期刊名称：西安交通大学学报
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：中国科学技术大学
  • 页码：381-386
  • 语言：中文
  • 相关项目：形式化的协议理论
作者： 赵保华|柯尧|
同期刊论文项目
形式化的协议理论
期刊论文 55 会议论文 5
同项目期刊论文
基于局部错误诊断的动态协议一致性测试方法
无线传感器网络中的组划分算法
Power consumption model in two-tiered wireless sensor networks
Fault diagnosis by passive testing
Placement algorithm for the wireless sensor network
A Near-Optimal Optimization Algorithm for Link Assignment in Wireless Ad-hoc Networks
基于Markov链模型的被动测试错误检测算法
基于有向图的最小完全覆盖互操作测试序列生成
传感器网络中考虑响应时间的路由机制
3-Dimensional Sensor model in the sensor network
基于TCL的原理图自动审查平台建设
被动测试中观察者放置问题
被动测试中的错误诊断
一种动态协议一致性测试方法
无线传感器网络WPCS覆盖策略
SDH测试平台的设计和实现
Ipv6协议测试系统研究和实现
双环网络G(N;1,s)的L形瓦仿真算法
基于圈的紧优双环网络G(N;1,s)求解算法
基于组件系统的可靠性分析
WSN随机调度覆盖算法的子集划分最优解
分布式网络攻击测试系统中的代理选择算法
无线传感器网络路由协议中的恶意节点发现和定位机制
一种新的动态无线传感器网络中的安全时钟同步算法
对Yahalom-Paulson协议的分析与改进
基于UIO测试序列的错误诊断算法
协议被动测试的错误标识
协议一致性冒烟测试系统的设计
一种SIP穿越NAT的解决方案
基于P2P的SIP用户定位研究
基于构造类别代数的数据流和控制流相结合的协议测试
基于Tcl的路由协议一致性测试
优化消息轨迹图以提高TTCN测试套的开发效率
传感器网络中的多重贪心路由算法
直扩编码并行序贯检测捕捉
无线传感器网络的动态树型结构
Petri网展开图法的分析和应用
概率信息流安全属性分析
无等待流水车间调度问题的优化
基于有向图的最小完全覆盖互操作测试序列生成算法
被动测试中网络监测问题
基于有限状态机的错误诊断算法
基于MIMO的节能无线传感器网络
基于ABNF的高速硬件解码方法的研究
一种可变测试集的协议一致性测试方法
基于形式规范的协议一致性测试的可靠性分析
传感器网络中的节能参与度模型
一种面向ABNF模式匹配的处理器设计
Load-balanced broadcast routing in wireless Ad-hoc networks
基于TCL的DHCP协议冒烟测试
无线传感器网络的WPCS覆盖策略
SIP服务器性能测试系统的研究与实现