摘要
对一般的控制流测试思想和一些基于ＦＳＭ模型、ＬＴＳ模型的控制流测试方法进行概括和介绍．
A lot of researchs about communication protocol conformance testing have been accomplished.This paper introduces general ideas about protocol conformance testing and summarizes control flow based testing methods.General testing idea and procedure is first described;Then,FSM baesed methods and LTS based methods are introduced respectively.Besides,optimizing technics are also included.
出处
《内蒙古大学学报（自然科学版）》
CAS
CSCD
1997年第2期281-287,共7页
Journal of Inner Mongolia University：Natural Science Edition
关键词
协议一致性测试
有限状态机
计算机
控制流测试
protocol conformance testing finit state machine labelled transition system control flow test optimizing
