| 一种面向列车控制系统中安全攸关场景的测试用例自动生成方法 |
| |
| 引用本文： | 陈鑫,姜鹏,张一帆,黄超,周岩.一种面向列车控制系统中安全攸关场景的测试用例自动生成方法[J].软件学报,2015,26(2):269-278. |
| |
| 作者姓名： | 陈鑫 姜鹏 张一帆 黄超 周岩 |
| |
| 作者单位： | 计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023;南京大学 计算机科学与技术系, 江苏 南京 210023,计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023;南京大学 计算机科学与技术系, 江苏 南京 210023,计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023;南京大学 计算机科学与技术系, 江苏 南京 210023,计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023;南京大学 计算机科学与技术系, 江苏 南京 210023,计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023;南京大学 计算机科学与技术系, 江苏 南京 210023 |
| |
| 基金项目： | 国家重点基础研究发展计划(973)(2014CB340703); 国家自然科学基金(91318301, 91118002, 61321491, 61402222); 教育部高等学校博士学科点专项科研基金(20110091120058); 江苏省产学研项目(BY2014126-03) |
| |
| 摘 要： | 列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性.
|
| 关 键 词： | 安全攸关场景 场景建模 简单路径覆盖 测试用例自动生成 |
| 收稿时间： | 7/1/2014 12:00:00 AM |
| 修稿时间： | 2014/10/31 0:00:00 |
Method of Automatic Test Case Generation for Safety-Critical Scenarios in Train Control Systems |
| |
| CHEN Xin,JIANG Peng,ZHANG Yi-Fan,HUANG Chao and ZHOU Yan.Method of Automatic Test Case Generation for Safety-Critical Scenarios in Train Control Systems[J].Journal of Software,2015,26(2):269-278. |
| |
| Authors: | CHEN Xin JIANG Peng ZHANG Yi-Fan HUANG Chao and ZHOU Yan |
| |
| Affiliation: | State Key Laboratory for Novel Software Technology Nanjing University, Nanjing 210023, China;Department of Computer Science and Technology, Nanjing University, Nanjing 210023, China,State Key Laboratory for Novel Software Technology Nanjing University, Nanjing 210023, China;Department of Computer Science and Technology, Nanjing University, Nanjing 210023, China,State Key Laboratory for Novel Software Technology Nanjing University, Nanjing 210023, China;Department of Computer Science and Technology, Nanjing University, Nanjing 210023, China,State Key Laboratory for Novel Software Technology Nanjing University, Nanjing 210023, China;Department of Computer Science and Technology, Nanjing University, Nanjing 210023, China and State Key Laboratory for Novel Software Technology Nanjing University, Nanjing 210023, China;Department of Computer Science and Technology, Nanjing University, Nanjing 210023, China |
| |
| Abstract: | |
| |
| Keywords: | safety-critical scenarios scenario modeling simple path coverage automatic test case generation |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
