兰州交通大学自动控制研究所1 LDRA软件测试结业论文学院: 自动化与电气工程学院专业: 轨道与交通信号控制班级: 信号 1404 班学号: 201409434 姓名: 刘攀指导老师: 李鹏兰州交通大学自动控制研究所2 目录一、静态测试1-1、代码测试报告1-2、数据流测试报告1-3、度量标准测试报告1-4、测试管理报告二、动态测试2-1、动态覆盖率分析报告2-2、回归报告兰州交通大学自动控制研究所3 静态测试一.代码测试报告1
综合测试——失败2
整体程序——通过3
Coverage1——失败4
Coverage2——失败5
Coverage3——失败1
综合测试该程序外部程序段符合MISRA-C 标准
但是该程序下的Coverage1,Coverage2,Coverage3程序段不符合MISRA-C标准,故综合测试没有通过静态测试的标准,显示FAIL
整体程序该程序段主函数符合MISRA-C的标准,显示通过
Coverage1 该程序段主函数不符合MISRA-C:2004 8
1标准,显示失败
Coverage2 该程序段主函数不符合MISRA-C:2004 8
1标准,显示失败
Coverage3 该程序段主函数不符合MISRA-C:2004 8
1标准,显示失败
兰州交通大学自动控制研究所4 案例三中的主函数22 行至 45 行不符合 MISRA-C:2004 16
10 标准,测试不通过
二.数据流测试报告Procedure Call Information 程序访问表格:coverage1 被主程序访问的程序是第一行和第四行Coverage2 被主程序访问的程序是第六行和第十行Coverage3 被主程序访问的程序是第十二行和第二十行兰州交通大学自动控制研究所5 数据流异常现象兰州交通大学自动控制研究所6 三.度量标准测试报告1
度量标准测试通