收藏本站
《测控技术》 2003年11期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

软件可靠性测试充分性研究

李秋英  阮镰  刘斌  
【摘要】:在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上 ,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质 ,重点研究了软件可靠性测试的充分性 ,将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则 ,给出将测试充分性准则用于可靠性测试流程的模型。

手机知网App
【引证文献】
中国期刊全文数据库 前2条
1 雷航;马成功;;Markov模型的软件可靠性测试充分性问题的研究[J];电子科技大学学报;2010年01期
2 吴彩华;朱小冬;刘俊涛;王毅刚;;基于可靠性增长模型的软件可靠性增长测试充分性准则[J];计算机科学;2008年11期
中国硕士学位论文全文数据库 前10条
1 张敏狄;分布式网络设备的软件在线升级系统设计[D];杭州电子科技大学;2009年
2 沈振华;黑龙江东方学院师资管理系统的设计与实现[D];黑龙江大学;2010年
3 崔中岳;黑龙江省高校毕业生就业服务网的设计与实现[D];黑龙江大学;2011年
4 刘轶欧;嵌入式实时系统测试的充分性研究与实践[D];电子科技大学;2004年
5 张艳;对AOP程序进行单元测试的研究[D];上海交通大学;2007年
6 唐乐;面向软件可靠性的测试用例生成技术的研究与实现[D];电子科技大学;2007年
7 马成功;基于马尔可夫链模型的软件可靠性测试方法的研究[D];电子科技大学;2009年
8 冷剑;基于遗传算法的软件测试技术的研究[D];东北大学 ;2009年
9 田崇瑞;黑龙江东方学院学生管理系统的设计与实现[D];黑龙江大学;2009年
10 郑晓云;电子海图系统软件可靠性测试技术研究[D];哈尔滨工程大学;2012年
【共引文献】
中国期刊全文数据库 前10条
1 王昭海;有关概率直觉认识的几个误区及反例[J];安康师专学报;2005年04期
2 李丽,孙云兰,陈雪波;一个确定铁水脱硫剂喷吹量的专家系统[J];鞍山科技大学学报;2004年02期
3 顾惠明,杨建荣,陈新强,何力;Cd Zn Te晶体中位错分布特性研究[J];半导体学报;1999年12期
4 何黄吉;;投资项目系统风险分析与方法研究[J];保定职业技术学院;2006年02期
5 张翼;;军用软件研制过程的质量监督[J];兵工自动化;2007年08期
6 张翼;许俐;;军用软件开发过程质量监督的重点及方法[J];兵工自动化;2011年05期
7 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
8 郭绍建;二维连续型随机变量函数的概率密度[J];北京航空航天大学学报;1990年02期
9 丛珉,陆民燕,白云峰;软件可靠性预计方法研究及实现[J];北京航空航天大学学报;2002年01期
10 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
中国重要会议论文全文数据库 前8条
1 于定勇;熊丛博;;软基处理方法优化选择及处理效果分析[A];第十二届中国海岸工程学术讨论会论文集[C];2005年
2 孙立欧;唐应辉;;排错效率为时间函数的软件测试费用模型[A];第八届中国青年运筹信息管理学者大会论文集[C];2006年
3 穆振英;任勇;任照峰;;单管双向新风换气系统实验研究[A];2005年度山东建筑学会优秀论文集[C];2005年
4 王颖利;徐肖豪;;软件可靠性模型选择加权算法[A];2007年全国机械可靠性学术交流会论文集[C];2007年
5 杨其国;;一种提高软件可靠性预计质量的方法[A];2009第十三届全国可靠性物理学术讨论会论文集[C];2009年
6 张琨;;面向对象软件的测试过程与方法的研究[A];第七届青年学术会议论文集[C];2005年
7 龚兵;孟莉;;基于WWW的软件测试框架的设计与实现[A];第十七届全国数据库学术会议论文集(技术报告篇)[C];2000年
8 赵炳;胥光辉;柳旭;李慧冬;;基于Hadoop平台的软件系统的测试研究[A];第十七届全国青年通信学术年会论文集[C];2012年
中国博士学位论文全文数据库 前10条
1 朱彬;基于用户界面规格说明的Web应用建模与测试用例生成[D];上海大学;2011年
2 李智;风电规律预测及对电网运行影响的研究[D];山东大学;2011年
3 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
4 徐光侠;分布式实时系统的软件故障注入及可靠性评测方法研究[D];重庆大学;2011年
5 袁修华;开放式数控系统软件故障自诊断、自愈合的研究[D];吉林大学;2011年
6 宦秉炼;不规则岩矿块抗压强度测定新方法及在磨矿中的应用研究[D];昆明理工大学;2000年
7 黎忠文;分布式控制系统中新安全保障技术的研究——安全核技术[D];电子科技大学;2001年
8 李小勇;土工参数空间概率特性及软粘土地基固结概率分析[D];浙江大学;2001年
9 亓四华;制造质量零废品控制理论与技术的研究[D];合肥工业大学;2001年
10 姜梅;基于生物免疫系统的计算机入侵检测技术研究[D];南京航空航天大学;2001年
中国硕士学位论文全文数据库 前10条
1 孙佳地;划分测试模型及其应用研究[D];大连理工大学;2010年
2 刘春燕;基于规则的C/C++代码静态检测方法研究[D];大连理工大学;2010年
3 冯金金;基于复杂网络的软件最小测试路径生成研究[D];大连理工大学;2010年
4 邹峥;基于随机Petri网的软件可靠性分析研究[D];长沙理工大学;2010年
5 闫振兴;基于软件缺陷分类标准与分析技术的软件缺陷管理系统应用与研究[D];华东师范大学;2011年
6 陈锃基;软件测试过程管理系统的研究与实现[D];华南理工大学;2010年
7 袁松;基于层次分析法的测试用例可复用性研究[D];华东理工大学;2011年
8 张海旺;基于合约的构件测试数据生成及复用方法的研究与实现[D];昆明理工大学;2009年
9 郑杨元;数据挖掘在热轧板带质量预测中的应用[D];昆明理工大学;2009年
10 张文渊;UML类图质量度量[D];西安电子科技大学;2008年
【同被引文献】
中国期刊全文数据库 前10条
1 王曼丽;陆永祯;孙云龙;;智能客户端技术在学生管理信息系统中的应用[J];鞍山科技大学学报;2006年02期
2 王成伟;模糊数学在课堂教学评估中的应用[J];北京服装学院学报;2001年02期
3 周献中;孙勇成;江金龙;;基于使用模型和遗传算法的测试数据自动产生技术[J];兵工学报;2006年06期
4 蔡开元,文传源,张明廉;一个模糊软件可靠性模型的进一步确认[J];北京航空航天大学学报;1991年04期
5 刘斌,高小鹏,陆民燕,阮镰;嵌入式软件可靠性仿真测试系统研究[J];北京航空航天大学学报;2000年04期
6 江加和,宋子善,沈为群,邱力为;模拟退火算法在连续变量全局优化问题中应用[J];北京航空航天大学学报;2001年05期
7 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
8 李秋英;李海峰;王健;;测试有效性对软件可靠性验证测试量的影响[J];北京航空航天大学学报;2011年03期
9 覃云,韩伯棠,王霞;基于NET的C/S与B/S混合结构的MIS开发研究[J];北京理工大学学报(社会科学版);2002年04期
10 陈勇,蔡淑琴;管理信息系统的发展动因及趋势研究[J];商业研究;2005年14期
中国重要会议论文全文数据库 前1条
1 塔娜;刘慧;邵大欣;;网络系统可用度全面评估方法研究[A];中国企业运筹学[C];2009年
中国博士学位论文全文数据库 前1条
1 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
中国硕士学位论文全文数据库 前10条
1 张文科;DDoS攻击分析与防御[D];电子科技大学;2004年
2 陈瑜;面向嵌入式系统的在轨软件维护技术研究[D];浙江大学;2006年
3 姜晚云;关联规则在学生成绩管理中的应用研究[D];合肥工业大学;2006年
4 张猛;软件可靠性测试研究[D];电子科技大学;2006年
5 何苏;高校人事管理信息系统的研究与实现[D];电子科技大学;2007年
6 唐乐;面向软件可靠性的测试用例生成技术的研究与实现[D];电子科技大学;2007年
7 范为;基于马尔科夫链使用模型的软件统计测试[D];河海大学;2007年
8 俞燕萍;基于数据仓库技术的毕业生就业信息系统的研究[D];浙江工业大学;2008年
9 崔天意;舰艇装备软件可靠性测试方法及预测研究[D];哈尔滨工程大学;2008年
10 张景舒;水下机器人软件可靠性测试方法研究[D];哈尔滨工程大学;2009年
【二级引证文献】
中国期刊全文数据库 前8条
1 陈凌鹤;毛晓光;雷晏;王承松;;方面单元测试框架的设计与实现[J];计算机工程与应用;2009年01期
2 李钧;代祖华;;Weibull分布在软件最优交付时间估算中的应用[J];计算机工程与应用;2009年23期
3 徐钦桂;刘桂雄;;基于构件的数据流软件可靠性模型[J];计算机科学;2011年07期
4 朱小梅;郭志钢;杨先凤;;基于多模型变权重组合的软件可靠性仿真研究[J];计算机仿真;2012年03期
5 范伟;;基于样品点优化的变权重组合软件可靠性的仿真研究[J];制造业自动化;2011年19期
6 陈心光;刘彦斌;;电子政务软件可靠性评测方法初探[J];计算机应用与软件;2012年03期
7 王莹;;舰艇装备软件可靠性测试工程实践[J];计算机工程与设计;2012年02期
8 陈文;;软件可靠性模型中样点可信度[J];现代电子技术;2009年20期
中国博士学位论文全文数据库 前2条
1 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
2 施京华;基于数据挖掘的癌症诊疗决策优化研究[D];上海交通大学;2011年
中国硕士学位论文全文数据库 前10条
1 劳阳辉;AOP代码中几种特定缺陷的软件测试方法[D];昆明理工大学;2010年
2 姜喜梅;基于马尔可夫链的单证关系建模的研究与实现[D];哈尔滨工程大学;2011年
3 何焱;基于马尔可夫链的软件可靠性评估技术研究[D];解放军信息工程大学;2011年
4 李秀华;基于UML模型的软件可靠性测试技术的研究与实现[D];电子科技大学;2007年
5 张景舒;水下机器人软件可靠性测试方法研究[D];哈尔滨工程大学;2009年
6 张旭;基于使用剖面的航天软件可靠性测试数据生成方法的研究[D];中国航天第二研究院;2009年
7 陈凌鹤;面向方面程序的单元测试技术研究[D];国防科学技术大学;2008年
8 李盛钢;一种基于扩展WSDL的测试数据自动生成方法[D];西南大学;2010年
9 佘占喜;Ethernet OAM在微波通信网络中的应用研究与实现[D];西南交通大学;2010年
10 郝兴;油气管网仿真建模软件架构设计及关键技术研究[D];大庆石油学院;2010年
【相似文献】
中国期刊全文数据库 前10条
1 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
2 喻群义,张友信,王映辉;日本富士通K650—30计算机在我馆运用的初步体会[J];高校图书馆工作;1995年02期
3 马瑛辉,许敏,薛小飞;DCS用于75t/h循环流化床锅炉[J];东北电力技术;2003年04期
4 柏林;高校科技成果产业化问题研究——兼论21世纪浙江农业发展的主题[J];科学管理研究;1999年01期
5 傅其凤,崔彦平,张自力,张强;水泵状态监测及故障诊断系统[J];水泵技术;2000年03期
6 柏林;高校与地方合资创办科技型企业运行实务探析[J];研究与发展管理;1999年02期
7 梁超梅,陈剑峰;无人值班变电站综合自动化的实施[J];电力自动化设备;2000年04期
8 殷和平,疏志明;矿山水文地质计算机管理系统的应用[J];铜陵学院学报;2002年01期
9 祁鸣,刘荣川;积极发挥依托单位作用 为国家重点实验室创造良好外部环境[J];研究与发展管理;1997年01期
10 厉吉文,张明军,安建强;变压器有载自动调压控制系统[J];电力自动化设备;1999年04期
中国重要会议论文全文数据库 前10条
1 王峰;郭长国;宗建建;施寅生;;常用的基于数据流的测试充分性准则[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2 谢先武;;灯泡贯流式机组优化运行[A];中国水力发电工程学会灯泡贯流式机组专业委员会第一届年会论文集[C];2005年
3 龙家文;张国志;刘学国;;综合自动化变电站中的遥信误报[A];2006中国电力系统保护与控制学术研讨会论文集[C];2006年
4 邵春宇;周庆;;1.10 Mt/a延迟焦化装置扩能的设计及运行[A];中国化工学会2008年石油化工学术年会暨北京化工研究院建院50周年学术报告会论文集[C];2008年
5 邓玉平;栗书增;王东飞;;康宁异步电机在中国电网下运行的浅析[A];2005年电子玻璃学术交流研讨会论文集[C];2005年
6 张桂昌;王建永;薛会;;国产组合电器的运行与防护[A];山东电机工程学会第五届供电专业学术交流会论文集[C];2008年
7 武艳娥;;肃宁县第一污水处理厂百乐克工艺调试及试运行[A];新农村建设与环境保护——华北五省市区环境科学学会第十六届学术年会优秀论文集[C];2009年
8 刘桂芳;白丽娜;于晓惠;董峰;;西部某燃料元件厂运行后周围环境放射性铀水平调查[A];全国非电离辐射与电离辐射生物效应及防护学术研讨会论文汇编[C];2004年
9 刘文忠;李丰;;自动气象站运行保障与维修技巧[A];中国气象学会2006年年会“提高大气监测自动化水平、为业务技术体制改革作贡献”分会场论文集[C];2006年
10 李涛;;浅谈输电线路的运行与检修[A];山东电机工程学会第五届供电专业学术交流会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 马仁钊;虚拟企业创新平台的理论与实证研究[D];武汉理工大学;2008年
2 袁伟;教育法的运行[D];华中科技大学;2009年
3 严仁群;民事执行权论[D];南京师范大学;2005年
4 夏雅丽;有限责任制度研究[D];西北大学;2005年
5 冉生欣;现行国际货币体系研究[D];华东师范大学;2006年
6 胡亚球;程序安全论[D];苏州大学;2006年
7 张勇;中国城市民族区的研究[D];中央民族大学;2008年
8 杨富堂;小商品交易市场运行与发展机理研究[D];天津大学;2006年
9 赵京;西部经济发展中的政府作用[D];西北大学;2006年
10 鲁柏祥;基于知识的国家农业技术创新体系研究[D];浙江大学;2007年
中国硕士学位论文全文数据库 前10条
1 董春芳;民营企业集团运行的法律规制[D];华中科技大学;2006年
2 周玲;我国经济适用住房运行研究[D];四川大学;2006年
3 庞准;500KV可控串补设备运行与管理专家系统的研究[D];重庆大学;2005年
4 李越;天然气管网数值模拟[D];西南石油学院;2005年
5 曹荣军;学校逆向管理问题及其运行机制研究[D];曲阜师范大学;2006年
6 刘豪;企业内部资本市场运行规范研究[D];兰州大学;2008年
7 李强;农民专业合作社运行及管理问题研究[D];山东农业大学;2007年
8 刘志江;黄骅电厂600MW空冷机组知识库研究[D];华北电力大学(河北);2005年
9 赖佳栋;专家系统在高压直流输电运行管理中的应用研究[D];重庆大学;2005年
10 杨洁;养老保险基金管理的经济效应分析[D];武汉大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026