软件可靠性设计技术应用研究
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
计算机技术的高速发展,致使武器装备系统和自动化指挥系统等军用系统对软件的依赖程度越来越高。软件在武器装备、航天航海等要求高可靠性的系统中扮演着越来越重要的角色。因此,军用软件可靠性就成为确保军事系统质量的瓶颈和关键。
     软件可靠性是软件质量中最为重要的一项属性,软件可靠性设计技术是确保和提高软件质量的重要手段。因此,本文以工程项目的软件作为主要研究对象,开展软件可靠性设计技术应用研究。依据软件研制周期,先从可靠性设计的三个方面入手,软件可靠性设计要求、软件可靠性详细设计、确定代码编写规范;然后通过收集故障数据开展可靠性增长预计模型的研究。论文主要研究内容与成果如下:
     第一,深入研究软件可靠性设计方法及软件可靠性设计的重要准则。在软件需求分析和概要设计阶段提出针对项目软件的可靠性设计要求。
     第二,在故障模式、影响和危害度分析(Failure Mode, Effects and CriticalityAnalysis, FMECA)和质量功能展开(Quality Function Deployment, QFD)的基础上,提出了系统级软件可靠性屋(House of Software Reliablity, HoSR)模型。在详细设计阶段,建立通用性的故障模式及故障原因库并不断扩充故障模式及故障原因库。基于该库再利用HoSR模型对软件单元模块进行可靠性分析,找出潜在故障模式及引发该故障的原因,并可直观得到共模故障、共因故障,也可得到故障模式之间的关联性以及故障原因之间的关联性,从而控制模块自身缺陷,控制模块之间的故障传递以及控制传递过来的缺陷和模块自身缺陷的共同作用导致的缺陷。最后根据故障原因提出故障改进措施。通过该分析结果指导可靠性设计,以提高软件可靠性。
     第三,采用智能优化算法结合动态模糊神经网络(Dynamic Fuzzy NeuralNetwork, DFNN)的方法,使用仿预测手段得到DFNN自身参数的最优值,建立了软件可靠性增长预测模型(Software Reliability Growth Prediction Model,SRGPM)。在软件验收前期,使用DFNN建立软件可靠性预测模型,使用软件缺陷数据对DFNN训练并进行仿预测,在仿预测过程中使用智能优化算法求取DFNN自身参数的最优值。然后再用训练好的DFNN对软件可靠性进行预测,与G-O模型、BP神经网络、模糊神经网络(Fuzzy Neural Network, FNN)建立的SRGPM相比,预测误差小并且稳定性高。
With the rapid development of computer technology, weaponry systems andautomated command systems and other military systems depend much more onsoftware than before. Software plays an increasingly important role in weaponry,space, navigation and other systems which need high reliability. Therefore, militarysoftware reliability becomes bottleneck and key factor of military system.
     Software reliability is the most important attribute of software quality. Softwarereliability design technology is an important means to ensure and improve softwarequality. Therefore, this dissertation takes the project’s software as main object ofstudy, the application of software reliability design technology is carried out. Basedon the software development cycle, we can start reliability design from three aspects,which are software reliability design requirements, detailed software reliabilitydesign, code written specification. And then failure data are collected, andexperiments and assesses software reliability growth are performed The maincontributions of this dissertation are described as follows:
     Firstly, the in-depth studies of software reliability design methods and softwarereliability design criteria are performed. At the stage of software requirementsanalysis and outline design stage, software reliability design requirements for theproject software should be proposed.
     Secondly, based on the Failure Mode, Effects and Criticality Analysis (FMECA)and Quality Function Deployment (QFD), system-level house of software reliability(HoSR) model is presented. At the stage of detailed design stage, a common failuremode and causes of failure library should be established, and it should be constantlyfilled. Based on the library, HoSR is used to analyze software reliability of unitmodule, which help us find potential failure modes and the causes of failure.Common mode failures, common cause failure, the relationships between the failuremodes and the relationships between the causes of failure can be intuitively found,thus module itself defect can be controlled. The failure of transmission between themodules can be controlled, and passed defect can be controlled. Subsequently, defectby the coaction of module itself defect can be controlled. Finally, improvementscould be proposed based on the causes of failure. Reliability design could be guidedby the results of the analysis, for the result that software reliability could beimproved.
     Thirdly, intelligent optimization algorithm is combined with dynamic fuzzyneural network (DFNN), and the optimal value of DFNN parameters is gotten byimitative prediction (IP), accordingly, software reliability growth prediction model isestablished. Before acceptance of software, software reliability prediction model isestablished by DFNN. DFNN is trained by defect data and IP is proceeded. Duringthe IP, intelligent optimization algorithm is used to get the optimal value of DFNNparameters. And then DFNN which has been trained is used to predict softwarereliability, compared with G-O model, BP neural network and fuzzy neural network,its prediction error is small and steady.
引文
[1]刘东.空间信息处理系统可靠性设计与分析关键技术研究[D]:[博士学位论文].长沙:国防科学技术大学,2008
    [2]王帆.软件维护中的成本估算和质量保证技术研究[D]:[博士学位论文].杭州:浙江大学,2011
    [3]吴震.网管软件可靠性工程框架及若干关键技术研究[D]:[博士学位论文].北京:北京邮电大学,2007
    [4]王磊.嵌入式管控软件的可靠性设计与验证[D]:[硕士学位论文].成都:西南交通大学,2007
    [5]唐田田.计算机联锁系统软件可靠性设计方法的应用研究[D]:[硕士学位论文].合肥:合肥工业大学,2004
    [6]周卫东.组合导航系统软件可靠性设计与分析[D]:[硕士学位论文].哈尔滨:哈尔滨工程大学,2006
    [7]林海.卫星地面软件可靠性设计与测试技术研究与应用[D]:[硕士学位论文].长沙:国防科技大学,2008
    [8] GJB-Z102-2006,软件可靠性和安全性设计准则[S].北京国防科工委军标出版社,2006
    [9] G. Q. Huang, M. Nie, K. L. Mak. Web-based failure mode and effect analysis[J]. Computers and Industrial Engineering,1999,37:177-180
    [10] W. G. Scheneeweiss, L. V. Gmbh. The fault tree method [J]. ReliabilityEngineering and System Saftey,2001,74:221-228
    [11]陶剑锋,王少萍,姚一平.计算机辅助FMECA与FTA正向综合分析方法研究[J].北京航空航天大学学报,2000,26(6):663-665
    [12]李扬,徐抒岩,韩成山,等.定量化故障树分析技术在空间相机软件开发中的应用[J].光学精密工程,2008,16(11):2180-2186
    [13]王学成,李海峰,路民燕,等.结合贝叶斯网与SFMEA技术的软件故障诊断框架[J].计算机科学,2010,37(9):131-134
    [14] J. N. Wu, S. z. Yan, L. Y. Xie. Reliability analysis method of a solar array byusing fault tree analysis and fuzzy reasoning Petri net [J]. Acta Astronautica,2011,69:960-968
    [15]何杰,张娣,章小辉,等.基于FTA-Petri网的地铁火灾事故安全性研究[J].中国安全科学学报,2009,19(10):78-82
    [16] F. Chiacchio, L. Compagno, D. D’ urso, et al. Dynamci fault trees resolution:A conscious trade-off between analytical and simulative approaches [J].Reliability Engineering and System Safety,2011,96:1515-1526
    [17] P. L. Jelinski, Moranda. Hinal report on software reliability study [R].McDonnell Douglas Astronautics Company, MADC Report Number63921,1972
    [18] M. L. Moranda. Predictions of software reliability during debugging [C].Proceedings of Annual Reliability and Maintainability Symposium,Washingron, D. C,1975,327-332
    [19] M. L. Shooman. Probabilistic models for software reliability prediction [J].Statistical Computer Performance Evalation, Academic Press, New York, June1972,485-502
    [20] M. L. Shooman. Operational testing and software reliability estimation duringprogram developments [C]. Record of1973IEEE Symposium on ComputerSoftware Reliability, IEEE Computer Society, New York,1973,51-57
    [21] M. L. Shooman. Structural models for software reliability prediction [C].Proceedings of the2ndInternational Conference on Software Engineering,IEEE Computer Society, New York, October1976
    [22] M. L. Shooman. Spectre of software reliability and its exorcism [C].Proceedings of the1977Joint Automatic Control Conference, IEEE, NewYork1977,225-231
    [23] M. L. Shooman, Naturaja. Effect of manpower deployment and bug generationon software error models [R]. Rome Air Development Center TechnicalReport, RADCTR-76-400,1977
    [24] Coutinbo. Software reliability growth [C]. IEEE Symposium on ComputerSoftware Reliability.1973
    [25]陈华珊.遗传规划算法在软件可靠性建模中的应用研究[D]:[硕士学位论文].邯郸:河北工程大学,2007
    [26] Schneiwind. Methodology for validating software metrics [J]. IEEEThansactions on Software Engineering,1992,18(5):410-421
    [27]苏燕君.故障检测与修正过程的NHPP类软件可靠性增长模型研究[D]:
    [博士学位论文].哈尔滨:哈尔滨工业大学,2009
    [28]赵倩.考虑测试与运行差别的NHPP类软件可靠性增长模型研究[D]:[博士学位论文].哈尔滨:哈尔滨工业大学,2006.
    [29] H, Simon. Neural networks: A comprehensive foundation [M].2ndEdition.Michigan: Pearson Prentice Hall,2004
    [30]尹乾.基于神经网络的软件可靠性模型[D]:[博士学位论文].北京:北京师范大学,2006
    [31] F. Xing, P. Guo. Support vector regression for software reliability growthmodeling and rediction [J]. Lecture Notes in Computer Science,2005,3496:925-930
    [32] J. R. Jang, C. T. Sun. Functional equivalence between radial basis functionnetworks and fuzzy inference Systems [J]. IEEE Transactions on. NeuralNetworks,1993.4:156-158
    [33]谈骏,翁孚达,张艳.弹载软件可靠性初探[J].制导与引信,2007,28(3):51-54
    [34]李扬.空间相机软件可靠性分析和测试方法研究[D]:[博士学位论文].长春:中国科学院长春光学精密机械与物理研究所,2009
    [35] M. R. LYU.软件可靠性工程手册[M].北京:电子工业出版社(第1版),1997
    [36]陆民燕.航空宇航系统软件可靠性度量研究[D]:[博士学位论文].北京:北京航天航空大学,2003.
    [37]徐仁佐.软件可靠性工程[M].北京:清华大学出版社(第一版),2007
    [38]张玉辉,肖昕.数控拉线机控制系统的软件可靠性设计技术[J].兵工自动化,2011,30(2):89-90
    [39]张治生,陈怀民,吴成富,等.小型无人机非控系统软件可靠性设计与建模研究[J].计算机测量与控制,2011,19(6):1489-1492
    [40]陈志肖,聂永昱,谢剑斌,等.软件可靠性设计在机电管理系统软件中的应用[J].直升机技术,2010,3:53-57
    [41]潘永雄,胡敏强,李小伟.基于模块入口出口地址的PC指针跑飞拦截技术[J].计算机应用与软件,2009,26(9):177-182
    [42]陈建伟.四级阶梯式软件可靠性设计方法研究[J].工矿自动化,2010,11:80-83
    [43] L. Dong, Z. C. Yuan, L. Rui, et al. Fault-tolerant real-time schedulingalgorithm in software ruult-tolerant module [J]. Joumal of Computer Researchand Development,2007,44(9):1495-1500
    [44]王建.容错系统中实时任务调度和负载均衡算法研究[D]:[博士学位论文].杭州:浙江大学,2009
    [45]刘东,张春元.软件容错模型中反向与正向调度算法研究[J].计算机工程与科学,2007,29(9):101-105
    [46]丁万夫,郭锐锋,秦承刚,等.硬实时系统中基于软件容错模型的容错调度算法[J].计算机研究与发展,2011,48(4):691-698
    [47] A. H. Hu, C. W Hsu, T. C Kuo,et al. Risk evalution of green components tohazardous substance using FMEA and FAHP [J]. Expert Systems WithApplications,2009,36:7142-7147
    [48]张超,马存宝,宋东,等.基于故障树分析的航空电子系统BIT诊断策略设计[J].计算机测量与控制,2008,16(1):12-16
    [49] D. M. Shalev, J. Tiran. Condition-based fault tree analysis(CBFTA): A newmethod for improved fault tree analysis(FTA), reliability and safetycalculations [J]. Reliability Engineering and System Safety,2007,92:1231-1241
    [50]曾福萍,杨顺昆,陆民燕.系统级软件FMEA计算机辅助设计研究[J].计算机科学,2009,36(9):106-109
    [51]张虹,姜明明,黄百乔.软件可靠性分析方法研究与应用[J].测控技术,2011,30(5):101-105
    [52]王学成,李海峰,陆民燕,等.结合贝叶斯网与SFMEA技术的软件故障诊断框架[J].计算机科学,2010,37(9):131-134
    [53] H. T. Liu,Y. l. Tsai. A fuzzy risk assessment approach for occupational hazardsin the construction industry [J]. Safety Science,2012,50:1067-1078
    [54] M. H. Korayem, A.Iravani. Improvement of3P and6R mechanical robotsreliability and quality applying FMEA and QFD approaches [J]. Robotics andComputer-Integrated Manufacturing,2009,24:472-487
    [55] L. Na, S. X. Fei, W Yang, et al. Decision making model based on QFDMethod for power utlity service improvement [J]. Systems EngineeringProcedia,2012,4:243-251
    [56] A. Hassan, A. Siadat, J. Y. Dantan, ea tl. Conceptual process planning-animprovement approach using QFD, FMEA and ABC methods [J]. Roboticsand Computer-Intergrated Manufacturing,2010,26:392-401
    [57] H. T. Liu. The extension of fuzzy QFD from product planning to partdeployment [J]. Expert Systems with Applications,2009,36:11131-11144
    [58] Y. M. Wang, K. S. Chin.Technical importance ratings in fuzzy QFD byintegrating fuzzy normalization and fuzzy weighted average [J].Computersand Mathematics with Applications,2011,62:4207-4221
    [59] B. Almannai, R. Greenough, J. Kay. A decision support tool based on QFD andFMEA for the selection of manufacturing automation technologies [J].Robotics and Computer-Intergrated Manufacturing,2008,24:501-507
    [60] M. Celik, S. Cebi, C. kahraman,etal. An integrated fuzzy QFD model proposalon routing of shipping investment decisions in crude oil tanker market [J].Expert Systems with Applications,2009.36:6227-6235
    [61] L. H. Chen, W. C. Ko. Fuzzy linear programming models for NPD using afour-phase QFD activity process based on the means-end chain concept [J].European Journal of Operational Research,2010,201:619-632
    [62] L. H. Chen, W. C. Ko. Fuzzy linear programming models for new productdesign using QFD with FMEA [J]. Applied Mathematical Modelling,2009,33:633-647
    [63] J. A. Carnevalli, P. C. Miguel. Review, analysis and classification of theliterature on QFD-T ypes of research, difficulties and benefits [J]. Internationaljoumal of Production Economics,2008,114:737-754
    [64]杜雷,高建民,陈琨.基于故障相关性分析的可靠性配置[J].计算机集成制造系统,2011,17(9):1973-1980.
    [65] M. Braglia, G. Fantoni, M Frosolini.The house of reliability [J]. InternationalJournal of Quality&Reliability Management,2007,24(4):420-439
    [66]阮文浩,陈琨,杨培林.基于HoR的可靠性配置方法研究[J].机床与液压,2011,39(21):149-152
    [67]李跃生,林树茂,李文钊.适于大型复杂航天系统的QFD与FMECA技术及应用[M].北京:中国宇航出版社,2011
    [68]王丙磊.系统级软件FMEA方法及辅助分析工具的研究[D].长沙:国防科学技术大学,2009
    [69] Y. C. Chang, C. T. liu. A generalized JM model with applications to imperfectdebugging in software reliability [J]. Applied Mathematical Modellding,2009,33:3578-3588
    [70] J. H. Lo, C. Y. Huang. An integration of fault detection and correctionprocesses in software reliability analysis [J]. The Journal of Systems andSoftware,2006,79:1312-1323
    [71] S. Inoue, S. Yamada. Discrete software reliability assessment with discretizedNHPP models [J]. Computers and Mathematics with Application,2006,51:161-170
    [72] K. Y Cai, D. B. Hu, C. G. Bai, et al. Does software reliability growth behaviorfollow a non-homogeneous Poisson process [J]. Information and SoftwareTechnology,2008,50:1232-1247
    [73] N. Ravishanker, Z. H. Liu, B. K. Ray. NHPP models with Markov switchingfor software reliability [J]. Computational Statistics and Data Analysis,2008,52:3988-3999
    [74] N. F. Schneidewind. Analysis of error processes in computer software [J].Sigplan Mote,1975,10(6):337-346
    [75] S. Yamsda, M. Ohba, Osaki. S-Shaped Reliability Growth Modeling forsoftware error detection [J]. IEEE,1983.32(5):475-478
    [76] J. D. Musa, K. okumoto. A logarithmic possion execution time model forsoftware reliability measurement [J]. Proc.11th IASTED Conf. On Reliabilityand Quality Contorl,1989
    [77]赵荣利.基于贝叶斯网的软件可靠性评估技术研究[D]:[硕士学位论文].兰州:兰州大学,2007
    [78]赵靖,张汝波,顾国昌,等.考虑故障相关的软件可靠性增长模型研究[J].计算机学报,2007,30(10):1713-1720
    [79]张荣辉,姜楠,勾郎,等.一种考虑缺陷关联的软件可靠性增长模型[J].计算机工程,2008,34(8):44-46
    [80]徐高潮,刘新忠,胡亮,等.引入关联缺陷的软件可靠性评估模型[J].软件学报,2011,22(3):439-450
    [81] A. Emad, Sebakhy. Software reliability identification using functionalnetWorks: A Comparative Study [J]. Expert Systems with Application,2009,36:4013-4020
    [82] N. R. Kiran, V. Ravi. Software reliability prediction by soft computingtechniques [J]. The Journal of Systems and Software,2008,81:576-583
    [83] P. F. Pai, W. C. Hong. Software reliability forecasting by support vectormachines with simulated annealing algorithms [J]. The Journal of Systems andSoftware,2006,79:747-755
    [84]刘喜成.软件可靠性工程手册[M].北京:电子工业出版社,1997
    [85]伍世虔,徐军.动态模糊神经网络-应用与设计[M].北京:清华大学出版社,2008.
    [86]柳朝军,廖晓钟,张宇河.动态模糊神经网络控制器在伺服系统中的应用[J].控制与决策,2001,16(3):347-350
    [87]陈彦,李月明.基于动态模糊神经网络的变浆距系统辨识[J].电气技术,2011,1:18-20
    [88] M. J. Er, S. Q. Wu, Y. Gao. Dynamic fuzzy neural networks: architecture,algorithms and applications [C]. McGraw-Hill, Singapore,2003
    [89] M. j. Er, Z. Li,H. Cai, et al. Adaptive noise cancellation using enhanceddynamic fuzzy neural networks [J]. IEEE Transactions on Fuzzy Systems,2005,13:331-341
    [90]高贯斌,王文,林铿,等.应用改进模拟退火算法实现关节臂式坐标测量机的参数辨识[J].光学精密工程,2009,17(10):2499-2505.
    [91]王文,林铿,高贯斌,等.关节臂式坐标测量机角度传感器偏心参数辨识[J].光学精密工程,2010,18(1):135-141.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700