论文研究基于形式化的测试框架及实例分析.pdf

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