Research on Method of Automatic Generation of Test Sequences of Hot Standby Platform
Yuan Cao · Journal of the China Railway Society · 2013
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.