穆建成，辛　未，马连川,3，曹　源,3

(1.国家铁路局 科技与法制司，北京　100891；2.北京交通大学 电子信息工程学院，北京　100044；3.北京交通大学 轨道交通运行控制系统国家工程研究中心，北京　100044)

对列控系统进行测试是检验其是否符合功能需求的必要过程，而测试案例是这一过程的基础和标准[1]，并且测试案例的完备性是测试过程能够充分验证系统是否满足列控系统要求的关键。CTCS-3级列控系统的测试案例采用基于功能特征的方法生成[1-2]，对设计人员要求较高，如果对系统功能需求的理解不够深入，则可能导致测试案例设计错误或遗漏[3]。为确保测试能够覆盖全部系统需求规范，需要验证测试案例的完备性。

对CTCS-3级列控系统测试案例进行完备性验证，就是考察其对于《CTCS-3级列控系统需求规范(SRS)》[4]的覆盖程度。目前，针对测试案例的完备性验证主要采用静态或动态需求跟踪方法，通过建立需求跟踪关系确定[5]。

静态需求跟踪方法主要是利用需求跟踪矩阵[5]、需求管理工具(DOORS[6]和Rational Requistepro[7])等由人工手动建立需求跟踪关系。例如文献[1]利用DOORS人工关联SRS与测试案例，形成链接关系并输出需求跟踪报表，最终通过人工审核，验证CTCS-3级列控系统测试案例的完备性。但由于该方法对人工依赖程度较高，如果验证人员对SRS和测试案例的理解有偏差，则可能导致验证结果并不能说明测试案例的完备性。特别是对于规模较大的系统，应用静态需求跟踪方法存在着需求跟踪关系创建困难并且容易出错等问题[8-9]。……