您的位置: 专家智库 > >

刘阳

作品数:1 被引量:22H指数:1
供职机构:上海大学计算机工程与科学学院更多>>
发文基金:上海市教育委员会重点学科基金上海市自然科学基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇冗余
  • 1篇测试生成算法

机构

  • 1篇上海大学
  • 1篇上海市计算机...

作者

  • 1篇刘攀
  • 1篇缪淮扣
  • 1篇刘阳
  • 1篇曾红卫

传媒

  • 1篇计算机学报

年份

  • 1篇2011
1 条 记 录,以下是 1-1
排序方式:
基于FSM的测试理论、方法及评估被引量:22
2011年
为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广.
刘攀缪淮扣曾红卫刘阳
关键词:测试生成算法
共1页<1>
聚类工具0