退出
我的积分:
中文文献批量获取
外文文献批量获取
中国计算机自动测量与控制技术协会;
有限状态机; 测试序列生成; 协议测试; 一致性测试; 协议一致性; 生成算法; 外部网关协议;
机译:协议规范的结构分析和最大故障覆盖范围一致性测试序列的生成
机译:生成协议一致性测试序列的正式方法
机译:基于区分序列生成可同步一致性测试序列
机译:基于FSM的Q / GDW11709.2的协议一致性测试序列生成
机译:通信协议一致性测试中的时序和可控性问题。
机译:FSM-F:MANET中基于有限状态机的拒绝服务和入侵检测框架
机译:一种用计时器系统调用生成FSM一致性测试序列的方法
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。
机译:下一代智能网络应用协议一致性测试系统中协议测试结果报告的生成方法
机译:通过从规范自动生成测试序列中引入内部事件概念来减少FSM状态空间的方法
机译:下一代智能网络应用协议一致性测试系统中的测试数据管理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。