基于FSM的测试用例生成算法

摘要：

研究了基于FSM模型的测试用例自动生成算法来验证实现的FSM与规格FSM的一致性.基于状态机分解的思想提出了新的用例生成方法,DC-方法.相对其他通用方法而言,它不必依据测试树中所有的子路径集合,从而使得用例集减少,同时减少每次重置到初始态的次数,测试序列的长度也有所减少,节省了测试时间,提高了效率,并且具有良好的扩展性,可以方便应用于包含数据流的测试,只需在搜索到所有的DU-Path后直接经过运算就能得出测试用例.并给出了生成用例方法的正确性证明.

关键词：有限状态机、软件测试、用例生成算法、用例集

所属期刊栏目：33

分类号：TP311.5(计算技术、计算机技术)

资助基金：航空科学基金20100753008

在线出版日期：2012-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：32-36