基于Event-B的双机热备平台测试序列自动生成方法

摘要

为了确保双机热备平台满足相应的功能需求,需要对其进行功能测试.采用基于模型的测试方法,可以有效地避免人工手动生成测试中存在的不足,提高测试效率.利用Event-B方法对双机热备平台进行形式化建模,通过证明验证模型的正确性,并进一步利用L1算法生成基于模型、满足平台测试需求的测试序列集,对于确保测试过程的完备性、提高测试效率有一定意义.