双机热备平台测试序列自动生成方法的研究

Research on Method of Automatic Generation of Test Sequences of Hot Standby Platform

双机热备平台是一种广泛应用的安全计算机平台,它要求严格的安全性及可靠性。针对传统的产生双机热备平台测试序列方法所存在的不足,提出基于模型检验产生测试序列的方法,并证明利用CTL迁移覆盖所产生的测试序列对功能需求的完整覆盖性。为减少冗余测试,提高测试效率,提出一种优化测试序列的方法,并通过数据比较得出优化结果。结果表明:以保证覆盖率为前提,在相同条件下,本文提出的方法可减少状态空间,提高效率。

The duplex-computer hot standby platform is a kind of widely used safety computer platform ,which requires strict safety and reliability. In view of the insufficiency of the traditional test sequence generation method for the hot standby platform, the model checking method for test sequence generation was introduced. Complete coverage of test sequences produced by CTL migration coverage over all functional requirements was proved. In order to reduce redundancy tests and improve test efficiency, the test sequence optimization method was proposed and the optimized result was obtained by data comparison. The results show that under the premise of ensuring the rate of coverage and under the same conditions, the proposed method can reduce the state space and improve the efficiency.