【摘 要】
：
近年来，软件安全性在保证系统安全、避免重大人员伤亡和财产损失方面起到了重要作用；然而在软件安全性工程中，软件安全性并不能完全依靠常规的软件工程方法和软件测评手段来进行
论文部分内容阅读
近年来，软件安全性在保证系统安全、避免重大人员伤亡和财产损失方面起到了重要作用；然而在软件安全性工程中，软件安全性并不能完全依靠常规的软件工程方法和软件测评手段来进行测试；如何在1一程中开展软件安全性测试仍然是一个悬而未决的问题；首先从软件安全性测试的发展现状入手，分析我国在该领域工程应用中所遇到的问题；然后阐述当前主要的软件安全性测试流程和方法，将现有的测试方法分3类进行描述，并分析和比较这些测试方法的特点；最后总结并展望软件安全性测试研究的发展方向。
其他文献
同以往的科研学位研究生相比，专业学位研究生对临床能力提出了更高和更细致的要求。因此做好专业学位研究生临床能力的培养、考核，培养符合临床工作需要的高素质医学人才成为当
<正> 各位同学: 今天来,学校要我讲一下怎样学历史的问题。想谈一点自己的理解,请同学们批评。我们大家都是同行,都是正在或者准备一生从事历史研究工作的。对一个从事专业工
本文阐述了我国数字矿山的发展现状,对当前数字矿山建设中存在的问题进行分析,并对数字矿山发展提出了自己的见解,希望给同行业工作者提供一定的借鉴作用。
电磁兼容原理及技术是一门理论性和实践性均较强的课程。对学生而言,单纯的理论学习艰涩难懂且枯燥乏味,有必要通过实践来获得感性认识,从而加深对理论的理解。本文首先介绍
本文结合工程实例,介绍了一些医院洁净手术部净化空调系统设计中的节能方法,包括优化手术部建筑平面布局、合理划分净化空调系统、采用二次回风处理过程、在送风主管道安装定
与传统现浇钢筋混凝土桥墩相比,整体拼装式自复位桥墩具有施工速度快、受环境因素影响小,震后残余位移小且易修复等优点,因此日渐受到设计人员的重视。选取两个典型的整体拼装式自复位桥墩(编号为PT2和HBD2),通过拟静力和非线性时程分析,并与现浇桥墩对比,分析了不同类型桥墩的抗震性能。在此基础上提出了一种带有缓冲垫层的整体拼装式自复位桥墩的新型构造形式,并通过非线性时程分析验证了该构造形式的优越性。本文
以有机溶剂萃取制备的儿茶素粗品为材料,进行大孔吸附树脂柱色谱法制备高纯儿茶素(儿茶素含量≥95%)的研究.选用12种树脂为吸附剂,应用HPLC对吸附过程中儿茶素含量与组分的变
目的探讨正确评价临床科室手术分级资料的方法。方法按等级将资料分组,采用Ridit分析法综合评价临床科室手术分级资料。结果 2014年各科室手术的技术含量和风险高低顺序依次
湿地地形复杂多变,沙洲、滩涂、河塘较多,采用常规的RTK或全站仪测量不仅费时费力,而且效率比较低。针对此问题,本文提出了三维激光扫描技术结合RTK技术,并以自由设站为主的
目的：通过实验观察鱼腥草颗粒的体外抗甲型流感病毒作用。方法：采用鸡胚接种和血凝试验测定病毒效价。结果：药物的直接灭活作用（A组）和药物抑制病毒在鸡胚内的增殖作用（B组）的血凝滴