嵌入式04 设计评审.pptVIP

* * Unmasks assumptions about code. * * * * * * * * * * * * * * * * * * DR provides an industry unique design analysis capabilities that determine the as-built consistency of your code with the project or contract requirements. DR provides valuable inputs to a Test Readiness Review (TRR) process you may have in place or provide the basis for a new TRR process. And nothing prepares you better for testing than the “weeding out” or preclusion of design flaws from code before you test it. * 交叉索引 交叉索引可收集不同文件、不同函数中变量的使用情况，例如： 变量在何文件、何函数及哪一行使用？ 变量在哪里被赋值？ 变量在哪里被引用？ 如变量未被使用，可被删除吗？ 如变量仅被使用一次，可被删除吗？ 交叉索引 对源代码中所有的变量执行彻底的交叉索引分析 详细信息 全局变量 局部变量 参数 既是局部也是全局变量（非C/C++） 报告变量在整个系统的使用情况 可在复杂度分析后调用交叉索引分析，如果在交叉索引分析之前使用了静态数据流分析，也只能使用某些信息 局部变量作为全局变量使用 1 { File under test : lgtest.pas 3 4 Date of Analysis : Thu Nov 28 09:11:04 2002 5 by LDRA Testbed : Pascal Version 6.2.0 6 } 7 program lgtest ( output ) ; 8 9 procedure proc1 ( x : integer ) ; 10 11 var 12 a , b : integer ; 13 procedure proc2 ( var y : integer ) ; 14 begin 15 y := b + 1 ; 16 end ; 17 begin 18 b := 1 ; 19 a := x ; 20 proc2 ( a ) ; 21 end ; 22 23 begin 24 proc1 ( 1 ) ; end. 位于函数proc1内的变量b，又作为全局变量用在函数proc2内，这在交叉索引分析报告中被标记出来 ********************** * * * PROCEDURE proc1 * * * ********************** Calls the Following Procedures ------------------------------ ================================= NAME CALLED ON LINE ================================= proc2 20 Called by the Following Procedures ---------------------------------- ================================= NAME CALLED ON LINE ================================= *MAIN 24 Variable Usage Information -------