03质量评审.pptVIP

* * * * * * * * * * * Tells you how much “bad stuff” you have in your code * Uses flowgraph from printtype, runs spv and it leaves a lot of essential knots * * * * * * * * * LCSAJ is higher than (ter3) then mc/dc * A triple is a start point, end point and a target point. Looks at testrian.c lcsaj report In C you get very high LCSAJ, in C++ you tend to have fewer. If your code is unreachable, then lcsaj count =0 * * * * * * * * * * * * The DR component utilizes advanced analytical capabilities of the tool to assess the correctness of your as-built design (that is, your design implementation). Your procedure and class declarations are documented for easy comparisons with interface and design specifications to assess conformance. In a future LDRA release, integration with the widely used DOORs requirements tracking tool will be offered. DR next predicts how your code will behave at run time. The many dimensions of your memory management system are examined. DR also examines how variables are used, providing hyperlinks to anomalous implementation details. * * * LCSAJ起始点 LCSAJs开始于： 程序的第一行可执行代码 A的第一行可执行代码，A可以是： 功能 程序 方法… 任何控制流跳转的目标行： 标号 else语句 endif语句 switch语句的子句 循环 函数调用的返回... LCSAJ跨度 LCSAJ跨度是程序中的最小分割，任何LCSAJ的线型代码序列都完全包含在LCSAJ的跨度中 LCSAJ跨度的第一行可以是程序的开始，或者是前面的LCSAJ序列不能到达的那一行 LCSAJ跨度的终止行可以是程序的结束行，或者是控制流不能经过其下一行的代码行 Span FINISH 82 else 1 ------------------------------------------------------------------------ START 83 { 1 84 mess = Hello There; 1 85 } 1 START 86 } 2 START 87 } 3 START 88 printf ( %d %d %d %20s\n, i, j, k, mess ); 4 FINISH