简要介绍了CTCS2-200C列控车载设备和Ada语言;研究了CTCS2-200C列控车载设备的软件测试方法,采用Undertand进行软件静态测试,采用V......

为指导软件开发与测试人员有效开展单元测试活动,提高软件测试效率,文章以Ada语言软件单元动态测试为例,重点阐述了如何利用Vector......