【摘 要】
：
软件产业的飞速发展也给软件的安全性问题很大的挑战。对软件进行安全性测试是保证软件安全的重要手段[1]。软件安全性的测试用例是保证软件安全性测试的基础,它能提高软件安
论文部分内容阅读
软件产业的飞速发展也给软件的安全性问题很大的挑战。对软件进行安全性测试是保证软件安全的重要手段[1]。软件安全性的测试用例是保证软件安全性测试的基础,它能提高软件安全性测试的质量。利用故障树的原理和方法,基于故障树最小割集的生成,阐述了其基本原理并对其进行定性和定量分析。利用生成的最小割集设计测试用例能保证测试的充分性、测试用例分布的合理性,保证了软件安全性测试用例质量和安全性测试质量、效率。
其他文献
传统的测井解释方法在当今存在一些弊端导致效率不高。本次研究选用已采集的测井数据,使用BP神经网络对其进行储层物性参数预测。训练前的准备包括特征选取、测井数据聚类预
本文模拟连铸并制定了基本工艺参数以实现铝铜合金薄壁筒形件的成型，选用材料为ZL205A合金，研究了其在自制筒形行波磁场下，垂直浇注系统中，各工艺参数对合金铸件宏观缺陷、组织和
目的探讨不同分子分型和临床病理特征与乳腺癌术后患者预后的关系。方法收集283例乳腺癌患者的临床病理资料,根据ER、PR和HER-2的免疫组化结果,将其分成Luminal A型、Luminal
随着局部放电检测案例的累积,将疑似局部放电数据与历史案例中的数据进行匹配获取相似案例,是大数据背景下对局部放电数据进行深度挖掘的一种思路。因此,提出了一种基于变分
随着我国智能变电技术的快速发展,变电站的建设从传统的模式逐渐向装配式建设方向转变,电缆沟作为新型变电站建设的重要组成部分,其作用直接关系整个变电站的正常运行。对于
在现如今的社会环境下,文化产业已成为很多地区经济发展新的经济增长点,在发展的过程中,文化产业集群是文化产业的典型发展模式。通过集聚的方法生产丰富的、有本土特色的文
近年来,随着纺织产业结构调整和国家节能减排政策的实施,牛仔成衣激光雕花技术因其具有环保高效、能实现差异化产品开发等优点而成为众多研究机构和企业关注的热点。文章对激
延安时期的《中国青年》是恽代英、萧楚女在大革命期间主编的《中国青年》的延续。该刊于1939年4月16日发表第一卷，1941年3月停刊，历时两年，出版三卷二十七期。在中共中央的直接
在现实生活中,经济学在各方面的运用,也扩张到在会计工作之中,从而为建立《会计经济学》创造了有利的条件,并提出了客观的要求。同时,建立《会计经济学》也是可能的。应依据
经济新常态下,我国矿产资源勘查工作面临的挑战加剧,随着地表矿发现可能性减小,找矿难度越来越大,要实现深部找矿突破,就需要更高层次的找矿哲学思想作为指导。朱溪钨铜矿在