收藏本站
《2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)》2008年
收藏 | 手机打开
二维码
手机客户端打开本文

基于程序切片的可达路径选择的研究

王磊  马建红  樊世燕  周华  辛政华  
【摘要】:测试作为软件开发过程中的一个重要环节,是保证软件质量的重要保证。对白盒测试(结构测试) 和测试用例的生成来说,如何选择测试路径直接影响着测试的充分性和有效性,以及测试用例的质量,单纯地测试程序难以达到良好的效果,不能保证软件的质量。本文的主要是采用程序切片中静态切片技术并结合最小谓词策略对程序进行可达路径的选择,并以一个实例进行了说明。

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 易彤,吴方君;一种基于覆盖测试的动态切片的计算方法[J];应用科学学报;2004年02期
【共引文献】
中国期刊全文数据库 前1条
1 张聪品,丁辉;异常结构对Java程序分析的影响[J];计算机应用;2002年12期
中国硕士学位论文全文数据库 前10条
1 肖波;通讯系统嵌入式平台下的单元测试技术研究[D];华东师范大学;2006年
2 郝丹;面向对象软件内嵌探针测试的应用研究[D];大连海事大学;2006年
3 冀佩刚;程序静态分析研究[D];兰州大学;2006年
4 陈蕊;程序中不可达路径的识别及其在结构测试中的应用[D];中国科学院研究生院(计算技术研究所);2006年
5 杜林;面向对象程序切片技术及其在软件度量中的应用[D];山东大学;2006年
6 邹燕飞;遗留代码在企业信息网格中重用的研究[D];西北师范大学;2007年
7 孙洪浩;基于切片技术的软件理解辅助系统设计与实现[D];大连理工大学;2007年
8 李晓琳;基于语义的网格工作流智能复用[D];上海交通大学;2008年
9 叶珂珂;虚拟机支持的程序谱差异分析和故障定位技术研究[D];浙江大学;2008年
10 王欢;面向对象程序等价转换技术的研究与应用[D];广东工业大学;2008年
【二级参考文献】
中国期刊全文数据库 前2条
1 陈振强,徐宝文;一种并发程序依赖性分析方法[J];计算机研究与发展;2002年02期
2 徐宝文 ,张挺 ,陈振强;递归子程序的依赖性分析及其应用[J];计算机学报;2001年11期
【相似文献】
中国期刊全文数据库 前10条
1 罗娜;;浅谈企事业单位软件测试体系的建立[J];科技情报开发与经济;2007年32期
2 陈浩,郭朝华,杨根庆;软件测试工具Logiscope及其应用[J];电子技术;2000年07期
3 侯俐;;软件测试技术[J];硅谷;2009年07期
4 张微微;;高职院校软件测试实验课的设计与实现[J];硅谷;2010年01期
5 向华;关于白盒测试基本方法的分析[J];江汉大学学报(自然科学版);2003年01期
6 王志敏;;基于软件功能点实施测试的方法[J];上海应用技术学院学报(自然科学版);2007年01期
7 梁红硕;冯晓东;贾永胜;;论黑盒测试与白盒测试在软件测试中的不同作用[J];商场现代化;2010年16期
8 张红艳;郭海新;王东方;;浅谈游戏测试技术[J];硅谷;2009年22期
9 路小娟,张桂琴,顾桂梅;软件测试在面向对象技术开发中的应用设计[J];甘肃科技;2004年08期
10 贺青春;叶柏龙;;完全路径覆盖测试法[J];矿业研究与开发;2007年01期
中国重要会议论文全文数据库 前10条
1 王磊;马建红;樊世燕;周华;辛政华;;基于程序切片的可达路径选择的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
2 王晖;杨柳青;高振平;张幼春;朱学东;;软件测试自动化中的工具使用[A];第三届中国测试学术会议论文集[C];2004年
3 孙玫肖;贾成强;;软件测试技术及其在客票系统中的应用探讨[A];扩大铁路对外开放、确保重点物资运输——中国科协2005年学术年会铁道分会场暨中国铁道学会学术年会和粤海通道运营管理学术研讨会论文集[C];2005年
4 杨艳芳;徐拾义;;基于BIST软件测试思想的单元测试框架的研究[A];第三届中国测试学术会议论文集[C];2004年
5 张炯;金惠华;;非干涉测试方法对异质嵌入式系统的适应[A];第四届中国测试学术会议论文集[C];2006年
6 朱睿;吴洁明;;XML技术在白盒测试中的应用[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
7 谢善益;高新华;徐展强;邓大为;;电网调度自动化系统(主站系统)专业测试方法[A];广东省电机工程学会2003-2004年度优秀论文集[C];2005年
8 周傲;王雅文;宫云战;;基于区间缩减的自动化打桩技术研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
9 张海丽;;软件项目质量管理方法分析[A];第十一届全国自动化应用技术学术交流会论文集[C];2006年
10 舒秀利;王精业;汤再江;王浩;;坦克仿真器可信度测试初探[A];第五届全国仿真器学术会论文集[C];2004年
中国重要报纸全文数据库 前10条
1 任连仲;成功绝非偶然[N];计算机世界;2001年
2 本报记者 杨志永 通讯员 陈宇 雍开生;面对挑战[N];中国审计报;2008年
3 ;软件测试的基本方法[N];中国计算机报;2002年
4 武刚;测试是质量的关键[N];中国计算机报;2003年
5 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
6 中国电子系统设备工程公司研究所 韩柯;软件质量谁把关?[N];计算机世界;2004年
7 其人;发展电子出版物技术是关键[N];人民政协报;2000年
8 中国软件评测中心;如何挑选白盒测试工具[N];中国计算机报;2005年
9 中国航天科技集团·神舟航天软件技术公司 高级测试经理 潘艳;浅谈软件测试工程师的培训工作[N];科技日报;2004年
10 程中平(作者单位:巢湖市城乡建筑设计院);如何制定有效的测试计划[N];安徽经济报;2006年
中国博士学位论文全文数据库 前3条
1 程绍银;需求驱动的软件安全缺陷自动测试生成[D];中国科学技术大学;2009年
2 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
3 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
中国硕士学位论文全文数据库 前10条
1 路晓波;软件开发过程中白盒测试方法和工具的研究及应用[D];南京邮电大学;2013年
2 何伟;基于字节码插装的白盒测试系统的设计与实现[D];哈尔滨工业大学;2011年
3 陈浩;小卫星软件测试的系统设计[D];中国科学院上海冶金研究所;2000年
4 赵奎;一种基于哈明距离的测试用例生成方法的设计与实现[D];北京大学;2008年
5 张明;GIS工程中的软件测试方法与技术研究[D];成都理工大学;2005年
6 唐科;软件仿真环境下的嵌入式软件测试的研究[D];电子科技大学;2005年
7 刘明万;基于Mini-PACS系统的软件测试研究[D];贵州大学;2006年
8 黄勇;基于89c52的嵌入式系统软件测试平台的研究开发[D];电子科技大学;2007年
9 张舜尧;SC660X平台手机自动化测试系统设计[D];北京邮电大学;2008年
10 任军;白盒测试方法在CBTC车载系统测试中的研究与应用[D];北京交通大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026