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

软件可测试性检测技术研究与实现

刘剑  
【摘要】: 软件的可测试性作为一个软件度量指标,是指软件在任意给定输入集合下进行测试的过程中,其中存在的错误能够被揭示出来的概率。开展对软件可测试性的研究有助于确定软件为了达到一定的可靠性而需要被测试的程度,并最合理地分配测试资源,提高测试的效率。而且,可测试性分析也能够用于指导软件设计者们合理地设计软件结构,以降低测试的开销以及提高测试的可行性。从而使软件的可靠性和可信度达到新的水平。 本文针对软件可测试性的量化检测给出了一套完整的解决方案。基于软件的故障/失效模型,本文构建了软件可测试性量化检测的STDM理论模型,并设计实现了基于该理论模型的可测试性检测工具。 本文首先介绍了软件测试和可测试性的基本概念等用于检测软件可测试性的理论基础,并详细分析了一些理论检测模型及各自的优缺点;接下来,针对这些可测试性检测模型中所存在的问题,根据对软件错误导致软件失效过程的研究分析,本文提出了一种改进的解决方案STDM用于对软件的可测试性进行量化检测,文章在最后设计并实现了构建在此STDM模型基础之上的一个软件可测试性检测工具,该工具能够对C源程序进行可测试性检测并得出量化结果数据,验证了该模型的有效性。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘辉;李蕊;焦铬;;软件故障检测技术及其发展探讨[J];电脑知识与技术;2011年15期
2 ;瑞萨电子选用Wind River软件测试解决方案提升Android效能[J];中国电子商情(基础电子);2011年09期
3 冉红亮;张琦;朱春生;王菲;;一种基于多目标优化的测试性分配方法[J];中国机械工程;2011年15期
4 ;瑞萨电子选用Wind River软件测试解决方案提升Android效能[J];计算机安全;2011年08期
5 张健;徐宝文;;《软件测试》专辑前言[J];计算机学报;2011年06期
6 ;瑞萨电子选用Wind River软件测试解决方案提升Android效能[J];工业控制计算机;2011年08期
7 刘杰;;软件测试中的测试用例复用技术[J];考试周刊;2011年56期
8 张军威;;浅谈如何以软件测试推动军工软件工程化[J];硅谷;2011年14期
9 连尧;唐思源;安丰亮;;辅助决策类软件测试方法研究[J];科技信息;2011年15期
10 杜梅;刘丙利;;浅析提高软件测试效率的方法[J];科技信息;2011年15期
11 郑刚;;航空软件测试技术探讨[J];南昌高专学报;2011年03期
12 章晓勤;;高职院校软件测试专业课程教学改革与实践[J];电脑知识与技术;2011年21期
13 葛汉强;;高职《软件测试》课程分层教学之实践[J];职业教育研究;2011年08期
14 张云舟;;基于项目化的软件测试课程建设[J];济南职业学院学报;2011年04期
15 魏先民;;基于日志的TOPPERS/ASP软件测试方法[J];微电子学与计算机;2011年08期
16 房磊;;软件测试研究[J];信息与电脑(理论版);2011年07期
17 蔡素梅;;UML模型与软件测试[J];电脑开发与应用;2011年07期
18 孙玉武;范月科;王宇龙;武伟;刘宇坤;;基于软件测试的软件缺陷预测模型[J];数学的实践与认识;2011年09期
19 李英;;对软件可靠性测试的认识[J];信息与电脑(理论版);2011年08期
20 赵智超;吴铁峰;王斌;;编译器优化测试方法研究[J];电脑知识与技术;2011年24期
中国重要会议论文全文数据库 前10条
1 齐俊臣;彭道勇;刘春和;;重视软件测试 提高软件质量与可靠性[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
2 杨志文;沈森祖;韩红星;;基于集成电路测试程序的软件测试研究[A];第一届中国微电子计量与测试技术研讨会论文集[C];2008年
3 袁利;王磊;;深空探测器软件可测试性设计研究[A];中国宇航学会深空探测技术专业委员会第六届学术年会暨863计划“深空探测与空间实验技术”重大项目学术研讨会论文集[C];2009年
4 宋雪芬;王冠军;宋雪玲;;面向对象软件测试方法研究[A];中国自动化学会全国第九届自动化新技术学术交流会论文集[C];2004年
5 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
6 陈晓;;软件自动化测试的分析与实践[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
7 张雯婷;;软件测试丢失数据遗补算法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
9 周志远;张大方;缪力;赵丹;黄谷;;基于Java内存模型的并发程序模型检测[A];第五届中国测试学术会议论文集[C];2008年
10 蔡远文;于小红;;航天测试发控系统软件测试研究[A];1999中国控制与决策学术年会论文集[C];1999年
中国博士学位论文全文数据库 前10条
1 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
2 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
3 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
4 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
5 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
6 姚香娟;复杂软件测试数据进化生成理论及应用[D];中国矿业大学;2011年
7 吴兴泉;福建马铃薯病毒的分子鉴定与检测技术[D];福建农林大学;2002年
8 史亮;测试数据自动生成技术研究[D];东南大学;2006年
9 周卫东;组合导航系统应用软件可靠性研究[D];哈尔滨工程大学;2006年
10 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
中国硕士学位论文全文数据库 前10条
1 刘剑;软件可测试性检测技术研究与实现[D];南京航空航天大学;2004年
2 樊鑫;基于UML活动图生成测试用例方法的研究[D];南昌航空大学;2008年
3 王建光;改进的软件测试V模型及其在医药管理系统中的应用[D];吉林大学;2008年
4 夏世峰;工作流软件测试技术的研究与实践[D];北京邮电大学;2006年
5 赵贵余;SDH组网自动化测试研究[D];吉林大学;2006年
6 蒋志龙;基于UML序列图的测试方法研究与工具实现[D];华中科技大学;2007年
7 刘哲;一种基于模糊评估分层模型的构件可测试性评价方法[D];西南大学;2011年
8 冯莉;软件测试及其在电信监控系统中的应用研究[D];华北电力大学(河北);2003年
9 余盛季;嵌入式软件系统测试平台研究[D];电子科技大学;2004年
10 苏荟;基于UML的面向对象软件簇级测试方法研究[D];西安理工大学;2005年
中国重要报纸全文数据库 前10条
1 展拓;软件测试人才炙手可热[N];光明日报;2005年
2 邵强;越南有望成世界顶级软件测试中心[N];人民邮电;2008年
3 惠普企业服务事业部全球产品营销-应用服务部门 Paul Ashwood;通过软件测试降低成本和风险[N];中国保险报;2011年
4 本报记者 霍娜;软件测试迷航[N];中国计算机报;2010年
5 萧齐;软件测试也有大市场[N];中国航天报;2011年
6 王萌;软件测试人才缺口巨大[N];中国质量报;2005年
7 常量;软件测试人才炙手可热  “定制培训”模式走俏职场[N];大众科技报;2005年
8 本报记者褚宁;软件测试:期盼“第三者”[N];解放日报;2003年
9 中国软件行业协会软件出版分会副秘书长 张志明;软件测试意识有待加强[N];中国计算机报;2003年
10 罗峻;软件测试:质量敲门砖[N];中国计算机报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978