万永超
- 作品数：3 被引量：8H指数：2
- 供职机构：西北工业大学计算机学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 航空机载软件安全性测试技术研究被引量：6
- 2010年
- 航空机载软件的安全性问题日趋严重,亟需对其进行严格的专门性测试,首先对当前的软件安全性测试研究现状予以总结,针对航空领域测试环境的特点提出了各种机载软件安全性指标;其次,在充分的安全性分析和传统的可靠性测试理论基础上,依照软件运行的关联风险值构建出机载软件的关键运行剖面,对机载软件安全性的关键运行进行严格的测试,并提出了机载软件安全性测试用例的生成算法;最后,利用统计理论探讨了测试用例数的改进和加速确定方法,用以提高软件的安全性测试效率。
- 万永超赵宏斌董云卫
- 关键词：机载软件软件测试安全性运行剖面
- 构件化软件系统安全性分析技术研究
- 2010年
- 复杂系统的软件安全性分析中存在众多的含糊表述和不确定性问题,主观评价和模糊集理论即为处理此类问题的有效方法。首先对复杂软件涉及到的安全性要素进行模糊数学化表述,按照构件化的思想,对单个构件/模块的安全度进行分析,进而利用Dempster-Shafer证据理论对整个软件系统进行安全度综合,实现对软件系统的安全性分析和评估,最终按照DO-178B标准给出软件的安全等级,并通过实例加以说明。
- 万永超周兴社董云卫
- 关键词：构件化软件模糊集主观评价安全度
- 基于构件失效建模的软件安全性分析被引量：2
- 2010年
- 提出一种基于构件失效建模的软件安全性分析方法,对失效传播与转换标记(FPTN)进行扩展,描述各个构件的失效行为和模式。在架构设计层面综合考虑软件系统的构件连接和结构特性,使用模糊数学的相关方法,确定软件的安全等级。结合实例,对构件失效传播的概率进行计算,结果证明了该方法的有效性。
- 万永超周兴社董云卫
