改进的UIO序列生成算法
【摘要】：有限自动机(FSM)被广泛用对软硬件进行建模。唯一输入/输出序列(UIO Sequence)用于构造测试序列来验证FSM是否到达某一状态。UIO序列寻找过程就是构造一棵UIO树,但是构造过程中使用的分解节点方法会产生许多不需要的节点。在结合已有的广度优先搜索算法和搜寻过程中构造UIO树的方法、本文提出将UIO树的节点标记为"需要"和"不需要"状态的方法,以降低搜索空间,加快UIO序列生成过程。该算法与以往算法相比,在时间复杂度和空间复杂度两方面有较大改进。
|
|
|
|
| 1 |
鲍丰;关于弱可逆有限自动机延迟步数分解的两个结果[J];计算机学报;1993年08期 |
| 2 |
袁永升;兰亚坤;;有限自动机的逻辑流程图分析法[J];东北师大学报(自然科学版);1993年03期 |
| 3 |
王恺,靳简明,王庆人;西文OCR后处理中的有限自动机模型[J];计算机工程与应用;2004年23期 |
| 4 |
周德玉;有限自动机的变换半群和它识别的信息[J];重庆大学学报(自然科学版);1989年01期 |
| 5 |
彭召意,许中华,蒋伟进,杨伟丰;一种基于有限自动机的多线程软件设计方法[J];福建电脑;2004年04期 |
| 6 |
朱云飞,张衡,罗铸楷;有限自动机的线性化[J];湘潭大学自然科学学报;1999年01期 |
| 7 |
周晔,黄永忠,郭金庚;类信息的提取技术及应用[J];计算机应用研究;2001年09期 |
| 8 |
李峰;基于KMP算法的有限自动机的确定化[J];重庆三峡学院学报;2005年03期 |
| 9 |
郑剑;江建慧;;一种启发式UIO序列生成算法[J];计算机工程与应用;2008年20期 |
| 10 |
袁永昇;有限自动机RTL描述的一种有效逻辑转换[J];计算机学报;1990年06期 |
| 11 |
王鸿吉;分解弱可逆有限自动机的两个结果[J];计算机研究与发展;2005年04期 |
| 12 |
;自动化理论与技术[J];电子科技文摘;2003年01期 |
| 13 |
陈庆兰;;有限自动机在地址识别中的应用[J];中国电力教育;2007年S1期 |
| 14 |
黄飞丹;;有限自动机的等价性与路代数[J];毕节学院学报;2009年04期 |
| 15 |
程鹏;卢国杰;韦雅君;甄成刚;;有限自动机在自动柜员机测控程序设计中的应用[J];中小企业管理与科技(上旬刊);2011年07期 |
| 16 |
黎中文;张来顺;何焱;;基于FSM的测试序列生成方法研究[J];计算机应用研究;2011年09期 |
| 17 |
袁永升;岳丽娟;;有限自动机的CAD[J];东北师大学报(自然科学版);1992年04期 |
| 18 |
敖丽敏,王树大,郭永洪;一种基于有限自动机的软件工作流开发模型[J];计算机工程与应用;2004年28期 |
| 19 |
赵丽敏;曹金凤;宋秀芹;;有限自动机在自动控制软件分析中的应用[J];中国科技信息;2007年09期 |
| 20 |
孙燕;耿祥义;;一种新的基于FAPKC4的数字签名方法[J];网络安全技术与应用;2008年02期 |
|
手机打开
论文排版
快捷付款方式
订购知网充值卡
订购热线
帮助中心