|国家科技期刊平台
| 注册
首页|期刊导航|计算机应用研究|基于形式化的测试框架及实例分析

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

李元平 李华 阮宏玮 赵俊岚 王彪

计算机应用研究2018，Vol.35Issue(6)：1778-1782,5.
✕
计算机应用研究2018，Vol.35Issue(6)：1778-1782,5.DOI:10.3969/j.issn.1001-3695.2018.06.039

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

Testing framework based on formalized and instance analysis

李元平 1李华 2阮宏玮 1赵俊岚 3王彪1

作者信息

  • 1. 内蒙古大学计算机学院,呼和浩特010021
  • 2. 内蒙古财经大学信息化建设与管理中心,呼和浩特010070
  • 3. 内蒙古大学网络中心,呼和浩特010021
  • 折叠

摘要

关键词

测试框架/IPv6/OpenFlow/测试引擎

分类

信息技术与安全科学

引用本文复制引用

李元平,李华,阮宏玮,赵俊岚,王彪..基于形式化的测试框架及实例分析[J].计算机应用研究,2018,35(6):1778-1782,5.

基金项目

国家自然科学基金资助项目(61163011) （61163011）

赛尔网络下一代互联网技术创新项(NGII20150112) （NGII20150112）

计算机应用研究

OA北大核心CSCDCSTPCD

1001-3695

访问量0
|
下载量0
段落导航相关论文