收藏本站
《南京大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

【参考文献】
中国期刊全文数据库 前10条
1 王强;;基于缺陷分类的软件缺陷分析方法[J];电子产品可靠性与环境试验;2005年S1期
2 林闯,曲扬,郑波,田立勤;一种随机Petri网性能等价化简与分析方法[J];电子学报;2002年11期
3 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
4 林闯;王元卓;杨扬;曲扬;;基于随机Petri网的网络可信赖性分析方法研究[J];电子学报;2006年02期
5 蔡开元;董昭;刘克;;关于软件可靠性测试的若干问题[J];工程数学学报;2008年06期
6 王怀民;唐扬斌;尹刚;李磊;;互联网软件的可信机理[J];中国科学E辑:信息科学;2006年10期
7 唐达;李晔;;基于有色随机Petri网的供应链系统模型分析[J];计算机研究与发展;2007年10期
8 杨善林;丁帅;褚伟;;一种基于效用和证据理论的可信软件评估方法[J];计算机研究与发展;2009年07期
9 聂剑平;韩柯;陈光;曹旭;;软件缺陷增长过程的混沌分析[J];计算机工程与应用;2008年11期
10 塔维娜,何积丰;基于形式化方法的需求分析[J];计算机工程;2003年18期
中国博士学位论文全文数据库 前4条
1 宁晓倩;基于系统动力学的软件开发项目管理[D];复旦大学;2004年
2 徐佩;软件研发项目团队有效性研究[D];河海大学;2006年
3 潘春光;软件项目风险计划与过程控制模型研究[D];国防科学技术大学;2006年
4 阚红星;可信软件自动测试成本与风险研究[D];合肥工业大学;2008年
中国硕士学位论文全文数据库 前1条
1 郑翠芳;基于贝叶斯网络的软件缺陷预测技术研究与应用[D];中国工程物理研究院;2006年
【共引文献】
中国期刊全文数据库 前10条
1 李钊;;六西格玛管理在电解铝行业的应用[J];四川有色金属;2005年04期
2 张盖艺;谭大璐;尹健;;浅议我国建筑工程保险[J];四川建筑科学研究;2007年06期
3 陈云钢;郭正兴;;高大支模施工安全风险管理的探讨及对《建筑施工模板安全技术规范》的理解[J];四川建筑科学研究;2012年02期
4 李向正;;mBBM方程的钟状代数孤立波解[J];合肥师范学院学报;2011年03期
5 陈军;;风险管理理论在深基坑工程中的应用[J];安徽建筑;2008年06期
6 张帆;;铁路电气化企业施工项目管理的风险控制[J];安徽建筑;2010年05期
7 刘金川;杨会娟;;基于种群生态学的农业科技园区研究[J];安徽农业科学;2010年26期
8 孟令启;陈庆榆;;基于MATLAB的捕食模型研究[J];安徽科技学院学报;2011年01期
9 吴勇卫,王秋水,邵强;我国工业企业安全卫生防护距离标准研制的探讨[J];安全;2000年06期
10 杨徐昕;具有时滞非自治的Lotka-Volterra捕食系统的一致持久性[J];安庆师范学院学报(自然科学版);2004年03期
中国重要会议论文全文数据库 前10条
1 林雯;赵辉煌;赵晏;;制造业工厂设备软件可靠性探讨[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年
2 陈慈河;彭芳;;道瓮高速公路投资风险研究与对策[A];中国公路学会高速公路运营管理分会2011年度年会暨第十八次全国高速公路运营管理工作研讨会论文集[C];2011年
3 杨舰;黄道平;李小亚;;GDCS任务调度的SPN模型研究[A];第二十六届中国控制会议论文集[C];2007年
4 ;Design and Implementation of a Trusted Remote Remediation Framework for Vehicle Software[A];第二十九届中国控制会议论文集[C];2010年
5 周献中;李檬;朱颖颖;占济舟;赵佳宝;;基于系统思想的软件可信性内涵与特征分析[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
6 周献中;李檬;占济舟;朱颖颖;赵佳宝;;研究软件可信性的新视角:失信因子[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
7 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
8 唐和雍;易红;;摩托车曲轴箱体压铸件的质量改进[A];重庆市机械工程学会铸造分会、重庆铸造行业协会2010重庆市铸造年会论文集[C];2010年
9 林玮玮;栾云才;;案例教学在软件项目管理教学中的应用[A];2008年计算机应用技术交流会论文集[C];2008年
10 杨律青;;运用鱼骨图分析及提高计算机网络的稳定性[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
中国博士学位论文全文数据库 前10条
1 张海涛;自律计算系统的自律可信性评估研究[D];哈尔滨工程大学;2010年
2 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
3 冯光升;面向认知网络的自适应QoS感知与配置方法[D];哈尔滨工程大学;2009年
4 朱丽娜;大规模网络安全态势评估与防卫技术研究[D];哈尔滨工程大学;2010年
5 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
6 董慧群;代建制项目风险预警管理研究[D];辽宁工程技术大学;2010年
7 程曦;淀山湖氮磷营养物与浮游藻类增长相互关系的研究[D];华东师范大学;2011年
8 曹涌;基于分形的软件可靠性模型和程序证明的数学机械化[D];电子科技大学;2010年
9 祝晓春;增强型软件项目中测试工作量度量研究[D];浙江大学;2010年
10 王浩学;面向服务提供的逻辑承载网构建关键技术研究[D];解放军信息工程大学;2009年
中国硕士学位论文全文数据库 前10条
1 叶青;基于可信的无线传感器网络认证技术的研究[D];安徽工程大学;2010年
2 郝春晖;先进制造系统项目风险评价研究[D];安徽工程大学;2010年
3 李丹;政府对高校财务风险监控机制研究[D];山东科技大学;2010年
4 赵映超;基于三维结构的项目风险动态管理研究及应用[D];山东科技大学;2010年
5 苟雪;大型商业地产开发项目风险管理研究[D];山东科技大学;2010年
6 李莉;一类具有Holling-typeⅢ反应功能函数的捕食—食饵模型的时空动力学分析[D];哈尔滨师范大学;2010年
7 李琳;平面退化系统的中心问题[D];浙江理工大学;2010年
8 孟晓玲;几类系统的几乎全局稳定性[D];郑州大学;2010年
9 刘文辉;时滞系统的输入—状态稳定性[D];郑州大学;2010年
10 洒艳慧;房地产投资风险分析与评价[D];山东农业大学;2009年
【二级参考文献】
中国期刊全文数据库 前10条
1 李万领;杨锁昌;周伟;;COM在测试软件设计中的应用[J];兵工自动化;2006年09期
2 刘斌,陆民燕,阮镰;基于模糊神经网络的软件可靠性早期预计方法[J];北京航空航天大学学报;2001年02期
3 朱永春,徐红;一种基于历史数据的软件缺陷预测方法改进[J];北京航空航天大学学报;2003年10期
4 肖作平,李玉宝;模糊集合论在人力资源绩效考评中的应用[J];商业研究;2002年13期
5 刘希宋,张德明;模糊数学在人力资源管理绩效评价中的应用研究[J];商业研究;2003年05期
6 李志高,刘军;基于团队的绩效评价指标体系的建立思路及应用[J];商业研究;2005年13期
7 邹同庆;地下水水质的物元评价方法及应用[J];常德师范学院学报(自然科学版);2001年04期
8 蔡国梁,邢桂芬,李玉秀,王作雷,陶华;城市环境空气质量的多指标可拓综合评价法[J];城市环境与城市生态;2003年05期
9 朱继业,窦贻俭,方红松;动态系统物元模型在综合水质预报中的研究和应用[J];城市环境与城市生态;1999年01期
10 杨杰,凌文辁,方俐洛;构筑高功效项目团队[J];中国人才;2003年01期
中国博士学位论文全文数据库 前5条
1 苏为华;多指标综合评价理论与方法问题研究[D];厦门大学;2000年
2 方德英;IT项目风险管理理论与方法研究[D];天津大学;2003年
3 徐如志;基于复用的软件过程改进方法与优化控制技术研究[D];复旦大学;2004年
4 郭百钢;基于Bayes网络的项目投资风险评估与决策方法研究[D];南京理工大学;2004年
5 蒋国萍;软件项目风险管理的贝叶斯网络模型研究[D];国防科学技术大学;2005年
中国硕士学位论文全文数据库 前9条
1 董庆蓉;工作团队的激励机制和绩效测评体系[D];电子科技大学;2001年
2 胡劲英;塑造高绩效的团队[D];对外经济贸易大学;2001年
3 潘陈勇;基于生命周期的软件开发动态风险管理[D];浙江大学;2002年
4 黄斌;团队利润分享和奖金激励机制有效性之博弈研究[D];南京师范大学;2003年
5 焦鹏;软件项目风险评估方法的研究[D];北京工业大学;2003年
6 马德森;体育团队凝聚力及其多维综合评价体系的研究[D];曲阜师范大学;2004年
7 宣晓东;托普集团软件项目团队管理研究[D];大连理工大学;2004年
8 左智娟;团队有效性评价结构研究[D];天津师范大学;2004年
9 黄存权;软件开发项目团队绩效影响因素分析[D];浙江大学;2004年
【相似文献】
中国期刊全文数据库 前10条
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期
中国重要会议论文全文数据库 前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年
中国重要报纸全文数据库 前4条
1 蓝色海岸;明明白白来“进补”[N];中国电脑教育报;2004年
2 北京保捷环球电脑软件公司 崔启亮;我国软件本地化行业的10大转变[N];计算机世界;2004年
3 ;硬件配置与设置的几个问题[N];中国计算机报;2001年
4 相春雷;软件测试管理好助手[N];中国计算机报;2002年
中国博士学位论文全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026