|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2011年08 期
| 标题 |
| 基于UML 2.0活动图的车载设备测试用例生成方法研究(20 卷) |
| 英文标题 |
| Research on test case generation of on-board equipment based on UML 2.0 activity diagrams |
| 摘要 |
| 重点研究基于UML2.0活动图的CTCS-2级车载设备测试用例生成方法。介绍车载设备的构成和功能，对活动图进行形式化定义，阐述测试用例的设计，包括车载设备活动图建模规则、测试用例的形式化定义、测试覆盖准则的定义、基于深度优先搜索并且带回溯的遍历算法的测试场景生成，以 |
| 作者 |
| 新闻作者:靖焱林，唐 涛 |
| 关键字 |
