收藏本站
《计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集》2010年
收藏 | 手机打开
二维码
手机客户端打开本文

改进的UIO序列生成算法

黎中文  张来顺  肖健鹏  
【摘要】:有限自动机(FSM)被广泛用对软硬件进行建模。唯一输入/输出序列(UIO Sequence)用于构造测试序列来验证FSM是否到达某一状态。UIO序列寻找过程就是构造一棵UIO树,但是构造过程中使用的分解节点方法会产生许多不需要的节点。在结合已有的广度优先搜索算法和搜寻过程中构造UIO树的方法、本文提出将UIO树的节点标记为"需要"和"不需要"状态的方法,以降低搜索空间,加快UIO序列生成过程。该算法与以往算法相比,在时间复杂度和空间复杂度两方面有较大改进。

【相似文献】
中国期刊全文数据库 前10条
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期
中国重要会议论文全文数据库 前10条
1 黎中文;张来顺;肖健鹏;;改进的UIO序列生成算法[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
2 区汝就;;有限自动机在数字逻辑电路设计中的应用[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
3 韩颖;高翔;王国仁;于戈;郑怀远;;OQL预处理器代码生成算法的设计[A];第十六届全国数据库学术会议论文集[C];1999年
4 文静华;李祥;;安全开放系统的Petri网模型[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
5 唐超;刘辰;杨正球;;使用多层迭代分析和分类网页文档的方法[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 陶惠良;杨正球;;基于Struts+Spring的易维护软件流程设计与实现[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
7 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
8 董聪;;随机DEDS的模型体系与算法结构(Ⅰ)[A];1998中国控制与决策学术年会论文集[C];1998年
9 蒋志明;丁利华;;离散事件动态系统的代数特征[A];1994中国控制与决策学术年会论文集[C];1994年
10 艾山·吾买尔;吐尔根·依不拉音;早克热·卡德尔;;维吾尔语名词词干提取算法的研究[A];第四届全国信息检索与内容安全学术会议论文集(上)[C];2008年
中国博士学位论文全文数据库 前10条
1 王鸿吉;可逆有限自动机的结构与分解[D];中国科学院研究生院(软件研究所);2005年
2 张征;分子下推自动机理论及应用研究[D];华中科技大学;2007年
3 郑永斌;物体检测技术和半定规划松弛的聚类算法研究[D];国防科学技术大学;2011年
4 王玉国;数控雕刻加工关键技术研究[D];南京航空航天大学;2007年
5 孙玉强;并行语法分析中几类算法的设计与研究[D];西安电子科技大学;2008年
6 陈(日午);关于真实感服装生成算法的研究[D];西北工业大学;2000年
7 白芳妮;数字化产品装配序列生成算法及相关技术研究[D];西北工业大学;2000年
8 李美安;普适分布式互斥算法及应用[D];电子科技大学;2007年
9 黄巍;基于可重叠矩形子模式的图像表示和操作方法研究[D];华中科技大学;2008年
10 马晓普;角色工程中的角色与约束生成方法研究[D];华中科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘跃霞;语言半环上的有限自动机的推广[D];太原科技大学;2010年
2 林添荣;量子有限自动机等价性判定研究[D];福建师范大学;2011年
3 任宏宇;基于有限自动机的软件行为模型评价方法研究[D];北京理工大学;2011年
4 张景云;堆枚举生成算法的研究[D];华东师范大学;2012年
5 申二威;分布式互斥请求集生成算法的研究[D];内蒙古农业大学;2010年
6 陈霄凯;有限自动机(FA)在测控程序自动生成中的应用研究[D];华北电力大学(河北);2004年
7 孟青慧;黑白图像压缩的自动机方法[D];太原科技大学;2011年
8 欧晓华;两类自动机的乘积研究[D];电子科技大学;2010年
9 孙志强;基于半环代数理论的有限自动机的探讨[D];太原科技大学;2009年
10 李淑艳;基于多核CPU的平面Voronoi图并行生成算法研究[D];陕西师范大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026