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

【Abstract】 It is essential to ensure that the platform meets the functional requirements via function test. This paper discussed a model-based testing approach. The formal model of the platform was established by refi nement in Event-B. Then, the correctness of the model was verifi ed by mathematical proofs. The test sequences that were generated using L~1 algorithm based on the Event-B model could be targeted to meet the test requirements which could help to ensure the completeness, and improve the effi ciency of the test.更多还原