基于缺陷分析与测试评审的软件可信性评价方法

来源 :第四届信息安全漏洞分析与风险评估大会 | 被引量 : 0次 | 上传用户:licx1010
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  本文提出一种软件缺陷分析与软件测试评审相结合的可信评价办法,用于在软件开发周期中量化评估软件可信性。本方法将软件可信性定位在五个不同要素上,以软件安全缺陷为入手点,针对软件开发过程中的设计模型进行分析,找到其中的安全缺陷;通过对软件缺陷危险程度的评估及缺陷在软件中的影响范围来综合考虑软件整体的可信性。通过这种方法,从不同维度对其可信性进行评价,发现软件设计初期引入的缺陷,提高软件开发的质量和效率。
其他文献
  将有限的测试资源有效用于软件可靠性测试中具有十分重要的意义。传统方法生成的测试用例中存在大量冗余信息,测试效率低下。本文首先通过引入Markov使用模型生成测试用例
2008年仲夏,时值新疆好家乡超市有限公司10周年庆典会上,董事长许平这样诠释和追忆公司所走过的艰辛历程和收获的累累硕果:“10年前的今天,一家200多平方米的小型超市开张营业了,我们带着一个目标,要做乌鲁木齐最好的超市,好家乡开始了艰难的起步。回想10年前的诺言,今天,我们可以自豪地说,我们做到了。”  10载弹指一挥,10载春华秋实。通过10年的学习和努力,新疆本土零售企业的“好家乡”已开设大
在当前时代背景下,新媒体的发展速度越来越快,公司营销工作逐步展现出了多方面特点。为了能够顺应时代的要求,公司在制定营销策略的时候,理应从整体角度出发,全面分析,以此促使自身
A new byte block cipher algorithm with discrete chaos and Feistel structure has been studied for confidential communication in wireless sensor network to improv
  本文以社交网络群体结构为研究对象,揭示了社交网络“圈子”的特征以及其主要影响因素。大量文献表明,复杂网络呈现出社区结构特性。本文用复杂网络的分析方法,研究社交网络
2020年1-11月,全国国有及国有控股企业(本月报所称全国国有及国有控股企业,包括国资委、财政部履行出资人职责的中央企业、中央部门和单位所属企业以及36个省、自治区、直辖
期刊
近年来,大数据技术已经渗透进各行各业里,不断推动我国现代化社会的发展.大数据技术的应用不仅在互联网等行业较为广泛,对于电力行业的用户信息管理与电力营销工作都具有举足
  针对漏洞管理机制的复杂特性,在对现有漏洞管理体制进行多层次、多角度分析的基础上,总结利弊提出了一种基于公开交易的漏洞管理机制的设想,对其交易流程进行了阐述,并使用PE
在独立发电商(Independent Power Producer)机制比较成熟的发展中国家,购电方往往是本国的国有电力公司,购电方会与发电商签订“照付不议”(Take or pay)的长期购电协议(PPA)
期刊
随着《战国》的火热宣传,一直充满争议的北影第一美女“景甜”更被推上风口浪尖,一个新人竟和大牌明星合作竟然还是女一号,网友发出不同的疑问,近日某门户网站独家披露,景甜