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

摘要

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