|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2010年07 期
| 标题 |
| 基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法(46 卷) |
| 英文标题 |
| 摘要 |
| 提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法；该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下，首先将CTCS-3系统分解为多个实体，针对每个实体，根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述；然后，根据相应的算法得 |
| 作者 |
| 新闻作者:赵显琼,李开成,唐〓涛,袁〓磊 |
| 关键字 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 标题 |
| 基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法(46 卷) |
| 英文标题 |
| 摘要 |
| 提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法；该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下，首先将CTCS-3系统分解为多个实体，针对每个实体，根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述；然后，根据相应的算法得 |
| 作者 |
| 新闻作者:赵显琼,李开成,唐〓涛,袁〓磊 |
| 关键字 |
| COPYRIGHT©2001-2025 CHINA ACADEMY OF RAILWAY SCIENCES CORPORATION LIMITED，ALL RIGHTS RESERVED | ||
|
