|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2011年08 期
| 標(biāo)題 |
| 基于UML 2.0活動圖的車載設(shè)備測試用例生成方法研究(20 卷) |
| 英文標(biāo)題 |
| Research on test case generation of on-board equipment based on UML 2.0 activity diagrams |
| 摘要 |
| 重點(diǎn)研究基于UML2.0活動圖的CTCS-2級車載設(shè)備測試用例生成方法。介紹車載設(shè)備的構(gòu)成和功能，對活動圖進(jìn)行形式化定義，闡述測試用例的設(shè)計，包括車載設(shè)備活動圖建模規(guī)則、測試用例的形式化定義、測試覆蓋準(zhǔn)則的定義、基于深度優(yōu)先搜索并且?guī)Щ厮莸谋闅v算法的測試場景生成，以 |
| 作者 |
| 新聞作者:靖焱林，唐 濤 |
| 關(guān)鍵字 |
