收藏本站
《电子科技大学》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

高可信软件可靠性和防危性测试与评价理论研究

覃志东  
【摘要】:随着计算机技术的日益成熟,硬件成本的迅速降低,各种结构复杂、功能强大的计算机系统被广泛应用到航空航天、交通运输、核电能源和医疗卫生等安全关键领域。一旦这些系统失效,将造成人类生命财产的重大损失或者环境的严重破坏,系统可信性日益成为被关注的焦点。鉴于这类系统应用的特殊性,其配置的软件必须具备很高的可信性,因而被称之为高可信软件。但事实上,与硬件可靠性快速提升相比,软件发展相对滞后,已成为制约系统可信性水平进一步提高的瓶颈。软件测试在系统可信性工程中扮演着重要的角色:一方面,软件测试可以定位并排除错误,切实地提高软件的可信性水平;另一方面,通过软件测试,可以获得对软件当前可信性水平的评估与验证。如何通过软件测试的方式有效地增强软件的可信性水平并对软件当前可信性水平作出客观的评估,是相关学术界和工业界研究的热点问题。 本文详细地剖析了可信性概念的起源与内涵,对可信性基本属性之间的区别与联系作了细致的研究,并对导致系统可信性降低的因素——缺陷、错误及失效之间的关系以及高可信保障技术作了梳理和归纳。 由于不同应用领域对软件可信性关注的侧重不同,本文主要基于安全关键领域针对可靠性和防危性的测试与评价方法作了系统而深入的研究,所作出的主要贡献如下: 1.由于所需测试用例量大、测试持续期长,导致软件的一些高可靠性指标的验证成为不可能。为了在不降低可靠性验证测试结果可信性的前提下减少测试用例量、缩短验证测试持续期,本文提出了一种先验知识动态整合的贝叶斯统计推断验证测试方法;并分离散执行软件和连续执行软件两种情况予以详细阐述。数值仿真证明,该方法在不降低验证测试结果可信性水平的前提下,能有效地减少测试用例量、缩短验证测试持续期。 2.为切实确保高可信软件获得规定的可靠性指标,本文提出了一种基于软件体系结构的高可信软件可靠性测评框架。该测评框架的基本思想是建立软件可靠性模型,把系统可靠性设计指标优化分配到各个软件模块,从模块级对软件的可靠性进行跟踪和控制,然后再在系统级进一步对软件的可靠性指标进行确认和验证。同时,基于最大熵原则,本文着重解决了如何在缺少失效数据的
【学位授予单位】:电子科技大学
【学位级别】:博士
【学位授予年份】:2005
【分类号】:TP311.52

【引证文献】
中国期刊全文数据库 前10条
1 徐光侠;陈蜀宇;常光辉;刘宴兵;刘国良;;分布式实时系统的软件故障注入[J];重庆大学学报;2010年02期
2 王学成;陆民燕;李海峰;杨日盛;;带减函数的连续型软件可靠性验证方案[J];重庆大学学报;2012年10期
3 王承松;毛晓光;雷晏;王燕妮;;基于UML的可信概念模型[J];计算机研究与发展;2010年S1期
4 熊光泽;常政威;桑楠;;可信计算发展综述[J];计算机应用;2009年04期
5 张承伟;黄伟;梁鹏;;基于免疫算法的可信软件系统四层本体模型[J];计算机应用研究;2009年11期
6 罗新星;朱名勋;唐中君;;可信软件需求获取与分析研究综述及展望[J];计算机应用研究;2010年10期
7 杨启亮;邢建春;王平;;安全关键系统及其软件方法[J];计算机应用与软件;2011年02期
8 曾福萍;钟德明;陆民燕;;安全关键软件安全性评估方法[J];火力与指挥控制;2012年10期
9 马飒飒;费扬洁;赵守伟;;安全关键软件防危性评测方法研究[J];计算机工程与设计;2008年23期
10 刘玉玲;杜瑞忠;冯建磊;田俊峰;;基于软件行为的检查点风险评估信任模型[J];西安电子科技大学学报;2012年01期
中国重要会议论文全文数据库 前4条
1 周献中;李檬;占济舟;朱颖颖;赵佳宝;;研究软件可信性的新视角:失信因子[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
2 何焱;张来顺;石荣刚;;基于马尔可夫链模型的软件可靠性测试研究[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
3 张悦今;张玲玲;刘莹;石勇;;软件可信性属性及其度量研究[A];第四届(2009)中国管理学年会——管理科学与工程分会场论文集[C];2009年
4 王承松;毛晓光;雷晏;王燕妮;;基于UML的可信概念模型[A];第六届中国测试学术会议论文集[C];2010年
中国博士学位论文全文数据库 前8条
1 张海涛;自律计算系统的自律可信性评估研究[D];哈尔滨工程大学;2010年
2 徐光侠;分布式实时系统的软件故障注入及可靠性评测方法研究[D];重庆大学;2011年
3 桂盛霖;安全关键嵌入式实时软件的关键非功能属性分析研究[D];电子科技大学;2011年
4 毛居全;有关产品质量可信性若干问题的研究及应用[D];东北大学;2009年
5 庞永刚;基于事件注入技术的网络可信性评测研究[D];哈尔滨工程大学;2007年
6 王平涛;基于连续时间贝叶斯网络的可信软件风险预测研究[D];南京大学;2012年
7 张波;基于测试覆盖的安全关键软件测试策略研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2012年
8 朱名勋;可信软件非功能需求获取与分析研究[D];中南大学;2012年
中国硕士学位论文全文数据库 前10条
1 魏晖瑜;基于MDA的需求自动建模工具的设计和实现[D];西安电子科技大学;2010年
2 鲁军;基于故障注入的系统健壮性测试研究[D];南华大学;2011年
3 徐榛;计算机系统可信性评测研究与设计[D];哈尔滨工业大学;2010年
4 冯建磊;基于检查点风险评估的软件行为可信模型[D];河北大学;2011年
5 邱志涛;软件可信性增长测试用例生成方法的研究[D];哈尔滨工程大学;2011年
6 李仁杰;基于监控的可信软件构造技术研究与实现[D];国防科学技术大学;2008年
7 陈立宏;基于构件的嵌入式实时软件可靠性评估模型的研究与应用[D];电子科技大学;2008年
8 唐嘉;基于事件注入的可信性评测工具的研究与实现[D];哈尔滨工业大学;2007年
9 梁鹏;基于免疫算法的可信软件本体模型研究[D];大连理工大学;2009年
10 黄娟;一种基于UMMs的Web软件统计测试方法研究[D];西南大学;2009年
【参考文献】
中国期刊全文数据库 前10条
1 刘斌,陆民燕,阮镰;基于模糊神经网络的软件可靠性早期预计方法[J];北京航空航天大学学报;2001年02期
2 丛珉,陆民燕,白云峰;软件可靠性预计方法研究及实现[J];北京航空航天大学学报;2002年01期
3 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
4 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
5 陈雪松,陆民燕,阮镰;软件可靠性测试数据生成方法研究[J];航空学报;2001年06期
6 韩冰青,高建华;基于模拟退火遗传算法的软件可靠性分配及研究[J];计算机工程;2003年04期
7 杨仕平,桑楠,熊光泽;安全关键软件的防危性测评技术研究[J];计算机学报;2004年04期
8 闵应骅;容错计算二十五年[J];计算机学报;1995年12期
9 杨仕平,熊光泽,桑楠,吴新勇;高可信软件的防危性评估研究[J];计算机工程与设计;2004年02期
10 韩明;无失效数据可靠性进展[J];数学进展;2002年01期
中国博士学位论文全文数据库 前4条
1 黎忠文;分布式控制系统中新安全保障技术的研究——安全核技术[D];电子科技大学;2001年
2 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
3 杨仕平;分布式任务关键实时系统的防危(Safety)技术研究[D];电子科技大学;2004年
4 吴新勇;嵌入式操作系统安全保障技术研究[D];电子科技大学;2003年
中国硕士学位论文全文数据库 前5条
1 韩冰青;基于遗传算法的软件可靠性分配应用研究[D];上海师范大学;2003年
2 于逊;基于反射技术的防危核研究与实现[D];电子科技大学;2003年
3 杨霞;嵌入式操作系统信息安全核技术的研究与实现[D];电子科技大学;2004年
4 徐蓉;实时系统的内存管理技术研究与实现[D];电子科技大学;2004年
5 王亮;实时操作系统容错调度技术的研究与实现[D];电子科技大学;2004年
【共引文献】
中国期刊全文数据库 前10条
1 王志祥;;基于夭折试验样本寿命分布的参数估计[J];安徽农业科学;2008年12期
2 孙俊锁;Gamma分布的特征函数及点估计[J];鞍山钢铁学院学报;2001年02期
3 萧春来;K/N G(s)系统的可靠性仿真[J];北方工业大学学报;1997年01期
4 萧春来;系统设计中的可靠性与维修性分配方法[J];北方工业大学学报;1997年03期
5 周仲夏;蒋里强;宋劲松;;军用软件可靠性工程浅探[J];兵工自动化;2008年10期
6 吕萌;蔡金燕;张志斌;;基于相似性分析的电子装备可靠性定量评估模型[J];兵工自动化;2008年12期
7 徐哲;吴瑾瑾;;武器装备项目技术风险研究现状及展望[J];北京航空航天大学学报(社会科学版);2008年01期
8 郭荣化;吴玉生;陈庆荣;;定时截尾试验中故障数为零装备的平均无故障间隔时间评估方法研究[J];兵工学报;2011年08期
9 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
10 晏海华,胡佳,张丽凤,贺飞;基于文档状态的软件质量保证过程管理[J];北京航空航天大学学报;2001年04期
中国重要会议论文全文数据库 前10条
1 李华;王彦碧;;加强软件工程化管理 提高军用软件的可靠性[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年
2 杨方燕;刘军;;数据在传输过程中的可靠加密技术研究与实践[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年
3 杨方燕;刘军;;数据库系统安全保密技术探讨[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年
4 赵曦晶;赵韶平;沈云秋;衣彬;;武器装备软件可靠性工程研究[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
5 王华;;电子信息系统应用软件可靠性设计与实现[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
6 孟涛;李俊;张立新;赵曦晶;;军用软件的可靠性及其保证[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
7 姜江;李璇;陈英武;葛冰峰;;基于证据推理的航天项目风险分析与评估[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
8 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
9 王秋芳;;浅谈如何提高车辆软件可靠性[A];中国汽车工程学会汽车电子技术分会第七届(2006)年会暨学术研讨会论文集[C];2006年
10 楼俊钢;江建慧;靳昂;;可信性属性权重分配的模糊层次分析方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 张海涛;自律计算系统的自律可信性评估研究[D];哈尔滨工程大学;2010年
2 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
3 周睿;面向安全关键的虚拟化与分区操作系统研究与实现[D];兰州大学;2010年
4 曹涌;基于分形的软件可靠性模型和程序证明的数学机械化[D];电子科技大学;2010年
5 王志颖;复杂装备智能机内测试技术研究[D];电子科技大学;2011年
6 王晓暾;不确定信息环境下的质量功能展开研究[D];浙江大学;2011年
7 晁冰;基于支持向量机的软件可靠性模型分类及失效分析[D];武汉大学;2010年
8 田精白;网络式软件非功能需求分析方法及其应用[D];武汉大学;2009年
9 肖伟;无线传感器网络自适应数据容错关键技术研究[D];国防科学技术大学;2010年
10 孙岩;纳米集成电路软错误分析与缓解技术研究[D];国防科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 邹雄;基于FPGA的弹载计算机调试方法研究[D];南昌航空大学;2010年
2 罗晨;基于网络的库存管理系统的研究与应用[D];哈尔滨工程大学;2010年
3 王永伟;基于构件的形式化方法在软件开发中的应用研究[D];哈尔滨工程大学;2010年
4 杨晨;基于PAR平台的最弱前置谓词生成器的设计与实现[D];江西师范大学;2010年
5 王卫锋;FSCS自适应随机测试算法的边界效应及运行效率研究[D];华东师范大学;2010年
6 华韵子;强对流天气识别系统的设计与实现[D];华东师范大学;2010年
7 梁剑勇;顺德社会治安视频监控系统中心平台建设[D];华东师范大学;2010年
8 刘广宾;分布式系统中实体交互行为的可信研究[D];湖南工业大学;2010年
9 张展华;网格计算中容错策略的研究[D];哈尔滨理工大学;2010年
10 何天添;嵌入式软件模块高可靠性设计与验证技术研究[D];华东理工大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 江铁成;;软件故障注入方法在星载系统中的应用[J];安庆师范学院学报(自然科学版);2010年01期
2 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
3 刘斌,高小鹏,陆民燕,阮镰;嵌入式软件可靠性仿真测试系统研究[J];北京航空航天大学学报;2000年04期
4 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
5 朱永春,徐红;一种基于历史数据的软件缺陷预测方法改进[J];北京航空航天大学学报;2003年10期
6 李秋英;姜梦岑;;软件可靠性验证测试最小测试量的必要条件[J];北京航空航天大学学报;2010年02期
7 肖庆;杨朝红;毕学军;;一种基于故障模式状态机的测试方法[J];北京化工大学学报(自然科学版);2007年S1期
8 王国彪;基于可视化的广义优化设计的立论基础[J];北京科技大学学报;1999年02期
9 杨放春,龙湘明;软件非功能属性研究[J];北京邮电大学学报;2004年03期
10 王晓箴;卢志刚;刘宝旭;;结合OCTAVE和灰色系统的信息安全风险评估方法[J];北京邮电大学学报;2009年05期
中国重要会议论文全文数据库 前1条
1 孟涛;李俊;张立新;赵曦晶;;军用软件的可靠性及其保证[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
中国博士学位论文全文数据库 前10条
1 仲倩;燃料空气炸药爆炸参数测量及毁伤效应评估[D];南京理工大学;2012年
2 黎忠文;分布式控制系统中新安全保障技术的研究——安全核技术[D];电子科技大学;2001年
3 王磊;免疫进化计算理论及应用[D];西安电子科技大学;2001年
4 苏为华;多指标综合评价理论与方法问题研究[D];厦门大学;2000年
5 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
6 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
7 杨仕平;分布式任务关键实时系统的防危(Safety)技术研究[D];电子科技大学;2004年
8 古幼鹏;嵌入式实时软件的构件化开发技术研究[D];电子科技大学;2005年
9 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
10 侯红;基于度量的软件过程管理方法与分析技术的研究[D];西北大学;2006年
中国硕士学位论文全文数据库 前10条
1 胡海宏;软件可靠性模型与软件最优发布问题的研究[D];南京邮电大学;2011年
2 郑垒;考虑非理想排错过程的软件可靠性模型研究[D];南京邮电大学;2011年
3 谈维新;考虑测试效率的软件可靠性模型[D];南京邮电大学;2011年
4 安志凯;基于LabVIEW的ZPW-2000A测试系统软件关键模块的研究[D];西南交通大学;2011年
5 殷跃鹏;基于事件的分布式系统行为分析框架的设计与实现[D];国防科学技术大学;2010年
6 毕文奇;监控使能的软件编程框架设计与实现[D];国防科学技术大学;2010年
7 张佳斌;基于LabVIEW的微电网数据采集系统的开发[D];浙江大学;2012年
8 赵岩;动爆冲击波超压测试方法研究[D];中北大学;2012年
9 李亚娟;远距离多通道数据采集控制系统[D];中北大学;2012年
10 周丽;爆炸场超压智能探测头的研究[D];中北大学;2012年
【二级引证文献】
中国期刊全文数据库 前10条
1 龚昕;;基于可信计算环境的数据库系统安全体系结构设计[J];计算机安全;2011年04期
2 张仕斌;许春香;安宇俊;;基于云模型的风险评估方法研究[J];电子科技大学学报;2013年01期
3 杨亮;任伍杰;;核安全关键软件的验证与确认技术[J];计算机光盘软件与应用;2013年16期
4 骆万文;夏平;涂航;黄强;;分布式实时计算环境下安全任务调度技术研究[J];舰船电子工程;2011年06期
5 王承松;毛晓光;雷晏;王燕妮;;基于UML的可信概念模型[J];计算机研究与发展;2010年S1期
6 徐光侠;陈蜀宇;;面向移动云计算弹性应用的安全模型[J];计算机应用;2011年04期
7 罗新星;王卫芳;;基于本体的元需求模型与元需求集研究[J];计算机应用研究;2012年04期
8 王向峰;吴浩;王积鹏;;基于熵权的电子信息系统可信性多层次综合评估法[J];中国电子科学研究院学报;2011年04期
9 周剑;张明新;;软件可信评估综述[J];计算机应用研究;2012年10期
10 屈迟文;;基于优化模型的类级测试数据自动生成研究[J];科学技术与工程;2012年30期
中国重要会议论文全文数据库 前2条
1 李秋香;李超;马晓明;;可信计算标准化策略研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
2 王承松;毛晓光;雷晏;王燕妮;;基于UML的可信概念模型[A];第六届中国测试学术会议论文集[C];2010年
中国博士学位论文全文数据库 前9条
1 张海涛;自律计算系统的自律可信性评估研究[D];哈尔滨工程大学;2010年
2 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
3 宋成;可信计算平台中若干关键技术研究[D];北京邮电大学;2011年
4 徐光侠;分布式实时系统的软件故障注入及可靠性评测方法研究[D];重庆大学;2011年
5 毛居全;有关产品质量可信性若干问题的研究及应用[D];东北大学;2009年
6 常政威;网络化MPSoC高能效设计技术研究[D];电子科技大学;2009年
7 张波;基于测试覆盖的安全关键软件测试策略研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2012年
8 朱名勋;可信软件非功能需求获取与分析研究[D];中南大学;2012年
9 梁元;基于云计算环境下的可信平台设计[D];电子科技大学;2013年
中国硕士学位论文全文数据库 前10条
1 漆佑军;嵌入式可信签名终端的设计与实现[D];西安电子科技大学;2011年
2 郭卓武;基于TPM的信任链传递模型及度量理论研究[D];湖北工业大学;2011年
3 叶建财;可信数字家庭网络远程接入模型与设计[D];陕西师范大学;2011年
4 许照慧;基于CPK的网络终端软件管理系统的研究与实现[D];广东工业大学;2011年
5 沈创业;Udisk信任链动态跟踪技术研究与实现[D];南京理工大学;2011年
6 田力;实时嵌入式系统VxWorks安全机制的研究与实现[D];南京航空航天大学;2009年
7 秦磊;面向安腾2处理器的故障注入工具设计与实现[D];哈尔滨工业大学;2010年
8 余晓燕;一种容错计算机原型机的容错性能评测方法的研究与实现[D];哈尔滨工业大学;2010年
9 陈治良;基于可信密码模块的数据安全管理系统关键技术研究[D];国防科学技术大学;2010年
10 毕文奇;监控使能的软件编程框架设计与实现[D];国防科学技术大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 单冬,燕永田;计算机联锁控制系统安全性保障体系的一种模型[J];北方交通大学学报;1998年05期
2 刘斌,陆民燕,阮镰;基于模糊神经网络的软件可靠性早期预计方法[J];北京航空航天大学学报;2001年02期
3 丛珉,陆民燕,白云峰;软件可靠性预计方法研究及实现[J];北京航空航天大学学报;2002年01期
4 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
5 韩明;无失效数据失效率的估计[J];纯粹数学与应用数学;2000年01期
6 黎忠文,熊光泽;安全核机制的分析[J];电子科技大学学报;2001年01期
7 杨仕平,熊光泽,桑楠;安全关键系统的防危性技术研究[J];电子科技大学学报;2003年02期
8 王亮,雷航,熊光泽;多类型任务集的容错实时调度算法[J];电子科技大学学报;2004年02期
9 王亮,雷航;基于资源回收的容错单调比率调度[J];电子科技大学学报;2004年04期
10 杨仕平;桑楠;熊光泽;刘校矢;;高可信赖实时操作系统的防危调度机制[J];电子科技大学学报;2006年01期
中国博士学位论文全文数据库 前3条
1 黎忠文;分布式控制系统中新安全保障技术的研究——安全核技术[D];电子科技大学;2001年
2 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
3 吴新勇;嵌入式操作系统安全保障技术研究[D];电子科技大学;2003年
中国硕士学位论文全文数据库 前1条
1 于逊;基于反射技术的防危核研究与实现[D];电子科技大学;2003年
【相似文献】
中国期刊全文数据库 前10条
1 蔡增玉;甘勇;刘书如;贺蕾;冯媛;;一种基于中间件的可信软件保护模型[J];计算机应用与软件;2010年02期
2 万亚东;朱怀宏;李波;;软件架构与可信软件开发[J];江苏科技信息;2010年09期
3 陈海燕;刘建勋;胡蓉;;可信Web服务合成研究综述[J];吉首大学学报(自然科学版);2011年01期
4 蔡琼;李兴国;丁帅;;可信软件实时性测试用例集生成方法研究[J];计算机应用研究;2009年06期
5 杜晶;杨叶;王青;李明树;;基于证据的可信软件过程评估方法[J];计算机科学与探索;2011年06期
6 张瞩熹;李仁杰;王怀民;;一个面向方面的可信软件开发平台TSCE[J];计算机应用研究;2009年05期
7 罗新星;朱名勋;唐中君;;可信软件需求获取与分析研究综述及展望[J];计算机应用研究;2010年10期
8 沈昌祥;张焕国;王怀民;王戟;赵波;严飞;余发江;张立强;徐明迪;;可信计算的研究与发展[J];中国科学:信息科学;2010年02期
9 曾晋;孙海龙;刘旭东;邓婷;怀进鹏;;基于服务组合的可信软件动态演化机制[J];软件学报;2010年02期
10 石莉;余本功;杨颖;付磊;;基于FAHP和FMCDM构建软件可信性评估模型[J];计算机应用研究;2010年03期
中国重要会议论文全文数据库 前2条
1 裴顺昌;宋浩;李建平;蔡晨;;基于CMMI风险管理体系的可信软件开发风险管理研究[A];第十一届中国管理科学学术年会论文集[C];2009年
2 张跃华;刘莹;张玲玲;石勇;;源代码挖掘在可信软件研究中的应用[A];第四届(2009)中国管理学年会——管理科学与工程分会场论文集[C];2009年
中国博士学位论文全文数据库 前4条
1 何加浪;软件可信性保障若干关键技术[D];南京理工大学;2012年
2 丁帅;软件可信性评估模型及其优化方法研究[D];合肥工业大学;2011年
3 韩强;基于行为的软件可信性度量理论与关键技术研究[D];北京邮电大学;2013年
4 石莉;软件可信性评估方法研究[D];合肥工业大学;2012年
中国硕士学位论文全文数据库 前10条
1 李露;基于贝叶斯网络的软件需求风险评估技术研究[D];南京理工大学;2009年
2 闵庆欢;软件可靠性验证测试中降低测试用例量方法研究[D];南京理工大学;2009年
3 刘春梅;基于本体和规则推理的软件可信演化研究[D];重庆大学;2010年
4 黄宏文;涉密网USB移动存储介质可信管理系统研究[D];兰州大学;2011年
5 梁加宾;基于模型检测方法的可信软件验证技术研究[D];解放军信息工程大学;2010年
6 文家朝;基于多样化对象所有权的软件可信性质研究[D];南京理工大学;2012年
7 李红霞;软件可信度量研究初探[D];重庆大学;2005年
8 蔡琼;可信软件实时性测试用例构造方法研究[D];合肥工业大学;2010年
9 吴君;可信软件构成架构的研究及其评估工具的实现[D];北京邮电大学;2013年
10 王长辉;可信应用软件管理机制研究[D];浙江工业大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026