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

Research on PPP Protocol Conformance Testing Suite Generation Method

作　　者：李伟[1] 

机构地区：[1]湛江师范学院信息科学与技术学院,广东湛江524048

出　　处：《计算机与现代化》2009年第4期75-77,80,共4页Computer and Modernization

摘　　要：测试集的生成方法是一致性测试技术的核心。介绍了形式化描述技术在测试集生成过程中的应用,针对PPP协议介绍其协议实现时的状态迁移。使用形式化描述语言SDL对PPP协议进行形式化描述,并以此为基础生成测试集,这些测试集能有效地应用于PPP功能实现模块。The generation method of test suite is the key of conformance testing technology. This paper introduces the application of formal description technology in the progress of generate testing suite, and the PPP protocol＇ s state transference of the implement module. Using SDL language, this article gives the formal specification of PPP protocol, and on the basis of formal specification generate test suit. These test suits can be used in PPP application module effectively.

关 键 词：PPP SDL 测试集 

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