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

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