您的位置： 专家智库 > >

张玉中

作品数：3 被引量：3H指数：1
供职机构：成都理工大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 1篇软件测试
  • 1篇软件测试用例
  • 1篇自动化
  • 1篇自动生成
  • 1篇模型分析
  • 1篇安全协议
  • 1篇白盒
  • 1篇白盒测试
  • 1篇OTWAY-...
  • 1篇测试用例
  • 1篇测试自动化
  • 1篇串空间
  • 1篇改进型

机构

  • 2篇成都理工大学
  • 1篇河南教育学院

作者

  • 2篇张玉中
  • 1篇赵自强
  • 1篇胡国彪

传媒

  • 1篇科技风

年份

  • 2篇2011
共 3 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
改进型Otway-Rees协议的串空间模型分析被引量：2
2011年
本文在介绍了串空间模型的基本概念和定理的基础上,提出了改进型的Otway-Rees认证协议,然后利用串空间模型的理论和方法,从机密性和可鉴别性两个方面对改进型Otway-Rees协议进行了分析,分析结果表明该改进型协议是安全的。
赵自强胡国彪张玉中
关键词：安全协议串空间
基于GA的软件测试用例自动生成技术研究
随着软件测试行业的兴起,人们对软件测试技术的研究也越来越多。对测试技术的研究主要分两大部分:一是测试方法的研究,简单的分白盒测试和黑盒测试。另一个就是对测试工具的研究,现时的状况是人们对测试工具研究的重视程度要远远超过对...
张玉中
关键词：软件测试白盒测试测试用例自动生成测试自动化
文献传递
全选 清除 导出
共1页<1>
聚类工具0