基于需求建模的联锁软件自动化测试技术的研究与实现.pdfVIP

2013年8月 铁 道 通 信 信 号 August2013 第49卷 第8期 RAILWAY SIGNALLING ＆ C0MMUNICAT10N Vo1．49 No．8 基于需求建模的联锁软件 自动化测试技术的研究与实现 徐登科 姚亚平 齐志华 郑长宗 摘 要：基于需求的测试是软件测试的本质 。通过采用线性关系抽取技术的需求建模方法，设计 出一种 以需求驱动生成测试用例，并结合相应的软件测试平台，完成其 自动执行的测试技术。该 技术能够对联锁软件 中逻辑关系比较复杂的需求进行整理和化简，并能够以最小数 目的测试用例 实现最大化功能覆盖率的 自动化测试 。 关键词 ：需求建模 ；联锁软件 ；软件测试 ； 自动化测试 Abstract：Requirements—basedtestingistheessenceofsoftwaretesting．Thispaperproposedatesttech— nologywhichadoptedtherequirementsmodelingmethodoflinearrelationextractiontechnologytodesign ademand—drivengenerationoftestcasesandautomaticexecutionofthetestcasesincombinationwithap- propriatesoftwaretestingplatform．Thetechnologycansortandsimplifythecomplexlogicalrelationships requirementsofinterlockingsoftwareandconductautomatedtestingofmaximalfunctionalcoveragewitha minimum numberoftestcases． Keywords：Requirementsmodeling；Interlockingsoftware；Softwaretesting；Automatictesting 对于联锁软件 中涉及逻辑关系 比较复杂、参与 2个状态，如表示继电器的吸起和落下。针对上述 的输入信号量较多的程序，要对其按照完全组合的 特点，提出了一种采用线性关系的抽象技术进行需 形式进行验证和测试是不现实的，特别是在人工执 求建模 ，通过整理和化简 自动生成测试用例，并与 行的情况下 ，测试成本将是巨大的，甚至是不可行 相应的软件测试平台结合，自动执行完成其测试和 的。如对于一个输入域涉及到 l0个输入变量的组 结果分析的技术 。 合逻辑，若采用穷举方法进行测试，需要 1024个 1 需求建模及判定表生成 用例，不但涉及的测试用例数 目很大，而且对其结 果的判断更是需要很大的工作量。该部分联锁软件 在此以某客站和货运到发场之间的出站信号机 具有如下特点：①输入域的变量数 目较多；②逻辑 为例，研究出站信号机的显示逻辑。出站信号的输 关系比较复杂，但只涉及或隐含与、或、非3种运 出状态一般 由2部分输入状态决定：一是开放信号 算；③输出域和输入域的变量取值简单，通常只有 前需要检查本站的联锁条件 ，包括驱动和采集状 态 ，女口0一S】LXJ、I_S1LXJ、O—S1AFXJ、I_S1AFXJ； 二是按照信号显示关系图，需要相邻站场的进站信 徐登科 ：中国铁道科学研究院通信信号研究所 助理研究员 100081 北京 号显示条件 ，如绿、绿黄、双黄、黄 。