安全软件测试的一种技术实现.pdfVIP

心8年第12卷第3期 测试技术学报 Vol12 No3 1998 些篓釜塑生：：皇婴里些哇塑里坚墅墅堡燮里墨掣望坚塑婴坚：—』墅垦些窖】 安全软件测试的一种技术实现 左淑利朱程荣吴芳美 (上海铁道大学，上海200331) 摘要 本文分析了铁路信号安全软件测试评估平台的结构，测试案倒的生成，运行集的 生成以及回归测试。二重用剃试平台能实现对微机联锁软件的功能测试和安全性测试，提 高联锁软件的可靠性和安全性。 关键词 测试评估平台：测试案例；运行集；回归测试 0引言 讣算机软件使得汁算机系统在生产活动、社会生活中得以广泛应用．并使计算机系 统蕴藏蕾巨人潜力。托计算机硬件足够可靠的今天．系统的安全性、可靠性主要取决于 软件。这就增姻r软竹nj稚性问题在软件￡。程领域乃至整个计算机领域的重要性。 ＆铁路走向高“技、岛智能化的今天．由计算机取代继电器实现铁路安全控制与防 护已，J芟为铁路信号发展的土流。铁路安全与防护系统的安全软件——微机联锁软件，直 接涉及ir下乃至旅客生命的安全，具有最高的安全完善度等级。如何对其测试以保证可 靠陆、安全H。，势侄必行。住铁道部重点课题的支持下，我们开发了安全控制软件测试 汗什平台，能对微机联锁软件进行安全性、可靠性测试。 本文通过对安全控制软件测试评估平台结构的分析，对测试案例和运行集的自动生 成，咀及同1洲试的讨论，阐述_『如何实现软什的自动化功能测试和一部分安全性测试。 1测试评估平台的结构 由1--保密性闪素，对{}!{}试者米说将被测软件看作一个黑箱是合理的。因此潮试平台 采l}j黑箱测试原理。 幽1所示的是测试平台结构。 捌试时，上位机中的主控模块将案例生成集产生的各种案例，同时送给被测联锁软 r}：(枉蔫系统士机幽运行，通过接口与平台通信)和虚拟联锁软件(由平台开发者建立 的被洲系统的对比环境)进行联锁运算。 被洲软{q输出直接控制仿真现场，并采集仿真现场的状态表示信息，并向上位机传 ：塑 捌遗蛰—苤羔强—— I塑g生整3甥 送显示中的现场状态信息和各种返回信息，{{上位机进行显示和决定下一步的控制方向。 虚拟软件只采集仿真现场信息，它的输出既不控制现场，也本转送上位机，只是保存起 来作为被测软件的对比信息。 上位机同时将被测联锁软件的输出和虚{薹l联锁软件的输出送入比较评估子系统．进 行比较，得到定量评估的基础数据，并以表格帕形式实时打印， 输出 图1 2测试案例生成 对微机联锁系统的输入而言，由于其操作种类繁多，再加上各种操作的蛆台．纂统 具有数目巨大的输入数据，要把所有的输入数据收集起来是完全办不判的．而且也是无 意义的．除非只收集一个规模很小但重要的子集。利用该子集，有助于攫赠测试活动， 总结测试情况．提高测试速度和效率． 一个系统的所有可能的输入状态集合称为输入空伺。如何从输入空同中避箨适当的 测试案例。使其近可能覆盏微机联锁系统的危险侧输出，对整个系统的测试效桌起着关键 作用。 通过对车站操作命令和列车运行信息等诸多因：綦的分析，将各种案伪筛选、整囊后。 可符溯试案倒盆成两大类；正常功能潮试和非正常自缓奎性测试。 』簋差三5勰2 塞垒熟健测试鳇=啦越鲞塞丑(左塑型簦』 2塑 正常的功能’铡试包括所有的联锁功能，例如进路选捧．列车占用，进路的自动解锁， 取消等．几乎90％的操作办理和列车运行都属于这种类型。因此它的功能正确与否极大 地影响行车的安全。鉴于此，’对其中的每项功能测试必须遍历全站．如果运用普通的人 工测试．既费时，又枯燥，而且易犯错．而运用自动测试．将大大提高测试效率和准确 性．它通过将被测联锁软件的输出和虚拟联锁软件的输出比较，如一致，则认为正确． 否则错误。(虚拟联锁软件经过多次测试和事先已知的故障注入，在可靠性和安全性上