测试套自动生成论文

基于E-LOTOS的协议抽象测试套自动生成系统
论文摘要协议测试是用来保证协议实现正确性和有效性的重要手段。协议一致性测试是测试被测协议实现与协议规范要求的一致性的，是协议测试的基础。协议一致性测试研究工作主要集中于两个方面...