计算机与现代化

• 软件工程 • 上一篇    下一篇

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

  

  1. (南京航空航天大学计算机科学与技术学院,江苏南京210016)

  • 收稿日期:2015-11-10 出版日期:2016-04-14 发布日期:2018-09-30
  • 作者简介::姬忠孝(1990-),男,新疆昌吉州人, 南京航空航天大学计算机科学与技术学院硕士研究生,研究方向:软件安全性测试; 江国华(1963-),男,副教授,研究方向:软件测试技术,软件工程。

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

  1. (College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China)

  • Received:2015-11-10 Online:2016-04-14 Published:2018-09-30

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

关键词:

text-indent: 21pt">mso-ascii-font-family: 'Times New Roman', mso-hansi-font-family: 'Times New Roman'">安全性测试; mso-ascii-font-family: 'Times New Roman', mso-hansi-font-family: 'Times New Roman'">故障树分析; mso-ascii-font-family: 'Times New Roman', mso-hansi-font-family: 'Times New Roman'">函数依赖图; mso-ascii-font-family: 'Times New Roman', mso-hansi-font-family: 'Times New Roman'">安全关键函数; mso-ascii-font-family: 'Times New Roman', mso-hansi-font-family: 'Times New Roman'">危险

Abstract:

The common method of software safety testing focuses on the systemlevel testing and pays less attention to the unit testing, at the same time, there arent 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.

Key words:

text-indent: 21pt">safety testing, fault tree analysis, function dependence graph, safety critical function, hazard

中图分类号: