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