一种基于FTA和FDG的安全关键函数定位方法

摘要：

常用的软件安全性测试方法主要关注系统级测试，而对单元安全测试的关注较少且缺乏对安全关键函数的查找方法。本文提出基于FTA和FDG的安全关键函数的定位方法，解决安全关键函数定位问题，为以函数为单元的安全性测试提供依据。采用故障树分析法获取造成危险的基本事件，根据基本事件，构建与之对应的软件运行，以FDG为基础，构建函数与软件运行的映射，根据基本事件、软件运行和函数三者的关系，及函数的重要度，确定关键函数。

关键词：安全性测试、故障树分析、函数依赖图、安全关键函数、危险

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2016-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：85-89,122