基于层次有色Petri网的软件测试用例选取研究

【摘要】：软件测试的关键之一是良好的测试用例选型。目前,测试用例的设计主要是依据测试人员对系统需求和设计的理解,通过手工方式实现测试用例的建模。针对测试用例设计中缺乏可行的定量化操作方法的问题,在UML状态图基础之上,提出了一种基于CPN实现测试用例半自动化筛选方法。通过民航电报系统测试用例选择的实例,表明该方法能够按照深度和广度覆盖测试的原则,优化选取测试用例。

【作者单位】：中国民航大学空中交通管理研究基地
【基金】：国家863重点项目(No.2006AA12A105) 中国民航大学科研启动基金(No.06QD07S)
【分类号】：TP311.52

下载全文更多同类文献

PDF全文下载

CAJ全文下载

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

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

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

中国期刊全文数据库

前10条

1	何新华,张威,赵宇,卢庆龄;软件可靠性数学仿真测试平台设计与研制[J];装甲兵工程学院学报;1998年01期
2	冯柳平,武小年,周德新;软件测试技术在医保管理系统中的应用[J];桂林电子工业学院学报;2001年01期
3	王毅,蔡建平;基于API测试的分布式测试框架的研究与实现[J];计算机工程与设计;2004年08期
4	段红玉,陈炎龙;程序调试技巧[J];郑州牧业工程高等专科学校学报;2005年02期
5	张元华;王峻;;通过软件测试提高航空电台软件质量[J];电讯技术;2006年03期
6	贺青春;叶柏龙;;完全路径覆盖测试法[J];矿业研究与开发;2007年01期
7	刘海鹏;;手机软件测试简介[J];科技咨询导报;2007年01期
8	刘杰;;软件测试与测试中的复用技术[J];科技资讯;2007年04期
9	李宝林;李志蜀;李斌;金虎;王莉;;基于Bayes的软件可靠性模型研究[J];计算机工程与科学;2007年10期
10	胡冬萍;;一种基于遗传算法的黑盒测试应用[J];科技广场;2008年08期

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

前10条

1	徐李勤;王洁宁;;基于层次有色Petri网的软件测试用例选取研究[A];全国第二届信号处理与应用学术会议专刊[C];2008年
2	吉大纯;陈蕾;梁静;邵四海;;基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3	王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
4	张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
5	戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
6	牛建义;杨正球;;基于HtmlParser的Web测试自动化的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年
7	万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
8	王娜;孙敏;;软件测试方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9	田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10	张二梅;刘辰;杨正球;;基于HTMLParser自动生成测试用例的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年

中国重要报纸全文数据库

前10条

1	通文;罗德与施瓦茨：HSDPA测试“软硬兼施”[N];通信产业报;2006年
2	谢敏沈雪芳戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
3	刘昶;多媒体移动终端的MMS一致性测试[N];通信产业报;2005年
4	计算机世界实验室韩勖;拨云见日[N];计算机世界;2008年
5	信息产业部软件与集成电路促进中心于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
6	刘昶;WiMAX射频测试期待一致性解决方案[N];中国电子报;2007年
7	;值得注意的免费安全工具[N];网络世界;2004年
8	罗德与施瓦茨中国有限公司周云;罗德与施瓦茨领跑HSPA测试[N];通信产业报;2006年
9	武刚;测试是质量的关键[N];中国计算机报;2003年
10	罗德与施瓦茨中国有限公司刘昶;用规范化“通畅”PoC测试[N];通信产业报;2006年

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

前10条

1	王玉英;基于赋时有色Petri网的Web服务组合建模验证与测试技术研究[D];西安电子科技大学;2012年
2	潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
3	李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院（长春光学精密机械与物理研究所）;2010年
4	游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
5	李绍勇;基于信标迭代控制的Petri网死锁预防策略[D];西安电子科技大学;2011年
6	陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
7	孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年
8	刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
9	张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
10	李海凌;基于Petri网工作流技术的工程项目群管理研究[D];西南交通大学;2012年

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

前10条

1	李亚南;基于区域理论的Petri网活性控制器优化设计[D];西安电子科技大学;2010年
2	何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;2010年
3	王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
4	翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
5	杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;2010年
6	王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
7	赵冬霞;基于面向对象时间Petri网的物流配送业务流程优化与仿真[D];哈尔滨工业大学;2010年
8	李桂枝;皮带机群控系统的Petri网建模与规则化描述[D];合肥工业大学;2011年
9	高峰;组合式Petri网对PI演算的转换与验证[D];吉林大学;2010年
10	赵珊;基于UML和Petri网模型验证框架的设计与实现[D];西安建筑科技大学;2010年

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