论文部分内容阅读
提出了一种利用断言产生测试用例的白箱测试方法．该方法首先选定程序中某条语句作为目标节点，通过在目标节点的临界分支和必要分支上插入断言来限制和跟踪程序的执行，以保证程序能到达目标节点，从而生成相关测试数据．利用这种测试数据生成方法，对轨道交通列车自动监控系统软件（ATS）的部分功能模块进行单元测试，并给出测试结果．