基于全观察者的多输入输出变迁系统拒绝测试研究

【摘要】：拒绝测试(refusal testing)是标号变迁系统LTS测试领域中的一个重要理论。在拒绝测试中,测试者不仅能检测到动作可以发生,而且能检测到动作不能发生,即动作被拒绝,从而具备了对系统任意状态下的合法和非法行为的完全的辨识能力。多输入输出变迁系统(MIOTS)拒绝测试是标号变迁系统拒绝测试在分布式特性测试方向上扩展的最新研究成果。本文的研究内容与结论包括: 综述了八十年代以来标号变迁系统及其扩展模型——输入输出变迁系统IOTS和多输入输出变迁系统MIOTS的拒绝测试理论。其中,MIOTS拒绝测试理论是基于单一观察者的。 单一观察者只能串行的观察各个输出通道,因此生成的测试集规模很大。为了有效减小测试集的规模,本文提出了全观察者概念,建立了一种基于全观察者的MIOTS拒绝测试理论框架,研究了合理的及完备的全观察者测试集的生成问题,考察了全观察者测试在网络协议测试中的应用。本文进一步指出了分解式的MIOTS单一观察者测试生成方法在生成效率上的问题,给出了一种优化分解技术,并在此基础上提出了分解式的MIOTS全观察者测试生成方法。 分布式测试是使用多个测试器对一个系统进行测试的一种方法。本文分别研究了MIOTS单一观察者和全观察者测试的分布式测试结构和分布算法,在分布式测试方向上发展了MIOTS拒绝测试理论。对MIOTS模型的一种特例多端口有限状态机np-FSM,本文提出了一种基于定时器的测试协调机制及相应的分布式测试序列生成算法,与MIOTS分布式测试相比更简单而容易应用。我们说明了np-FSM测试是全观察者MIOTS拒绝测试的一种特殊形式。 以np-FSM模型及其分布式测试方法为基础,本文提出了一种适用于IP路由协议的路由信息处理功能的测试框架,包括功能模型、测试结构、测试描述脚本等。根据这个框架实现的一致性测试器,有效的支持了快速度、高质量的测试开发,成为已有通用测试系统的有力补充。