您的位置： 专家智库 > >

姬忠鹤

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

合作作者

文献类型

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

领域

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

主题

  • 1篇软件测试
  • 1篇软件工程
  • 1篇自动生成
  • 1篇计算树逻辑
  • 1篇测试套

机构

  • 2篇中国科学技术...

作者

  • 2篇姬忠鹤
  • 1篇蒋凡
  • 1篇黄传动

传媒

  • 1篇计算机工程

年份

  • 1篇2006
  • 1篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于模型检查的协议一致性测试套自动生成被引量：2
2006年
提出一种构造完全可执行协议一致性测试套的新方法。该方法分别用Kripke结构和CTL公式来描述协议的EFSM模型和测试套所要满足的控制流和数据流测试覆盖标准,借助模型检查中的例证构造技术生成满足相应覆盖标准的测试套。在此基础上该文给出了测试套优化算法。实验结果表明该方法可行有效。
姬忠鹤蒋凡黄传动
关键词：测试套
基于模型检查的协议一致性测试生成
如何从协议规范出发生成满足一定覆盖标准的测试序列和测试套是协议一致性测试中的一个核心问题，现有的协议一致性测试序列和测试套生成方法大部分都是基于协议的FSM模型。 　　模型检查技术通常用于硬件电路以及协议规范的形式化验...
姬忠鹤
关键词：软件工程软件测试计算树逻辑
文献传递
全选 清除 导出
共1页<1>
聚类工具0