李雪飞
- 作品数：3 被引量：4H指数：2
- 供职机构：中国航空综合技术研究所更多>>
- 相关领域：一般工业技术军事自动化与计算机技术更多>>
- 航空装备机载安全关键软件安全性测试需求获取方法研究被引量：2
- 2021年
- 针对安全关键软件提出了一种基于安全性要求的软件安全性测试需求获取方法,包括安全性需求的分类、安全性测试需求的分解和采集,目的是为得到较为完善的软件安全性测试需求,保证软件安全性测试的充分性。最后,将软件安全性测试需求获取方法应用至某型号发动机数控系统控制软件的安全性测试中,验证了方法的有效性。
- 李雪飞封二强
- 关键词：安全性测试
- 软件安全性设计的分析验证要求研究被引量：2
- 2017年
- 立足软件设计阶段,对关键软件进行安全性分析验证,提出了软件安全性设计的分析验证模型,并依据模型明确安全性设计的分析验证要求,最终给出了安全性检查单。为后续的综合分析验证提供验证目标,从而提高软件和系统的整体安全性。
- 李雪飞李海峰
- 关键词：安全性设计检查单
- 基于模式的软件安全性需求研究
- 2021年
- 软件安全性是适航性要求中的重要环节,而软件安全性需求的获取是保障软件安全性工作开展的基础。基于模式对软件安全性需求进行有效的组织和描述,能够利用已有经验高效指导软件安全性需求获取。给出了软件安全性需求模式的定义和描述方式,以及软件安全性需求模式的分类和构建流程。通过实例应用,验证了模式对软件安全性需求获取的有效性。
- 李雪飞封二强
- 关键词：安全性安全性需求
