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

A Positioning Method of Safety Critical Function Based on FTA and FDG

作　　者：姬忠孝 江国华[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,江苏南京210016

出　　处：《计算机与现代化》2016年第4期85-89,122,共6页Computer and Modernization

摘　　要：常用的软件安全性测试方法主要关注系统级测试,而对单元安全测试的关注较少且缺乏对安全关键函数的查找方法。本文提出基于FTA和FDG的安全关键函数的定位方法,解决安全关键函数定位问题,为以函数为单元的安全性测试提供依据。采用故障树分析法获取造成危险的基本事件,根据基本事件,构建与之对应的软件运行,以FDG为基础,构建函数与软件运行的映射,根据基本事件、软件运行和函数三者的关系,及函数的重要度,确定关键函数。The common method of software safety testing focuses on the system-level testing and pays less attention to the unit testing,at the same time,there aren＇t enough methods to search the safety critical function. The positioning method of the safety critical function based on FTA and FDG is used to solve these problems,which provides foundation to the unit safety testing. The fault tree analysis method is used to obtain the basic event of hazard. According to the basic event,the corresponding relationship between the basic events and the operation of the software is established. Based on function dependence graph,the correspondence between the function and the software operation is established. It ensures the safety critical function through the relationship of the basic events,software operation and function,and the important degree of function.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]