02 代码评审.ppt

* * * * * * Can use “annotation” feature to add standard comments to code * Summary of the results of a Code review are provided in a comprehensive report that documents results at the system, file and procedure levels. Individual coding rules are enumerated with complete definitions. Errors and warnings are displayed with hyperlinks to the line source. * * * * * * * * * * * * * * * * 质量评审 设计评审 单元测试 测试验证 测试管理 ? 代码评审 代码评审 代码评审特点 代码分析 代码评审报告 编程规则 优点 代码图形化显示 代码评审能力 通过软件生命周期的自动化，将编码规则至始至终全面的应用于所有的源代码； 使用工业标准或自定义规则 代码评审能力 检查和生成代码注释文档 头注释生成选项 定位死代码 生成 C++ 类实现的文档 链接到源代码的综合报告 用户能使用 LDRA 图形化工具检查代码 评审过程介绍 分析代码内的注释 发现 LCSAJs （测试路径）报告不可达代码 执行编程标准确认 强制标准 广泛的编程标准 – 用户可配置 语言子集： 安全子集 简易子集 减少对编译器的依赖 有助于目标代码映射 与标准相关的错误 维护性标准 MISRA C MISRA C 1998年由汽车工业协会创建 逐渐被软件开发方广泛接受 唯一被国际认可的安全C测试标准 MISRA C：2004 LDRA 作为委员会成员 标准版本的改进 在LDRA Testbed中已实现 编程标准确认 包含在 langreport.dat 文件中 编辑这个文件进行设置 编程标准包含下列分析检查： 基本静态分析 复杂度分析 静态数据流分析 信息流分析 可以从质量报告和图形化结果中查看 编程标准确认 使用命令行方式在命令行下确定规则违反文件： penfile=location 静态标准示例： 60 STANDARDS TEXT MUST BE 50 CHARS OR LESS 1 1 0 1 S Procedure name reused 2 1 0 2 S Label name reused 3 1 500 3 S More than *** executable lines 4 1 50 4 S Procedure exceeds *** lines 5 1 0 5 S Empty then clause 6 1 0 6 S Procedure pointer declared 7 1 0 7 S Jump out of procedure 8 1 0 8 S Empty else clause MISRA C / MSRA-C:2004 编程规则和标准二者链接 标准分为： 必须 建议 报告依从： 代码评审报告 带批注的源代码 符合标准的所有方面： 编程规则 复杂度度量 代码覆盖 Test Manager报告 报告给出pass/fail总体结果， 同时提供链接到源代码的详细结果 LDRA Testbed ? Code Review Report 代码评审报告 Pass/Fail标准 函数级别 单文件或集合文件 可选的总结报告或详细报告 关注所有函数或者仅关注是否失败 ASCII或HTML格式 代码评审报告 通过如下文件进行全面配置： report.dat 可以对整个工程，或者对单独的子系统进行自定义配置 代码评审报告配置对话框 注释分析 注释对提高代码的可维护性是很重要的 为分析和报告注释的使用，注释可分为以下三类： 头注释 声名注释 体注释 注释分析 注释框图给出每个函数可执行代码的注释比率 也给出空注释的数目 Number of comment lines in parts of procedures ======================================================================== in in