收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于FSM的测试理论、方法及评估

刘攀  缪淮扣  曾红卫  刘阳  
【摘要】:为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 董岩;郭晓利;范异君;;基于点迹距离的概率数据关联方法[J];舰船科学技术;2011年S1期
2 杨明,张冰,马萍,王子才;系统测试-评估-协同工作集成平台研究[J];系统仿真学报;2002年01期
3 王泗宏,毛少杰;基于仿真的C~3I系统测试评估技术研究[J];系统仿真学报;2003年06期
4 耿浩;郭成栋;;一种用于学习系统的个性化测试模型[J];科学技术与工程;2007年13期
5 郑扬飞,杨明,李伯虎,王子才;复杂仿真系统的测试评估辅助系统研究[J];计算机集成制造系统-CIMS;2002年06期
6 林果园;黄皓;张永平;;入侵检测系统研究进展[J];计算机科学;2008年02期
7 刘悦;李勇;;济钢四降压电能质量测试评估及SVC运行效果分析[J];山东冶金;2008年S1期
8 尹霞,吴建平;基于TTCN的测试序列选择技术研究[J];小型微型计算机系统;2000年05期
9 王自亮,罗守山,杨义先;入侵检测系统的测试与评估[J];中国数据通信;2002年11期
10 都军,刘积仁;一种高效的网络协议一致性测试生成方法[J];计算机学报;1994年11期
11 梅玉平;新运营公司开展3G移动通信业务的思考[J];广东通信技术;2001年07期
12 姬忠鹤;蒋凡;黄传动;;基于模型检查的协议一致性测试套自动生成[J];计算机工程;2006年11期
13 林华辉;周颢;潘全科;赵保华;;基于局部错误诊断的动态协议一致性测试方法[J];北京邮电大学学报;2007年01期
14 周方;;一种指控系统软件可靠性评估的尝试[J];系统仿真学报;2007年06期
15 高翔;王欣;;一种新的测试序列生成方法研究[J];电子测量与仪器学报;2007年02期
16 胡雷刚;肖明清;王磊;;并行测试任务可并行性分析与应用[J];计算机测量与控制;2008年10期
17 汪洋;黄建国;;多线程测试序列在USB/UCB半自动检测与维护系统中的应用[J];电子质量;2008年12期
18 戴春翟;李晓静;张侃谕;;集成电路测试系统通用测试软件的研究与设计[J];电子测量技术;2010年01期
19 周清雷;张文宁;赵东明;李喜艳;;基于UML状态图的类测试技术[J];计算机工程;2010年02期
20 ;EPON、EoC测试评估标准研究及“下一代广播电视网(NGB)电缆接入技术(EoC)需求白皮书”[J];广播与电视技术;2010年09期
中国重要会议论文全文数据库 前10条
1 陈昱松;聂剑平;景博;崔楠;;一种改进的基于EFSM变迁依赖图的协议测试序列生成算法[A];第六届中国测试学术会议论文集[C];2010年
2 陈思成;魏道政;王仲;;时序电路测试中时间及测试序列识别问题研究[A];中国图象图形科学技术新进展——第九届全国图象图形科技大会论文集[C];1998年
3 李勇;吴国凤;;软件测试中基于概率的测试用例选择[A];全国第16届计算机科学与技术应用(CACIS)学术会议论文集[C];2004年
4 赵秀才;李春灵;;基于COM的通用自动测试系统软件的设计[A];2007'中国仪器仪表与测控技术交流大会论文集(二)[C];2007年
5 唐乐;雷航;吴晓华;;基于时间Petri网产生测试序列的方法[A];第四届中国测试学术会议论文集[C];2006年
6 李华;叶新铭;吴承勇;王龙;王玲玲;;一种互操作测试的建模及测试选择方法[A];第五届中国测试学术会议论文集[C];2008年
7 李秀华;桑楠;雷航;吴晓华;;EFSM模型的实时测试序列生成方法[A];第四届中国测试学术会议论文集[C];2006年
8 梁炎;陈勇;董岩;;C3I电子对抗环境仿真[A];2003年全国系统仿真学术年会论文集[C];2003年
9 武茂春;李华;王龙;;一种互操作场景中策略路由的建模与测试[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10 王宁;;信息保障的理解和实践[A];第十八次全国计算机安全学术交流会论文集[C];2003年
中国博士学位论文全文数据库 前10条
1 黄越;数字集成电路自动测试生成算法研究[D];江南大学;2012年
2 吴丽华;数字集成电路多故障测试生成算法和可测性设计的研究[D];哈尔滨理工大学;2007年
3 陈锦富;基于错误注入的构件安全性测试理论与技术研究[D];华中科技大学;2009年
4 吴限德;快速响应空间小卫星测试理论与方法研究[D];哈尔滨工业大学;2010年
5 吴限德;快速响应小卫星测试理论与方法研究[D];哈尔滨工业大学;2010年
6 柯尧;协议分布式测试理论及系统可靠性研究[D];中国科学技术大学;2006年
7 张岩;列车运行控制系统软件故障相关形式化测试方法[D];北京交通大学;2012年
8 钱兰;协议一致性测试的错误诊断研究[D];中国科学技术大学;2006年
9 黄传动;通信协议的分布式测试方法研究和测试系统实现[D];中国科学技术大学;2006年
10 林华辉;协议互操作性测试理论与方法研究[D];中国科学技术大学;2007年
中国硕士学位论文全文数据库 前10条
1 闫蕾;卫星电源测试评估系统的初步研究[D];中国科学院研究生院(空间科学与应用研究中心);2004年
2 王超琦;CTCS-3级列控系统车载设备测试序列的生成方法及工具研究[D];北京交通大学;2011年
3 孙伟亮;轨道电路读取器测试序列生成方法的研究[D];北京交通大学;2012年
4 柳伟;基于形式化UML测试序列生成方法研究[D];哈尔滨工程大学;2011年
5 黎中文;基于状态的类测试技术研究[D];解放军信息工程大学;2011年
6 章慧;CTCS3级列控系统车载设备测试方法研究[D];北京交通大学;2007年
7 王书;CTCS-3级列控系统测试序列生成专家系统的研究[D];北京交通大学;2012年
8 曲雷;天津中医学院网络教学系统建设研究[D];天津大学;2004年
9 孙景阳;汽车制动器摩擦性能试验方法研究[D];吉林大学;2006年
10 王轸;基于遗传优化的三值神经网络测试生成算法[D];哈尔滨理工大学;2007年
中国重要报纸全文数据库 前10条
1 李文、汪涌;奥运志愿者培训启动[N];人民日报;2006年
2 ;规划是关键 测评是基础[N];中国计算机报;2008年
3 何韬;空管自动化系统测试评估平台[N];中国民航报;2007年
4 杨晓嘉 向梅;做新技术的开拓者:空管新技术实验室[N];中国民航报;2007年
5 本刊记者 秦天;谁来拯救我们的电荒?[N];中华合作时报;2004年
6 ;找错[N];计算机世界;2002年
7 本报记者 刘恕;让国产电动汽车走得更平稳[N];科技日报;2006年
8 叶家全 向梅;ATC系统测试平台关键技术通过部级鉴定[N];中国民航报;2007年
9 艾默生网络能源有限公司;炼就机房体检的火眼金睛[N];中国计算机报;2008年
10 计算机世界实验室 韩勖;合二为一 顺势而为[N];计算机世界;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978