PPP协议一致性测试集生成方法研究

摘要：

测试集的生成方法是一致性测试技术的核心.介绍了形式化描述技术在测试集生成过程中的应用,针对PPP协议介绍其协议实现时的状态迁移.使用形式化描述语言SDL对PPP协议进行形式化描述,并以此为基础生成测试集,这些测试集能有效地应用于PPP功能实现模块.

关键词：PPP、SDL、测试集

分类号：TP393(计算技术、计算机技术)

在线出版日期：2009-05-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：75-77,80