【技术实现步骤摘要】
本专利技术属于软件防危测评方法,特别是一种基于关联风险剖面的防危性增长测评方法。
技术介绍
目前,随着软件技术发展和网络规模的不断增大,对软件进行测评也越来越重要。防危性增长测评作为一种基于关联风险剖面的测评方法,能用少量的测试用例,及早发现可能引起严重事故的软件缺陷,为后续的风险防范和解除提供依据。软件防危性涉及到确保软件在系统的范围内执行时不会引起无法接受的风险,通过在开发过程的早期识别潜在的危害,建立需求和设计功能来消除或控制这些危害。NancyG. Leveson早在1986年就系统地阐述了什么是软件防危性,为什么会出现软件防危性问题 以及怎样分析和加强软件防危性(N. G. Leveson. Software safety:Why, what, and how.Computing Surveys, 1986, 18(2) : 125-163)。近几年网络领域的研究成果和计划主要有GENI、FIND、Europe NGI> Ambient Network 以及 4D 模型等。防危性增长测评选择对失效风险较大的运行和操作进行测试,能快速找到问题所在, ...
【技术保护点】
一种软件防危性增长测评方法,其特征在于包括步骤如下:第一步,设定软件防危性指标:将软件风险作为软件防危性指标,记为R;第二步,生成关联风险剖面,确定软件安全关键运行产生的风险:将安全关键运行的概率Pc与该运行产生失效引起的后果即加权值ε的乘积作为生成关联风险剖面的风险值;第三步,计算安全关键运行在关联风险剖面的取样概率,生成测试用例;第四步,根据重要性取样原理,计算测试中的软件总风险值Ra,如果Ra小于R,表明防危性达标,测试停止。
【技术特征摘要】
【专利技术属性】
技术研发人员:李千目,路国翠,戚湧,侯君,严悍,宋巍,衷宜,茅海雁,魏士祥,刘婷,
申请(专利权)人:无锡南理工科技发展有限公司,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。