该文所要研究的动态测试不同于软件工程中的定义,而是在协议测试中,按照测试集的执行和生成情况,将协议的一致性测试分为静态测试和动态测试两类.所谓静态测试就是测试集在整个测试期间不会被改变,而且测试集中的每一条测试序列在执行过程中按照一定的顺序相互独立的逐条执行.所谓动态测试是指测试集的执行和生成都是随实际测试情况而动态改变的.该文的研究工作主要集中在以下几个方面:(1)协议的相关性;协议规范的功能组内和功能组间,以及测试序列内和测试序列间,都存在相关性,这些相关性是导致上述两个问题的直接原因.为此该文从依赖性的角度揭示相关性对协议一致性测试的影响,并给出了相应的解决方案,从而使协议的一致性测试达到理想的测试效果.(2)动态协议一致性测试;动态协议一致性测试主要用于解决上述两个问题,因此它应该由两部分构成:静态测试集的动态执行--用以提高测试集的实际执行效率;测试用例的动态生成--用以扩大实际测试的覆盖度.该文首先在完全定义的有限状态机模型下讨论动态协议一致性测试,然后把它扩展到对非完全定义的有限状态机的测试.由于静态测试集对动态协议一致性测试的效率有很大的影响--静态测试集发现错误的能力越大,则动态协议一致性测试获得的信息就越多,效率就越高,因此该文通过对测试对象的变更,使用动态协议一致性测试方法来评估测试集是否是m完全的,如果非m完全,则自动补充新的测试序列,直到它构成m完全.(3)一致性测试的可靠性;由于一致性测试并不能保证对待测实体可计算集的穷尽,所以协议即使通过一致性测试也不能保证它的可靠性为100％,因此该文从统一的协议一致性测试方法入手,提出一种新的协议一致性测试的可靠性架构,然后以均一假设和正则假设为例,说明可靠性的计算过程,并在"零错误"条件下,对于原始的均一假设给出了一种更简单的计算方法.