登录    注册    忘记密码

期刊文章详细信息

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

Testing framework based on formalized and instance analysis

  

文献类型:期刊文章

作  者:李元平[1,2] 李华[1,3] 阮宏玮[1] 赵俊岚[2] 王彪[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

出  处:《计算机应用研究》

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

年  份:2018

卷  号:35

期  号:6

起止页码:1778-1782

语  种:中文

收录情况:AJ、BDHX、BDHX2017、CSA-PROQEUST、CSCD、CSCD_E2017_2018、IC、INSPEC、JST、RCCSE、UPD、ZGKJHX、ZMATH、核心刊

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

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

分 类 号:TP311.1]

参考文献:

正在载入数据...

二级参考文献:

正在载入数据...

耦合文献:

正在载入数据...

引证文献:

正在载入数据...

二级引证文献:

正在载入数据...

同被引文献:

正在载入数据...

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心