一种基于邻接矩阵的有限状态机路径产生方法

【摘要】：有限状态机可以精确刻画系统以及子系统的行为,因而广泛应用于系统建模中.基于有限状态机的系统原型描述为测试提供了依据.在基于状态机的测试中,测试序列的产生、选取、以及序列的评价等工作依赖于状态机规格说明。如何从规格说明中获取测试序列是本文的研究内容,我们提出了一种用邻接矩阵来表示状态机模型,并在此基础上利用 Strassen 算法产生状态机的路径的方法。

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	王巍,高德远;有限状态机设计策略[J];计算机工程与应用;1999年07期
2	孙骏,朱忠奎,尹安东,羊拯民;汽车制动防抱系统的混合建模与仿真研究[J];系统仿真学报;2004年09期
3	刘松涛;周晓东;杨绍清;;基于元胞自动机的红外图像增强新方法[J];红外与激光工程;2006年S4期
4	石佳钦;;一种用于静态分析的规约语言设计与实现[J];现代计算机(专业版);2008年12期
5	孟彦京;陈卓;;事件驱动的程序设计方法在嵌入式系统中的应用[J];电气自动化;2009年06期
6	曾斌,邢继峰,黄道颖,黄志军;面向对象的用户层协议软件设计[J];计算机工程与应用;2002年23期
7	李艺,张占月;COSIX连网子系统的设计与实现[J];计算机工程与设计;2002年01期
8	刘伟;朱一凡;李群;周宏伟;;面向仿真训练系统的过程模型研究[J];计算机仿真;2005年12期
9	刘轶;刘涛;张兴军;伍卫国;;基于有限状态机的呼叫中心软件设计[J];微电子学与计算机;2006年02期
10	武楠;房立金;姜春英;张飞;;基于有限状态机的空间对接仿真平台控制系统设计[J];机器人;2007年04期
11	梁伟晟;李磊;;基于与或逻辑的界面关系模型表示方法[J];计算机科学;2008年04期
12	刘恒;陈友龙;唐杰;罗先敏;;基于FSM的某型制氧制氮车仿真系统设计[J];福建电脑;2009年01期
13	武楠;房立金;刘红娟;;空间对接模拟器控制系统设计[J];软件导刊;2009年06期
14	王宗宝,梁齐;Verilog HDL中阻塞与非阻塞过程赋值的区别与应用[J];现代电子技术;2005年18期
15	张宏立;;基于Stateflow和xPC的监控系统实现[J];计算机应用与软件;2005年12期
16	魏丙楠;;有限状态机在嵌入式软件中的应用[J];计算机与信息技术;2005年10期
17	颜玉兰;何克清;刘进;;一种基于有限状态机的模型转换方法[J];计算机工程;2006年01期
18	魏先民;;有限状态机在嵌入式软件中的应用[J];潍坊学院学报;2006年04期
19	郭凯红;;关于有限状态机最小化理论的一个注记[J];辽宁大学学报(自然科学版);2008年03期
20	罗宏洋;;状态机在离子注入机中的应用[J];电子工业专用设备;2009年09期

中国重要会议论文全文数据库

前10条

1	刘晓明;赖祥;黄松;;一种基于邻接矩阵的有限状态机路径产生方法[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（下册）[C];2008年
2	李炜;许中卫;刘政怡;刘露露;;非完全确定有限状态机最小化有效算法的研究[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
3	李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[A];第四届中国软件工程大会论文集[C];2007年
4	王宗义;;有限状态机原理在OA系统中的运用[A];广西计算机学会25周年纪念会暨2011年学术年会论文集[C];2011年
5	周兰花;;基于多种数据存储方式的网络分析算法[A];中国地理信息系统协会第八届年会论文集[C];2004年
6	张剑鸣;杨正球;;基于Struts架构的考核系统软件的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年
7	刘松涛;周晓东;杨绍清;;基于元胞自动机的红外图像增强新方法[A];2006年全国光电技术学术交流会会议文集（D 光电信息处理技术专题）[C];2006年
8	邹循进;叶云青;陈孝威;;C++游戏开发中可重用动态有限状态机设计与实现[A];第三届和谐人机环境联合学术会议（HHME2007）论文集[C];2007年
9	李晓斌;刘辰;杨正球;;基于struts框架的软件流程设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年
10	王晓池;方志刚;徐洁;;基于选举分类的场景图像处理方法[A];2010中国仪器仪表与测控技术大会论文集[C];2010年

中国博士学位论文全文数据库

前10条

1	李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
2	金虎;自动化软件测试技术研究[D];四川大学;2006年
3	王力工;图的整谱性理论及其解的计算机搜索[D];西北工业大学;2003年
4	孔敏;关联图的谱分析及谱聚类方法研究[D];安徽大学;2006年
5	范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
6	冯松鹤;面向感知的图像检索及自动标注算法研究[D];北京交通大学;2009年
7	李晓军;基于量子框架的开放式汽车电控系统体系架构及其应用研究[D];山东大学;2008年
8	幸锐;基于纹理的图像聚类研究[D];浙江大学;2009年
9	吕新桥;联机手写汉字识别技术研究[D];华中科技大学;2009年
10	吕庆聪;普适计算语义服务发现与服务组合研究[D];东华大学;2009年

中国硕士学位论文全文数据库

前10条

1	董刚;基于自主智能体的群体动画创作方法研究与实现[D];国防科学技术大学;2004年
2	董焕珍;基于EFSM的UIO序列的生成研究[D];青岛大学;2009年
3	朱志伟;基于有限状态机的体育视频比赛类型识别[D];吉林大学;2006年
4	孙梅娟;水表自动检定装置与管理信息系统的研究[D];天津大学;2005年
5	周萌萌;虚拟手术系统中行为引擎的研究与实现[D];山东大学;2009年
6	高勃;基于工作流的科研管理信息系统的设计与实现[D];北京交通大学;2010年
7	杨伟丽;基于ISM有向图的求可达矩阵的简洁算法[D];厦门大学;2007年
8	许固镇;关于直觉模糊有限状态机若干问题的讨论[D];广西师范大学;2011年
9	唐军;GSM移动终端软件MMI部分的设计与实现[D];西北工业大学;2003年
10	田艺;基于数据手套的双手手势交互[D];浙江大学;2006年

中国重要报纸全文数据库

前2条

1	广东省电信科学技术研究院多媒体部张宇飞卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2	中国电子系统设备工程公司研究所韩柯;软件质量谁把关？[N];计算机世界;2004年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南