面向对象类测试的精简EFSM转换算法

摘要：

EFSM是一个没有层次和并发结构的状态图,因此很难处理较复杂的软件系统,而且由于EFSM中存在前置条件,使得生成的测试序列有可能存在不可达性.该文提出一种将EFSM转化为精简有限状态机(FSM)的转换算法,很大程度上减少了中间产生的等价状态,并有效防止了组合间爆炸问题的出现,得到的精简FSM最小可达.

关键词：状态测试、扩展有限状态机、有限状态机、状态图、不可达路径

所属期刊栏目：8

分类号：TP313(计算技术、计算机技术)

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

页数：共3页

页码：4490-4491,4494