面向对象类测试的精简EFSM转换算法 |
| |
引用本文: | 吴静莉,李素娟.面向对象类测试的精简EFSM转换算法[J].数字社区&智能家居,2012(6X):4490-4491. |
| |
作者姓名: | 吴静莉 李素娟 |
| |
作者单位: | 鹤壁职业技术学院电子信息工程学院 |
| |
摘 要: | EFSM是一个没有层次和并发结构的状态图,因此很难处理较复杂的软件系统,而且由于EFSM中存在前置条件,使得生成的测试序列有可能存在不可达性。该文提出一种将EFSM转化为精简有限状态机(FSM)的转换算法,很大程度上减少了中间产生的等价状态,并有效防止了组合间爆炸问题的出现,得到的精简FSM最小可达。
|
关 键 词: | 状态测试 扩展有限状态机 有限状态机 状态图 不可达路径 |
本文献已被 维普 等数据库收录! |
|