陈鑫,姜鹏,张一帆,黄超,周岩.一种面向列车控制系统中安全攸关场景的测试用例自动生成方法.软件学报,2015,26(2):269-278 |
一种面向列车控制系统中安全攸关场景的测试用例自动生成方法 |
Method of Automatic Test Case Generation for Safety-Critical Scenarios in Train Control Systems |
投稿时间:2014-07-01 修订日期:2014-10-31 |
DOI:10.13328/j.cnki.jos.004780 |
中文关键词: 安全攸关场景 场景建模 简单路径覆盖 测试用例自动生成 |
英文关键词:safety-critical scenarios scenario modeling simple path coverage automatic test case generation |
基金项目:国家重点基础研究发展计划(973)(2014CB340703); 国家自然科学基金(91318301, 91118002, 61321491, 61402222); 教育部高等学校博士学科点专项科研基金(20110091120058); 江苏省产学研项目(BY2014126-03) |
作者 | 单位 | E-mail | 陈鑫 | 计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023 南京大学 计算机科学与技术系, 江苏 南京 210023 | chenxin@nju.edu.cn | 姜鹏 | 计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023 南京大学 计算机科学与技术系, 江苏 南京 210023 | | 张一帆 | 计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023 南京大学 计算机科学与技术系, 江苏 南京 210023 | | 黄超 | 计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023 南京大学 计算机科学与技术系, 江苏 南京 210023 | | 周岩 | 计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023 南京大学 计算机科学与技术系, 江苏 南京 210023 | |
|
摘要点击次数: 4509 |
全文下载次数: 3492 |
中文摘要: |
列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性. |
英文摘要: |
The train control system is a safety-critical system. To assure its safety, it requires the testing process to cover all possible runs in its safety-critical scenarios. Existing methods of scenario modeling and test case generation cannot completely satisfy the requirement. The paper focuses on the methods of modeling safety-critical scenarios in train control system and the tools for automatically generating test cases for the system. UML activity diagram is extended with event-driven and time characteristic description mechanism to satisfy the requirement of modeling safety-critical scenarios. A simple path coverage criterion is also proposed to define the coverage of all possible runs in a scenario and a method is provided for automatic test case generation. The experiment on ground train control system shows the effectiveness and limitation of the proposed method. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |