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

失信因子对软件可信性的影响及其控制

占济舟  
【摘要】:随着信息产业的飞速发展,软件已无处不在地渗透到国民经济、科技发展及国防建设等各个领域,成为信息社会的重要基础和核心。然而,软件系统随着功能需求的增加而变得越来越庞大和复杂,缺陷和漏洞难以得到有效控制。在动态多变的运行环境下,系统显得异常脆弱,经常发生各种故障和失效甚至灾难,给人们带来不同程度的损失。因此,软件并不总是让人信任的,软件的可信性问题已引起国内外学术界和产业界的广泛关注。 软件开发过程和软件本身都是一个复杂系统,尽管目前的开发理论和技术得到快速发展,但因软件的可信性问题引发的事故却从未停止过。因此,须从更深的层次来分析软件为何不可信的问题。本文基于“导致软件不可信的根源因素——失信因子”这一基本概念,运用微分动力学理论、系统动力学理论、期望效用理论、排队论和Petri网等相关理论知识,探讨失信因子的作用机理、影响程度及其在开发过程中的控制问题,其主要的研究内容如下: (1)失信因子的作用机理。通过分析一些与“失信”概念相关术语的内涵,提出失信因子的作用机理遵循“失信因子—错误—缺陷(故障)—失效—失信”的失信链,扩充了传统可靠性理论中的“失效链”。同时,利用相关数据提取失信因子与失信因子、缺陷、可信原则之间的关联关系,为清晰认识失信因子,丰富失信因子的概念体系提供了帮助。 (2)失信因子作用下的缺陷预测模型。针对某一类缺陷而言,从缺陷的生长过程角度,建立失信因子作用下缺陷潜藏、被发现和被修复三种状态的转移模型,通过模型的平稳解对潜藏缺陷进行预测,并用一实例验证模型的有效性。针对总体缺陷而言,从软件可靠性增长角度,在假设失信因子对缺陷的作用强度服从一负指数概率分布的前提下,建立失信因子作用下的G-O NHPP缺陷预测改进模型,实例表明改进后的模型与其它典型NHPP类模型相比,具有更好的拟合效果和预测能力。 (3)失信因子对软件过程产品质量的影响。软件质量只有在软件开发过程中得到保证,过程产品的质量又决定了最终产品的质量。以瀑布型开发过程为例,建立一些典型失信因子对过程产品质量影响的系统动力学模型。通过模型的仿真试验,观察和度量了不同失信因子对过程产品质量的影响范围和程度。 (4)失信因子作用下的软件可信性动态演化。首先,从故障的严重程度、持续时间和出现频数三方面对故障类进行综合评价;其次,基于期望效用理论,提出一种利用故障类的效用值度量软件可信性的新方法,并借助排队论思想,建立某一类故障在其持续时间内,软件可信性的度量模型;最后,分析当失信因子激发两类故障出现几种不同情形时,软件可信性的动态演化情况,并以某软件公司开发的一厂级监控管理信息系统(SIS)为例,对系统在试运行阶段的可信性演化进行实证分析。 (5)基于Petri网的失信因子控制过程模型。在失信因子的事前控制方面,选取“开发人员的经验和技能水平”这一失信因子,为控制开发人员的犯错几率,建立有色随机Petri网模型,分析企业进行人事培训的效果;在失信因子的事后控制方面,以“需求变更”为例,为控制需求变更的平均延迟时间,建立带模糊时间参数的随机Petri网模型,给出了模型的时间性能分析结果。 有研究资料表明,软件项目的失败大多都归因于管理方面,而非技术方面的问题。本文从管理学的角度,开展基于失信因子的软件可信性相关理论研究,为从软件失信这一新的视角探讨软件可信性提供研究思路,为可信性的度量和评估提供一种新的方法,为可信性的动态监测提供一种可行的途径,为软件项目的科学管理和持续的过程改进提供一些参考。


知网文化
【相似文献】
中国期刊全文数据库 前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 郑成文;张海粟;韩柯;陈昱松;张乐飞;;一种基于相似性度量的软件测试方法[A];第六届中国测试学术会议论文集[C];2010年
5 鞠秀娟;赵明;;基于CMM的缺陷管理系统的设计及应用[A];第四届中国软件工程大会论文集[C];2007年
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