您的位置： 专家智库 > >

中国航空科学基金(20100753008)

作品数：1 被引量：0H指数：0
相关作者：蔡璐郑炜朱怡安更多>>
相关机构：西北工业大学更多>>
发文基金：中国航空科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇有限状态机
  • 1篇软件测试
  • 1篇状态机
  • 1篇FSM
  • 1篇测试用例
  • 1篇测试用例生成
  • 1篇测试用例生成...

机构

  • 1篇西北工业大学

作者

  • 1篇朱怡安
  • 1篇郑炜
  • 1篇蔡璐

传媒

  • 1篇微处理机

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于FSM的测试用例生成算法
2012年
研究了基于FSM模型的测试用例自动生成算法来验证实现的FSM与规格FSM的一致性。基于状态机分解的思想提出了新的用例生成方法,DC-方法。相对其他通用方法而言,它不必依据测试树中所有的子路径集合,从而使得用例集减少,同时减少每次重置到初始态的次数,测试序列的长度也有所减少,节省了测试时间,提高了效率,并且具有良好的扩展性,可以方便应用于包含数据流的测试,只需在搜索到所有的DU-Path后直接经过运算就能得出测试用例。并给出了生成用例方法的正确性证明。
蔡璐朱怡安郑炜
关键词：有限状态机软件测试
全选 清除 导出
共1页<1>
聚类工具0