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

软件可信度量研究初探

李红霞  
【摘要】:可信计算(Trusted Computing/Trusted worthy Computing)是目前信息安全领域研究的热点问题之一。计算机系统是否可信,包括硬件、网络、操作系统、中间件、应用软件、信息系统使用者以及它们之间的交互的复杂系统等是否可信,在这条链上的任何一个环节出现问题,都会导致计算机系统的不可信。 目前国内外可信计算的研究主要集中在硬件层面。软件可信性研究是可信计算的一个分支。而对于越来越复杂的各种应用软件,软件内部存在危机、缺陷、错误、故障、失效,软件外部存在病毒、恶意代码入侵,如何进行可信性的评估,特别是量化的可信性评估是一个值得高度重视的问题,但国内外在这方面的研究甚少。 需要指出的是,软件可信性的研究与硬件级的可信计算有较大的不同,特别是软件的开发存在大量人工因素的介入,所以在软件可信性定量化研究过程中,需要考虑如何刻画各种人为因素,这也是该研究方向的一个难点。 有鉴于此,论文以软件工程为背景,信息安全领域知识为依托,在软件可信性定量化研究方面进行了初步探索。 首先,论文采用等级度量方法,将软件可信程度分等级进行度量。软件可信性质要区分软件可信必备性质、运用相关标准评判可信程度的性质、可由专家评判可信等级的软件可信性质。将三类性质分别阐述量化方法。 其次,论文借鉴较为成熟的决策树方法,在总结前人对软件可信属性的零散的研究的基础上,提出了软件可信树方法,初步地构建了软件可信树体系结构框架;对软件可信树进行了剖析,总结出了软件可信度量评估的步骤。 然后,辅以专家评分的半定量化手段,对软件可信性量化研究进行了探索,运用软件工程方法,分析、设计、开发了一个评价软件可信性的原型系统。 最后,在对软件可信度量评估系统实现的基础上,进行了系统功能测试,对测试结果进行了纵向与横向的对比分析,得出了测试后的结论。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 韩斌;;基于程序关联图的测试用例集缩减算法[J];机电工程;2008年05期
2 柳永坡;邹磊;金茂忠;刘雪梅;;软件测试领域的知识管理及模型研究[J];计算机应用研究;2009年01期
3 徐海飞;赵凯旋;;软件测试与质量保证[J];现代雷达;2006年10期
4 刘超;;基于扩展V模型的软件测试[J];玉林师范学院学报;2006年05期
5 佘凤;;软件测试及关键技术[J];黄冈职业技术学院学报;2007年01期
6 赫建营;晏海华;刘超;;基于本体的软件测试知识管理模型研究[J];计算机科学;2007年10期
7 庞灵;;嵌入式软件测试V模型的研究[J];电子质量;2008年07期
8 吉向东;;从测不准原理看软件测试的不充分性[J];自动化技术与应用;2008年08期
9 柳永坡;邹磊;金茂忠;刘雪梅;;面向软件测试过程的知识管理方法的研究与实现[J];计算机科学;2008年10期
10 蔡开元;董昭;刘克;;关于软件可靠性测试的若干问题[J];工程数学学报;2008年06期
11 张英;软件测试过程管理控制的研究[J];南昌航空工业学院学报(自然科学版);2005年02期
12 夏雪刚;;浅谈软件测试计划的制定[J];电脑知识与技术;2009年14期
13 刘定书;孟伟萍;;软件测试过程的度量[J];电脑知识与技术;2005年36期
14 孟宪葵;;基于CMM的大型复杂装备控制系统软件测试过程的管理[J];价值工程;2009年07期
15 李玲玲;徐娟娟;;软件测试过程控制系统的研究和设计[J];软件导刊;2011年04期
16 甘泽洲;;一种支持自动化测试的测试管理工具的实现[J];计算机与信息技术;2008年06期
17 崔小乐;周豪;;软件测试过程中的参与方关系分析[J];微电子学与计算机;2008年08期
18 钟小双;;浅谈软件测试技术及工具[J];硅谷;2009年11期
19 冉晓娟;梁静;;ATC系统中气象数据的软件测试用例设计[J];成都电子机械高等专科学校学报;2010年04期
20 高原;;软件测试的认识误区与测试方法的持续改进[J];科技信息(科学教研);2007年18期
中国重要会议论文全文数据库 前10条
1 黄茂生;陈平;;软件测试过程的质量保证[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
2 刘子宜;郑军;刘畅;;软件测试性研究综述[A];探索 创新 交流(第4集)——第四届中国航空学会青年科技论坛文集[C];2010年
3 冯亚冬;熊波;;基于适航认证的FADEC软件自动化测试平台的研究[A];2011航空试验测试技术学术交流会论文集[C];2010年
4 鞠秀娟;赵明;;基于CMM的缺陷管理系统的设计及应用[A];第四届中国软件工程大会论文集[C];2007年
5 郑成文;张海粟;韩柯;陈昱松;张乐飞;;一种基于相似性度量的软件测试方法[A];第六届中国测试学术会议论文集[C];2010年
6 孙富强;王林章;;多需求驱动的测试用例集约简方法[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
7 黄百乔;张虹;陆民燕;李海峰;;GUI软件功能测试用例数据选取策略研究[A];第六届中国测试学术会议论文集[C];2010年
8 李海峰;王学成;李秋英;陆民燕;曾敏;;考虑不完美排错的Logistic测试覆盖率软件可靠性模型[A];第六届中国测试学术会议论文集[C];2010年
9 赵海秋;郭建英;马兴元;;考虑测试覆盖率和故障检测率的软件可靠性模型[A];2010年全国机械行业可靠性技术学术交流会暨第四届可靠性工程分会第二次全体委员大会论文集[C];2010年
10 胡嘉伟;江建慧;;一种面向软件可靠性评估的故障注入机制的设计与实现[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
中国博士学位论文全文数据库 前5条
1 蔡立志;基于形式化的软件测试复用若干关键技术的研究[D];上海大学;2009年
2 王平涛;基于连续时间贝叶斯网络的可信软件风险预测研究[D];南京大学;2012年
3 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年
4 袁修华;开放式数控系统软件故障自诊断、自愈合的研究[D];吉林大学;2011年
5 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年
中国硕士学位论文全文数据库 前10条
1 许晶凤;6Sigma指导软件测试过程改进[D];北京交通大学;2011年
2 王长利;软件测试过程模型的研究与应用[D];电子科技大学;2012年
3 黄佳;外包企业软件测试过程改进研究[D];首都经济贸易大学;2010年
4 王大法;基于软件测试过程模型的测试管理系统的研究与实现[D];青岛科技大学;2010年
5 俞磊;基于CMM的软件测试过程模型的研究[D];太原科技大学;2011年
6 沈旻园;分布式软件测试管理工具的研究与实现[D];华东理工大学;2012年
7 罗超;Android平台流量监控软件的设计与实现[D];北京邮电大学;2013年
8 宋海军;光刻机硅片对准软件系统设计与实现[D];大连理工大学;2013年
9 杨玲萍;军用软件测试过程模糊决策技术研究及应用[D];东南大学;2006年
10 万邦睿;基于CMMI的软件测试过程度量研究[D];西南大学;2007年
中国重要报纸全文数据库 前4条
1 蓝色海岸;明明白白来“进补”[N];中国电脑教育报;2004年
2 北京保捷环球电脑软件公司 崔启亮;我国软件本地化行业的10大转变[N];计算机世界;2004年
3 ;硬件配置与设置的几个问题[N];中国计算机报;2001年
4 相春雷;软件测试管理好助手[N];中国计算机报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978