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

基于时间Petri网产生测试序列的方法

唐乐  雷航  吴晓华  
【摘要】:有限状态机(FSM)模型不利于描述并行活动的同步性。而扩展有限状态机(EFSM) 因增加了操作和迁移的前置条件,导致存在不可达状态。因此,提出用时间Petri网(Time Petri Net)模型描述实时系统并产生测试序列的方法。时间Petri网是一种基于状态的高级模型,该模型方便描述系统的并发、同步等行为,避免基于FSM或EFSM模型分析实时系统的不足。搜索可达树的最短路径,产生有时间约束条件的测试序列,可检测系统是否在规定时间内完成预期功能。文中通过实例说明该方法在实时软件测试中的应用。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 潘理;刘显明;郑红;张远来;;基于Matlab的时间Petri网工具箱[J];系统仿真学报;2011年S1期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前5条
1 唐乐;雷航;吴晓华;;基于时间Petri网产生测试序列的方法[A];第四届中国测试学术会议论文集[C];2006年
2 王晓峰;赵瑞莲;;面向对象软件和EFSM规范测试覆盖准则比较[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 陈昱松;聂剑平;景博;崔楠;;一种改进的基于EFSM变迁依赖图的协议测试序列生成算法[A];第六届中国测试学术会议论文集[C];2010年
4 刘昶;史海波;;基于时间Petri网的制造过程模型研究[A];2008中国仪器仪表与测控技术进展大会论文集(Ⅲ)[C];2008年
5 费敏锐;李旭;;现场通信系统的仿真建模及其性能评价方法[A];二○○一年中国系统仿真学会学术年会论文集[C];2001年
中国博士学位论文全文数据库 前5条
1 舒挺;EFSM模型协议一致性测试序列自动生成研究[D];浙江大学;2010年
2 詹惠琴;测试系统的Petri网建模和性能分析研究[D];电子科技大学;2005年
3 许少云;混合动态Petri网理论与混合型企业CIMS的建模、分析问题研究[D];华南理工大学;1997年
4 杜栓柱;分布式协同工作环境中时间工作流建模技术研究[D];浙江大学;2004年
5 梁永全;基于内容的多媒体信息检索的研究[D];中国科学院研究生院(计算技术研究所);1999年
中国硕士学位论文全文数据库 前10条
1 闫宇;含过程调用的简单EFSM模型测试数据自动生成研究[D];北京化工大学;2012年
2 程喜朝;基于模拟退火算法的EFSM模型测试数据自动生成[D];北京化工大学;2011年
3 张洁;基于分散搜索算法的EFSM测试用例自动生成技术[D];南京大学;2012年
4 翟正利;时间Petri网的活性、有界性研究[D];山东科技大学;2003年
5 王晓峰;面向对象软件和EFSM规范测试覆盖准则比较[D];北京化工大学;2011年
6 邢海涛;基于时间Petri网的小组软件过程仿真建模研究[D];哈尔滨工程大学;2005年
7 王雪辉;基于PETRI网建模的企业铁路调度作业计划智能编排系统的研究[D];合肥工业大学;2006年
8 董岗;基于OTPN的电子商务系统并发性问题研究[D];南京航空航天大学;2004年
9 常颖莉;基于时间Petri网的公文流转系统研究与实现[D];西安理工大学;2007年
10 黄志华;基于规格说明的测试用例生成方法及其在实时嵌入式软件测试中的应用[D];新疆大学;2005年
中国重要报纸全文数据库 前4条
1 记者 严婷;欧盟正式批准爱尔兰救助计划[N];第一财经日报;2010年
2 本报驻布鲁塞尔记者 严恒元;欧盟出手救助葡萄牙 欧债危机进入新阶段[N];经济日报;2011年
3 特派记者 袁雪;拯救葡萄牙:欧债危机最后一环?[N];21世纪经济报道;2011年
4 驻京记者 张全;第二轮“输血”,希腊能否解沉疴?[N];解放日报;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978