协议工程论文
从E-LOTOS到GE-LOTOS的自动转换工具与GE-LOTOS执行器的设计与实现
论文摘要协议是计算机网络的灵魂,随着网络的不断发展,协议具有了空间分布性、并发性、异步性、不稳定性和多样性,这使得再也不可能靠直觉来设计出高质量的协议以及进行协议测试。由此兴起...域间路由协议BGP-4健壮性测试技术的研究
论文题目:域间路由协议BGP-4健壮性测试技术的研究论文类型:博士论文论文专业:计算机科学与技术作者:王乐春导师:龚正虎关键词:计算机网络,协议工程,健壮性测试,场景模型,测试...