基于形式化的测试框架及实例分析

测试工作细致繁杂，如何保证测试工作的全面性、完整性，并建立统一的测试理论，指导测试工作自动、高效的展开，继而提高测试的复用性，是我们长久以来追求的目标。本文设计了通用的测试框架，依托基于模型的测试理论，支持通用的测试序列产生方法，由抽象测试序列得到相应的可执行测试序列，论证了此框架的合理性。同时依托该框架设计并实现了相应的关键测试构件之后，利用相应测试构件，在IPv6环境下针对OpenFlow协议进行了一致性测试，发现了Openflow协议实现对IPv6支持的一些实现错误，达到了预期效果。

The Testing Framework Based On Formalized and Instance Analysis

The test work is complicated, So the goal we have long been pursued is how to guarantee this work comprehensiveness and coverage. We also want to construct unified test theory to guide this work processed automatically and efficiently, and then improve the reuse of this work. In this article, we designed a general test framework, which depends on the test theory based model, supports general test sequence generate methods and get real test sequence from abstract test sequence, we argumented the rationality of this framework, also implemented key test components. We do a consistency test under the IPv6 environment against the OpenFlow protocol using this test component,get some implement error in Openflow protocol implement equipment and get our expected result.