基于SFTA的桥接模式安全性分析.pdfVIP

第35卷 第24期 计 算 机 工 程 2009年 12月 11o1．35 No．24 ComputerEngineering December舢 · 软件技术与数据库 · 文章编号：l000—_3428(2009)24-__o1o8—_03 文献标识码：A 中圈分类号：N945 基于SFTA 的桥接模式安全性分析 李国旗，陆民燕，刘 斌 f北京航空航天大学工程系统工程系，北京 100191) 摘 要：采用软件故障树分析法，通过一个应用桥接模式的实例研究在软件设计中引入设计模式对软件安全性的影响。结果表明，单纯引 入桥接模式，软件的安全性约降低50％，但引入设计模式使得软件模块之间解耦合，通过加入双余量设计，可以使软件安全性提高2个数 量级。该结论对安全关键软件面向对象的设计具有指导作用。 关健词：软件故障树分析；设计模式；软件安全性 SafetyAnalysisofBridgePatternBasedonSFTA LIGuo-qi，LU M in-yan，LIUBin (DepartmentofSystemEngineeringofEngineeringTechnology，BeihangUniversity，Beijing100191) [Abstract]Inordertoanalyzetheinfluenceofapplyingdesignpatternstosoftwaresafetyinsoftwaredesign，thispapercarriesoutacasestudyOn bridgepatternwithSoftwareFaultTreeAnalysis(SFTA)．Theresultshowsthattheapplicationofbridgepatternmakesthesafetyreduceby50％，but thesoftwaremodulescanbedecoupledandredundancydesigncanbeadded Introducingdoubleredundancycanimprovesoftwaresafetybytwo ordersofmagnitude．Theconclusionisvaluableforobject—orienteddesignofsafety—criticalsoftware [Keywords]SoftwareFaultTreeAnalysis(SFTA)；designpattern；softwaresafety 1 概述 是用不同的图形表示不同的信号；同样的信号有不同的实现 软件安全性是指软件不发生导致人员伤亡、设备损坏或 方法。软件的设计需求类似于一个绘图程序，它可以画圆形、 财产损失等意外事件的能力。软件本身对人员财产不会产生 方形等形状，同时画图程序支持不同版本的函数库，比如Vl 威胁，但软件中的错误有可能通过软、硬件的接VI使硬件发 版、V2版。如果不采用设计模式，而只使用传统的面向对象 生误动或失效，造成严重的安全事故。安全关键软件在开发 设计 ，就会选择类继承 ，生成 V1Rectangle，V2Rectangle， 的过程中针对软件安全性进行专门的安全性分析。由于在安 V1Circle，V2Circle等类。图 1为用类继承实现设计的UML 全关键的计算机应用系统中，由软件实现的功能所占比重越 类图。 来越大，因此软件安全性受到越来越多的重视。 软件安全性分析技术主要分为静态分析技术和动态分析 技术，静态分析技术有软件故障树分析(SoftwaleFaultTree Analysi