机译:具有时间限制的网络协议鲁棒性测试的正式方法
Tsinghua National Laboratory for Information Science and Technology, Beijing 100084, R R. China,Department of Computer Science & Technology, Tsinghua University, Beijing 100084, R R. China;
Tsinghua National Laboratory for Information Science and Technology, Beijing 100084, R R. China,Network Research Center of Tsinghua University, Beijing 100084, R R. China;
Tsinghua National Laboratory for Information Science and Technology, Beijing 100084, R R. China,Department of Computer Science & Technology, Tsinghua University, Beijing 100084, R R. China;
Tsinghua National Laboratory for Information Science and Technology, Beijing 100084, R R. China,Department of Computer Science & Technology, Tsinghua University, Beijing 100084, R R. China;
protocol testing; robustness testing; timed testing; ttcn-3; efsm;
机译:网络协议系统监视-一种带有被动测试的正式方法
机译:通信协议被动测试的正式数据中心方法
机译:实时资源访问控制协议的建模,分析和验证:一种正式方法
机译:具有时间约束的网络协议鲁棒性测试的一种形式化方法
机译:一种集中式仿真方法,用于测试容错和实时通信协议。
机译:无线传感器网络中协议的被动测试方法
机译:网络协议稳健测试的正式方法
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。