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

Testing framework based on formalized and instance analysis

作　　者：李元平[1,2] 李华 阮宏玮[1] 赵俊岚 王彪[2] Li Yuanping;Li Hua;Ruan Hongwei;Zhao Junlan;Wang Biao(Cbllege of Computer Science;Information Cbnstruction ＆ Management Center,Inner Mongolia University of Finance ＆ Economics,Hohhot 010070,China;Center of Network ＆ Information,Inner Mongolia University,Huhhot 010021,China)

机构地区：[1]内蒙古大学计算机学院,呼和浩特010021 [2]内蒙古财经大学信息化建设与管理中心,呼和浩特010070 [3]内蒙古大学网络中心,呼和浩特010021

出　　处：《计算机应用研究》2018年第6期1778-1782,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(61163011);赛尔网络下一代互联网技术创新项目(NGII20150112)

摘　　要：测试工作细致繁杂,如何保证测试工作的全面性、完整性并建立统一的测试理论,指导测试工作自动、高效地展开,继而提高测试的复用性,是人们长久以来追求的目标。设计了通用的测试框架,依托基于模型的测试理论,支持通用的测试序列产生方法,由抽象测试序列得到相应的可执行测试序列,论证了此框架的合理性。同时依托该框架设计并实现了相应的关键测试构件之后,利用相应测试构件,在IPv6环境下针对Open Flow协议进行了一致性测试,发现了Open Flow协议实现对IPv6支持的一些实现错误,达到了预期效果。The test work is complicated,So the goal has long been pursued is how to guarantee the comprehensiveness and coverage of this work. Researchers also want to construct unified test theory to guide this work processed automatically and efficiently,and then improve the reuse of this work. This paper designed a general test framework,which depended on the test theory based on model,supported general test sequence generate methods and got real test sequence from abstract test sequence. And it argumented the rationality of this framework,also implemented key test components. This paper did a consistency test under the IPv6 environment against the Open Flow protocol using this test component,and got some implement error in Open Flow protocol implement equipment and got the expected result.

关 键 词：测试框架 IPV6 OpenFlow 测试引擎 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]