一致性测试的形式框架扩充及实例化

将“引入概率后的一致性测试形式方法”用ＦＳＭ模型进行实例化，并对原框架进行了扩充；     

基于动态测试选择的一致性测试算法

给出一个基于动态测试选择的一致性测试算 在动态测试过程中能获得关于ＩＵＴ更准确的局部判定。     

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

对一般的控制流测试思想和一些基于ＦＳＭ模型、ＬＴＳ模型的控制流测试方法进行概括和介绍。并介绍了相应的优化技术。