原创力文档- 1、本文档共8页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
软件检验中的六性要求探讨
作者：赵智伟王猛周辉安娜
来源：《计算机与网络》2021年第13期
摘要：针对大型复杂软件可靠性低、重大任务运行过程中出现软件故障的问题，从软件的
全生命周期角度研究软件可靠性设计方法;从软件可靠性检验、软件维修性检验、软件保障性
检验、软件测试性检验、软件安全性检验和软件环境适应性检验等方面探讨软件六性检验方
法。针对软件可靠性检验，从软件失效、功能剖面、失效模式和影响度分析、可靠性定义、可
靠性模型选择和指标分配，涵盖了软件需求、概要设计、详细设计及测试设计等不同阶段，最
后以实例进行验证。
关键词：关键件;失效模式;可靠性模型;六性检验
中图分类号：TP393文献标志码：A文章编号：1008-1739（2021）13-70-4
DiscussiononSixPropertiesofSoftwareInspection
ZHAOZhiwei1，WANGMeng2，ZHOUHui3，ANNa4
（1.Unit91917，PLA，Beijing102401，China;
2.MilitaryRepresentativeOfficeoftheEquipmentDepartmentofPLARocketForceStationed
inLangfang，Langfang065000，China;
3.MilitaryRepresentativeOfficeoftheMilitaryRepresentativeBureauofEquipment
DevelopmentDepartmentofCMCStationedinShijiazhuang，Shijiazhuang050081，China;
4.The54thResearchInstituteofCETC，Shijiazhuang050081，China）
Abstract：Inviewoflowreliabilityoflargeandcomplexsoftwareandsoftwarefaultin
running，thedesignofsoftwarereliabilityisstudied.Theinspectionmethodofsixpropertiesof
softwareisdiscussed，fromtheviewofsoftwarelifetime，includingsoftwarereliability，
maintenance，safeguard，testingandsafetyandenvironmentsadaptability.Aimingatthesoftware
reliability，thesoftwarefaultandsoftwarefunctionprofileandfaultmode，effectanalysis，
reliabilitydefinition，reliabilitymodelchoiceandindexesallocationcoverthesoftware
requirement，onlinedesign，detaileddesignandtestingdesign.Atlast，theverificationisdoneby
usingtheinstance.
Keywords：keymodule;faultmode;reliabilitymodel;sixpropertiesinspection
引言0
軟件是各个系统的必要组成部分，也是各系统的核心功能所在，随着SDN/NFV的出现，
软件定义网络及硬件功能软件化、虚拟化，软件的地位和作用越来越突出。同时软件直接面向
各级各类运维人员，是网络整体运行状态的呈现者，为大型任务网可靠高效运行保驾护航，为
重大任务的顺利完成提供技术支撑，因此研制高可靠性高质量的软件势在必行，研究探讨软件
六性检验、提升软件质量和可靠性具有重要意义。
软件可靠性检验1
软件可靠性检验主要包括软件复杂度、软件冗余、软件健壮性、软件避错和软件程序可读
性检验。
软件复杂
文档评论（0）