安全软件测试评估平台软件结构的研究和实现.pdfVIP

998年第12卷第3期 测试挂木学搬 Vol12No3 19兮8 安全软件测试评估平台软件结构的研究与实现 丁『：㈡ 奉巍巍徐牛伟屠海滢昊芳美 l一』三。．．： (上海铁道人学，上海200331) 摘要 本文通过对安全软件测试评估方法的分析和研究，讨论了铁路信号控制系统安全 软件测试评估平台的整体结椅．对上下住机自i纽成，各部分的功能关系及测试过程进行了 描述．并给出了平台的软件总体功能框图，重点阐述了安全软件测试评估平台的软件结构 选择及其技术实现． 关键词安全软件，测试，谇估，软件结构 O引言 铁路信号控制系统软件是一类安全性完善度要求很高的安全软仆f11。微机联锁系统链 实现铁路车站信号安全控制羽I防护的系统。目1目，它已成为铁路乍站信号控制和防护系统 发展前方向。随着微机联锁系统的推，“馒州，如锕测评微机联锁系统，尤其烂其核心部分 一联锁软件的可靠性和安全性一直困扰者管理部}’J和Hj户。在铁道部的人力支持F， 经过两年的努力，我们已研制成功测评联锁软仆的I‘具——安全软仆测试评估平台。 由下肖今世界硬件技术的迅猛发展及系统}≠错技术的J’‘泛腐州．人们并不怀疑由硬仆 故障而导致的软件失效可以是徽乎其微的。微机联锁系统均设计为容错系统．而有文献表 明。百分之八十至百分之九十无的实时软仆的，：效在弈错系统中将被屏敞【2】。相对而高． 软竹开发过料中引入的软仆缺陷则不可避免。这一方面是由丁鞔仆需求规格说明不够详尽 或青有误造成的，另～方面是歼发人员考虑不最导煦的。虽然最终提交的软竹往往能够很 好地满足n三常功能的要求，而在非止常远行条tlF．就有可能出现错误的结果。对丁．离可 靠、高安全需求的软件，这样的缺陷甚至丁导致严重的．I亓粱。我们研究的测试评估平台虽 然是钟对微机联锁系统中的安全软仆进行的。但其中的设计思想羽I～些笑键技术同样适埘 丁|萁它软什洲试需求。 本文通过对安全软件测试评估的分析和j；jf究，对平台的格体绡构。上侮机，F怔机的 组成．各部分的功能荚系及测试过程进行了讨论，升给出了平台的软件总体功能框幽，阐 述了安全软件测试评估平台的软制·结构选抒和技术实现。安全软件渊试评估平台采H{臼动 与手l：相结合的方法，提供完备的自动化功能测试和I一部分的可舷性年II安全性测试平¨评 估。目前已成功±l鱼对两个实例芈站微机联锁软仆系统进行了测评。 1平台概况 权威测试部『J佧为管理部fj和用户之外的第三方必须考虑软你的保密网素·实践证 明，基丁：尝箱声案的测试评估平台既能满足软仆f々保密需求义能达剑预期的测试敛果。 i簋笺2：麴! 窒全墼=[士捌试进毡垩宣塾鲑结拄的盟窭刍塞盥!奎巍巍釜L 圣!≥ 基丁．翼箱方案的测试评估平台的中心思想是：在平台上建立一套被测系统的对比软 件，测试案例同时输入到拔测软件和对比软件，由结果分析和评估模块对两路输出进行 比较分析，并给出最终的定量分级评估。 平台中的软件包按其功能可划分为[3】： A)站场信号平面布置图拓扑数据自动生成及动态显示子系统： B)垛作集I』j动生成子系统(Ⅱ三常操作集，竹jE常操作集)： C)远行集臼动生成子系统(正常运行集，1F止常运行集)； D)测试察例自动生成子系统： E1现场信号设备仿真子系统： F1 数据记录及安全性评估子系统： G1虚拟联锁对照子系统； H)接口子系统等。 模块A为平台的人机界蕊，同时也为整个平台提供基本的乍站站场数惦。揲f1：集臼 动生成子系统(正常操作集，1F正常操作集)与运行集臼动生成子系统(1[常运行集，罅 正常运行集)所生成的数据集合是测试案例生成的基础。现场仿冀是被测系统羽I虚拟软 什的模拟车站环境。接口负责平台内部及平台与被测系统之间的数据传输T+作。数据