基于控制流协议一致性关系测试方法评述.pdfVIP

1997年 3月 内肇古大学学报(自然科学版) Mar． 19g7 第2a毫第2蝌 ActaScientiarum Natura[[um UnlversltatisNeiMon8ol Vo1．Z8 No．2 卜 7 基于控制流的协议一致性关系测试方法的评述 陈月惠 曹 军 李 华 石立新 李 文 ’ 。- -———-， h ’·———_一 -]-p；D，2 (内蒙古大学计算机科学系，010021．呼和浩特) 肘A 摘要 对一般的控翻流测试思想和一些基于FSM模型、LTS模型的控制流测试 ‘ 方法进行概括和介绍．并介绍了相应的优化技术． 关键词 协议一致性测 有限状态讥FSM 带标记转换系统LTS 控翻流测 试 优化 中图资料分类号m 。 讨寄抛 拦 统