您的位置： 专家智库 > >

韩柯

作品数：2 被引量：1H指数：1
供职机构：西安体育学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 1篇时序逻辑
  • 1篇线性时序逻辑
  • 1篇接口
  • 1篇接口变异
  • 1篇PATHFI...
  • 1篇SPIN
  • 1篇JAVA

机构

  • 2篇解放军理工大...
  • 2篇西安体育学院

作者

  • 2篇韩柯
  • 1篇王璠
  • 1篇张侹

传媒

  • 1篇电脑知识与技...

年份

  • 1篇2010
  • 1篇2009
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
面向构件接口变异的模型检验技术研究被引量：1
2010年
随着构件技术在软件开发中的广泛应用,人们对构件化软件系统质量的要求也在不断提高。该文运用模型检验技术进行接口变异测试的相关研究工作。该文首先详细介绍了基于模型检验技术的变异测试的基本原理,随后通过对构件集成时接口之间的交互关系进行分析后,提出了通过构造接口函数调用关系模型进行基于模型检验的接口变异测试方法。最后,通过实例进行了对JavaBean构件的接口测试用例的自动生成。
张侹王璠韩柯欧阳志强
基于SPIN的变异分析方法研究
模型检验是一种针对有限状态系统的形式化验证技术,以其简洁明了和自动化程度高而引人注目。通过引入模型检验技术可以改进变异分析方法中等价变异体的判断和测试用例自动生成的不足。在介绍了相关理论知识后,使用当前较为流行的模型验证...
张侹王璠韩柯
关键词：SPIN线性时序逻辑
文献传递
全选 清除 导出
共1页<1>
聚类工具0