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

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

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

知网文化
【相似文献】
中国期刊全文数据库 前20条
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期
11 孙卫红;;代码走查的研究与实践[J];计算机与网络;2007年22期
12 于莉莉;富春岩;孟凡波;;软件测试方法及用例的选择[J];佳木斯大学学报(自然科学版);2008年02期
13 秦春燕;姚竹亭;;嵌入式系统软件测试的研究[J];机械管理开发;2008年03期
14 刘洋;;白盒测试技术概述[J];广西大学学报(自然科学版);2008年S1期
15 周颖;;浅析软件测试方法[J];福建电脑;2009年02期
16 吴青林;王焱;;软件测试的研究与探讨[J];郧阳师范高等专科学校学报;2009年03期
17 李洁;;软件测试用例设计[J];电脑编程技巧与维护;2010年04期
18 王冠;景小宁;王彦军;;基本路径测试中的McCabe算法改进与应用[J];哈尔滨理工大学学报;2010年01期
19 徐青翠;柴政;;白盒测试方法分析与研究[J];电脑知识与技术;2010年16期
20 杜庆峰;肖潇;;基本路径测试技术研究[J];信息与电脑(理论版);2010年06期
中国重要会议论文全文数据库 前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-62982499
  • 010-62783978