| 多端口形式化测试自动生成方法在CTCS-3车载系统中的应用 |
| |
| 引用本文： | 赵显琼,唐涛.多端口形式化测试自动生成方法在CTCS-3车载系统中的应用[J].铁道学报,2011,33(7). |
| |
| 作者姓名： | 赵显琼 唐涛 |
| |
| 作者单位： | 北京交通大学轨道交通控制与安全国家重点实验室,北京,100044 |
| |
| 基金项目： | 国家自然科学基金项目，国家高技术研究发展计划(863计划)，轨道交通控制与安全国家重点实验室自主研究课题 |
| |
| 摘 要： | 针对CTCS-3列控系统测试中普遍存在的需要多个端口协同测试的问题,在时间输入输出自动机(TIOA)的基础上,提出端口标记的时间输入输出自动机(LpTIOA).LpTIOA除在模型中能够反映系统的时间约束特性外,还能反映系统输入输出行为对应的端口信息,利用这些信息对基于覆盖度的搜索算法进行相应改进,形成包含端口信息的测试自动生成算法,用于生成满足给定覆盖度标准的测试套.文中还描述了运用UPPAAL工具对LpTIOA模型实现建模的方法,并运用COVER工具实现对经过UPPAAL验证的CTCS-3级车载系统LpTIOA模型的测试套自动生成.
|
| 关 键 词： | CTCS 时间自动机 车载系统 UPPAAL 实时系统 COVER |
Multi-port Based Automatic Formal Testing Generation and Its Application in CTCS-3 Level On-board System |
| |
| ZHAO Xian-qiong,TANG Tao.Multi-port Based Automatic Formal Testing Generation and Its Application in CTCS-3 Level On-board System[J].Journal of the China railway Society,2011,33(7). |
| |
| Authors: | ZHAO Xian-qiong TANG Tao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
