中国航空科学基金(20100753008)
- 作品数：1 被引量：0H指数：0
- 相关作者：蔡璐郑炜朱怡安更多>>
- 相关机构：西北工业大学更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于FSM的测试用例生成算法
- 2012年
- 研究了基于FSM模型的测试用例自动生成算法来验证实现的FSM与规格FSM的一致性。基于状态机分解的思想提出了新的用例生成方法,DC-方法。相对其他通用方法而言,它不必依据测试树中所有的子路径集合,从而使得用例集减少,同时减少每次重置到初始态的次数,测试序列的长度也有所减少,节省了测试时间,提高了效率,并且具有良好的扩展性,可以方便应用于包含数据流的测试,只需在搜索到所有的DU-Path后直接经过运算就能得出测试用例。并给出了生成用例方法的正确性证明。
- 蔡璐朱怡安郑炜
- 关键词：有限状态机软件测试
