主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
陈鑫,姜鹏,张一帆,黄超,周岩.一种面向列车控制系统中安全攸关场景的测试用例自动生成方法.软件学报,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 
 
摘要点击次数: 3103
全文下载次数: 2659
中文摘要:
      列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对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阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利