兰州交通大学自动控制研究所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. 2.整体程序该程序段主函数符合MISRA-C的标准，显示通过。3.Coverage1 该程序段主函数不符合MISRA-C:2004 8.1标准，显示失败。4.Coverage2 该程序段主函数不符合MISRA-C:2004 8.1标准，显示失败。5.Coverage3 该程序段主函数不符合MISRA-C:2004 8.1标准，显示失败。兰州交通大学自动控制研究所4 案例三中的主函数22 行至 45 行不符合 MISRA-C:2004 16.10 标准，测试不通过。二．数据流测试报告Procedure Call Information 程序访问表格：coverage1 被主程序访问的程序是第一行和第四行Coverage2 被主程序访问的程序是第六行和第十行Coverage3 被主程序访问的程序是第十二行和第二十行兰州交通大学自动控制研究所5 数据流异常现象兰州交通大学自动控制研究所6 三．度量标准测试报告1.度量标准测试通过率函数 coverage1、Coverage2、Coverage3 的透明度为40%，main 函数的透明度为30%。以上四种函数的可维修性为100%，可测试性为100%。2.可执行行注释比率3.数据流信息兰州交通大学自动控制研究所7 四．测试管理报告1.代码审查报告2.质量审查报告兰州交通大学自动控制研究所8 3.模块测试动态测试一． 动态覆盖率分析报告1.所选程序的综合覆盖率测试报告由于只是对于coverage1 进行了动态测试，所以只显示coverage1 的测试结果。声明变量，分支函数， MC/DC 的覆盖率均为100%。兰州交通大学自动控制研究所9 A.声明变量覆盖率测试文件B.分支函数覆盖率测试文件C.真值表测试兰州交通大学自动控制研究所10 真值表测试文件二．回归报告回归报告是在TBRUN运行了七个案例之后生成的，所以报告中包含了七个测试案例的测试情况。其中...
