测试序列生成的形式方法  

作　　者：龚正虎[1] 

机构地区：[1]国防科技大学计算机研究所

出　　处：《计算机工程与应用》1996年第2期24-28,共5页Computer Engineering and Applications

摘　　要：本文深入浅出系统全面的阐述了协议测试序列生成的形式方法。

关 键 词：计算机网络 测试序列 网络协议 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]