论文部分内容阅读
本文在简单介绍协议测试及一致性测试的基础上,重点评述了一致性测试集自动生成技术的发展状况,分别介绍了基于有限状态机FSM的测试集生成方法,基于形式描述语言Estelle的方法,基于形式描述语言LOTOS的方法,基于形式描述语言SDL和MSC的测试集生成方法。对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性。最后指出了这一领域中有待进一步研究的若干问题和发展趋势。
Based on the brief introduction of protocol testing and conformance testing, this paper mainly reviews the development of conformance test set automatic generation technology, introduces the generation of test set based on finite state machine FSM, the method based on formal description language Estelle, Based on the method of formal description language LOTOS, a test set generation method based on formal description language SDL and MSC is proposed. The main principles and important concepts of each method are introduced, and its characteristics and limitations are analyzed. Finally, some problems and development trends to be further studied in this field are pointed out.