摘要
测试集的生成方法是一致性测试技术的核心。介绍了形式化描述技术在测试集生成过程中的应用,针对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.
出处
《计算机与现代化》
2009年第4期75-77,80,共4页
Computer and Modernization
