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

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

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


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 马玉韬;秦建业;付宇卓;;RTC模块中分频器Verilog[J];电子测量技术;2005年05期
2 傅程;宫云战;洪慧;;构件可测试性模型研究与应用[J];北京化工大学学报(自然科学版);2007年S1期
3 邱峰,梁松海;IEEE1149.1可测试性设计技术的研究与发展[J];测控技术;1999年01期
4 毛泓东;;扫描电路测试功耗综述[J];信息通信;2008年04期
5 韩炜,臧红伟;机载计算机的可测试性工程设计(DFT)[J];测控技术;2001年05期
6 蔡慧敏;赵秀丽;;基于PC机的边界扫描测试实现[J];海军航空工程学院学报;2004年01期
7 刘哲;张为群;肖魏娜;;一种基于模糊评估分层模型的构件可测试性评价方法[J];计算机科学;2011年05期
8 马雷,于忠诚,周宇;基于路径测试的程序可测试性研究[J];辽宁大学学报(自然科学版);1996年01期
9 章其波,鲁昌华,蒋薇薇;基于DES理论的数模混合电路可测试性研究[J];微计算机信息;2003年02期
10 徐博;樊晓光;田涛;;扩展UML状态图在软件测试中的应用[J];计算机工程;2007年24期
11 宗建建;战茅;李冬红;;面向CBS的可测试性评估方法研究[J];微计算机信息;2010年18期
12 郑叔芳;CAT(计算机辅助测试)技术——第三讲 可测试性与测试集[J];测控技术;1993年04期
13 杨廷善;IEEE P1149.5电路板测试和维护总线标准[J];测控技术;2000年03期
14 石昊苏;;软件开发过程中的软件测试的思考[J];煤矿现代化;2005年06期
15 白雪;宋雨;韩秀娟;剧树春;;软构件的可测试性研究[J];计算机技术与发展;2006年01期
16 傅程;洪慧;;军用软件构件可测试性度量方法研究[J];装甲兵工程学院学报;2007年02期
17 胡政;温熙森;;边界扫描测试生成的数学基础[J];工程数学学报;2008年02期
18 康亮;周世科;刘宇翔;;浅析构件测试技术[J];科技创新导报;2008年08期
19 宋志刚;卢德中;;软件需求的可否证性研究[J];航空计算技术;2011年03期
20 王昕;可测试性设计在仿真中应用研究[J];河南师范大学学报(自然科学版);1999年02期
中国重要会议论文全文数据库 前10条
1 沈震;申春林;刘益新;;基于ATE的新装备维修测试体系研究[A];中国电子学会第七届学术年会论文集[C];2001年
2 王新玲;杨占才;;基于小子样数据的可测试性验证评估技术研究[A];2010航空试验测试技术学术交流会论文集[C];2010年
3 廖明燕;;基于边界扫描的电路互联故障诊断分析[A];第五届中国测试学术会议论文集[C];2008年
4 贺喆;韦海军;杜影;;多信号流图测试性分析方法在数据采集系统中的应用[A];2011下一代自动测试系统学术研讨会论文集[C];2011年
5 陈益;周耀荣;赵荣椿;;机载计算机数字模块的可测试性工程设计[A];信号与信息处理技术——第一届信号与信息处理联合学术会议论文集[C];2002年
6 李吉;徐勇军;韩银和;李晓维;;应用于逻辑核的BIST关键技术研究[A];第三届中国测试学术会议论文集[C];2004年
7 周宁;郑世峰;张晓辉;;微波探测仪的软件设计与实现[A];第二届微波遥感技术研讨会摘要全集[C];2006年
8 崔倩;韩璞;潘卫华;;现场总线智能仪表的自标定[A];2007中国控制与决策学术年会论文集[C];2007年
9 陈媛;李少平;;芯片剥层技术在集成电路失效分析中的应用[A];2009第十三届全国可靠性物理学术讨论会论文集[C];2009年
10 叶绿;;RFID通用软件构架研究[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年
中国博士学位论文全文数据库 前4条
1 王黎明;控制系统基于模型的系统工程开发方法研究[D];西安电子科技大学;2013年
2 王志颖;复杂装备智能机内测试技术研究[D];电子科技大学;2011年
3 马良荔;基于元数据的构件集成测试技术研究[D];华中科技大学;2006年
4 姚香娟;复杂软件测试数据进化生成理论及应用[D];中国矿业大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘哲;一种基于模糊评估分层模型的构件可测试性评价方法[D];西南大学;2011年
2 张丽娜;嵌入式软件的可测试性研究[D];内蒙古大学;2012年
3 刘剑;软件可测试性检测技术研究与实现[D];南京航空航天大学;2004年
4 章其波;基于DES理论的数模混合电路可测试性研究[D];合肥工业大学;2003年
5 赵静;DSO专用高速触发与时间内插MCM的研究[D];电子科技大学;2005年
6 赵岩岭;数模混合电路可测试性的若干问题研究[D];合肥工业大学;2004年
7 张菲菲;基于DES理论的数模混合电路的可测试性与故障诊断研究[D];合肥工业大学;2006年
8 张西多;基于IEEE1149.4标准的混合电路边界扫描测试技术与方法的研究[D];国防科学技术大学;2005年
9 杨功立;基于“龙芯”CPU的高性能安全服务器主板的设计与研究[D];哈尔滨工程大学;2003年
10 张军;数模混合电路的测试与故障诊断的研究[D];合肥工业大学;2007年
中国重要报纸全文数据库 前6条
1 陕西 冷星云;揭开SoC神秘面纱[N];电脑报;2001年
2 ;软件开发中的常见问题[N];中国计算机报;2001年
3 ;艾默生关注关键工艺[N];网络世界;2003年
4 阿然;软件人才新宠[N];中国电脑教育报;2002年
5 宇微;微波接入 依然有市场[N];中国计算机报;2001年
6 陈清雄;“实践”验证最佳实践[N];网络世界;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978