导读:本文包含了软件安全性论文开题报告文献综述及选题提纲参考文献，主要关键词:嵌入式软件,安全性,测试
软件安全性论文文献综述
吴冬梅[1]（2019）在《基于安全性分析的嵌入式软件测试》一文中研究指出本文首先简要介绍嵌入式软件的特点及测试的必要性,在此基础上,从安全测试难点、安全测试环境、安全测试方法以及安全测试过程几个方面,对基于安全性分析的嵌入式软件测试进行论述。期望通过本文的研究能够对嵌入式软件安全性的提升有所帮助。(本文来源于《电子技术与软件工程》期刊2019年21期）
徐小杰,吕海霞[2]（2019）在《基于SFMEA的机载软件安全性需求提取方法研究》一文中研究指出软件失效模式、影响分析(SFMEA)是对软件进行安全性分析的重要方法,通过对软件失效的影响分析、失效原因分析可以得到对应的改进措施,可以提高软件的安全性。通过对SFMEA进行扩展,建立包含有失效原因的经验数据的航空机载软件失效原因库,为用户分析提供辅助参考,确保失效原因以及对应的改进措施分析的充分性,并最终提取软件安全性需求保证后续的软件安全性工作。最后给出了上述方法在某发动机控制软件中的应用,过程和结果均表明该方法能够有效的提取软件安全性需求以支持软件安全性工作并最终保证软件安全性。(本文来源于《航空标准化与质量》期刊2019年05期）
许波勇[3]（2019）在《安全性在企业软件项目开发中的应用探析》一文中研究指出从企业软件项目开发话题开始,对提高企业软件项目的安全性进行了分析,从分析、设计与验证、编码、测试四个阶段讨论了采取提高安全性的具体措施,最后,对如何提高企业软件项目的安全性进行了总结。对企业加强自主开发的软件项目的安全性具有较强的参考价值。(本文来源于《办公自动化》期刊2019年18期）
夏亮,杨江平,邓斌,余娟,宋若愚[4]（2019）在《基于熵权法和改进灰色聚类模型的雷达软件安全性需求分析》一文中研究指出针对现有的构造软件安全性需求指标体系研究,客观定量分析较少,提出了一种基于熵权法和改进灰色聚类模型的分析方法,该模型可以解决传统灰色聚类模型中各灰类综合聚类系数取值相近的问题;以某型雷达软件系统的安全性需求分析为例进行了评估,结果表明:该方法可以有效提高评估的准确性和科学性。(本文来源于《兵器装备工程学报》期刊2019年09期）
杨守特,陈雷[5]（2019）在《医院质量安全管理考核软件开发的可行性和安全性》一文中研究指出考核工作所涉及的领域比较广,需要用到的专业知识比较多且杂,而且参与考核工作的人员比较多,这就造成相关的考核数据填写有漏洞,在开展数据查询工作时会有难度,甚至会导致数据丢失,不利于医院质量安全管理工作的有序进行,进而导致医院质量安全管理方面的考核效率无法提高。另外,在使用相应的考核软件时要注意该软件是否具有一定的可行性和安全性,并在考核工作中,有效推广该考核软件,能够进一步使相关数据查询工作更加便捷,提高数据信息的使用率。因此,笔者在本文将探讨医院质量安全管理考核软件开发的可行性和安全性。(本文来源于《数字通信世界》期刊2019年09期）
王鹏,吴康,阎芳,汪克念,张啸晨[6]（2019）在《基于系统理论过程分析的安全关键软件安全性验证方法》一文中研究指出现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析(STPA)的软件安全性验证方法。在安全控制结构基础上,通过构建带有软件过程模型变量的过程模型,细化分析危险行为发生的系统上下文信息,并以此生成软件安全性需求。然后通过设计起落架控制系统软件,采用模型检验技术对软件进行安全性验证。结果表明,所提方法能够在系统级层面有效识别出软件中潜在的危险控制路径,并可以减少对人工分析的依赖。(本文来源于《计算机应用》期刊2019年11期）
张天琪,唐思宇,侯云杰[7]（2019）在《计算机联锁软件测试与安全性评价研究》一文中研究指出计算机联锁是一种典型的关键安全系统,必须要考虑到许多技术要求,以防止风险因素的影响。同时,可以对导致各种软件发生故障的因素进行检测并把它找出来,而且还可以提供准确和统一的评估标准,以及保证软件的安全性。系统安全测试是用于测试阻止软件安全功能的最复杂的技术工具,基于以前的测试和研究,该文主要分析了基于测试的安全评估标准,并且还定义了新概念,象危险问题、风险收集预防以及扩展预防范围。对安全问题分类的不同标准的正式描述为进一步开发计算机联锁软件的测试和安全评估提供了有用的理论基础,而且该文还研究了一些计算机联锁软件测试的例子。(本文来源于《中国新技术新产品》期刊2019年15期）
李震,张勇[8]（2019）在《基于最小割集的软件安全性测试用例生成》一文中研究指出软件产业的飞速发展也给软件的安全性问题很大的挑战。对软件进行安全性测试是保证软件安全的重要手段[1]。软件安全性的测试用例是保证软件安全性测试的基础,它能提高软件安全性测试的质量。利用故障树的原理和方法,基于故障树最小割集的生成,阐述了其基本原理并对其进行定性和定量分析。利用生成的最小割集设计测试用例能保证测试的充分性、测试用例分布的合理性,保证了软件安全性测试用例质量和安全性测试质量、效率。(本文来源于《计算机与数字工程》期刊2019年07期）
夏亮,杨江平,常春贺,王安安[9]（2019）在《大型相控阵雷达软件系统安全性研究》一文中研究指出随着软件系统在大型相控阵雷达中的大量应用,软件系统带来的安全性问题也引起广泛关注。针对大型相控阵雷达软件系统的安全性问题,首先利用软件失效模式和影响分析方法进行安全性分析,找出软件系统的薄弱环节;然后进行针对性安全性设计,提出有效的改进措施;最后利用改进模糊层次分析法进行安全性评价,得到安全性评价结果。实例证明,这种方法可以有效分析大型相控阵雷达软件的安全性问题、找出影响安全性的故障原因、对安全性薄弱环节加以改进设计、对整个大型相控阵雷达系统进行安全性评价。(本文来源于《系统工程与电子技术》期刊2019年08期）
周海波,崔恩慧[10]（2019）在《基于Sesam软件自升式平台安全性分析的设计与实现》一文中研究指出随着海洋石油事业的发展,海洋钻井平台作为海洋油气勘探和开采的重要装备已经得到了广泛的应用。自升式平台是目前我国海洋石油勘探中使用最多的一种钻井平台。自升式平台作为典型的海洋工程结构物,由于其工作环境的恶劣以及自身结构的复杂性,故对其结构强度的分析研究已经是非常重要且必要的项目。本文通过运用Sesam软件,对某一自升式平台进行建模,根据规范对自升式平台桩腿在升起工况下的强度以及主船体的强度进行了校核分析的过程设计。(本文来源于《科技经济导刊》期刊2019年17期）
软件安全性论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
软件失效模式、影响分析(SFMEA)是对软件进行安全性分析的重要方法,通过对软件失效的影响分析、失效原因分析可以得到对应的改进措施,可以提高软件的安全性。通过对SFMEA进行扩展,建立包含有失效原因的经验数据的航空机载软件失效原因库,为用户分析提供辅助参考,确保失效原因以及对应的改进措施分析的充分性,并最终提取软件安全性需求保证后续的软件安全性工作。最后给出了上述方法在某发动机控制软件中的应用,过程和结果均表明该方法能够有效的提取软件安全性需求以支持软件安全性工作并最终保证软件安全性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
软件安全性论文参考文献
[1].吴冬梅.基于安全性分析的嵌入式软件测试[J].电子技术与软件工程.2019
[2].徐小杰,吕海霞.基于SFMEA的机载软件安全性需求提取方法研究[J].航空标准化与质量.2019
[3].许波勇.安全性在企业软件项目开发中的应用探析[J].办公自动化.2019
[4].夏亮,杨江平,邓斌,余娟,宋若愚.基于熵权法和改进灰色聚类模型的雷达软件安全性需求分析[J].兵器装备工程学报.2019
[5].杨守特,陈雷.医院质量安全管理考核软件开发的可行性和安全性[J].数字通信世界.2019
[6].王鹏,吴康,阎芳,汪克念,张啸晨.基于系统理论过程分析的安全关键软件安全性验证方法[J].计算机应用.2019
[7].张天琪,唐思宇,侯云杰.计算机联锁软件测试与安全性评价研究[J].中国新技术新产品.2019
[8].李震,张勇.基于最小割集的软件安全性测试用例生成[J].计算机与数字工程.2019
[9].夏亮,杨江平,常春贺,王安安.大型相控阵雷达软件系统安全性研究[J].系统工程与电子技术.2019
[10].周海波,崔恩慧.基于Sesam软件自升式平台安全性分析的设计与实现[J].科技经济导刊.2019