代码可靠性复习资料.docxVIP

代码可靠性测试第一章代码可靠性测试与之前的测试区别主要加入比较多的静态测试一、代码可靠性设计一般分为4个方面：避免错误设计、查找缺陷设计、容错保护设计和降低复杂度设计1.避免错误设计设计原则:控制和减少程序的复杂性，慎重使用容易引入缺陷的数据类型和方法遵循规则:改进软件结构，提高模块独立性；设计的扇入和扇出适中；保证模块规模适中2.查找缺陷设计是指在设计中增加程序运行时自动查找存在错误的一种设计方法。通过在程序重要模块中或者容易出错的位置设置检查点，等待错误的出现，其方法包括看门狗定时器、循环等待次数控制、软硬件交互检查设计、数据合法性检查，也包括对ROM中的代码进行和校验、检测内存、对关键函数功能的检查以及系统诊断。3.容错机制的设计是指在设计中赋予程序某种特殊的功能，使程序在错误已被错误触发的情况下，系统仍然具有正常运行能力的一种设计方法。常出现的容错性保护是冗余设计技术，冗余设计技术实现的原理是在一套完整的软件系统以外，设计一种不同路径、不同实现方案的软件作为内分，在出现故障时可以用冗余的部分进行替换，从而维护软件系统的正常运行。4、降低复杂性设计主旨思想是保证软件原始需求功能的基础上，尽可能简化软件的结构，缩短模块内代码的长度。在软件复杂程度超过一定的范围时，出错率会明显增加，降低复杂度是保证软件质量的有效方法之一。二、代码可靠性编程注意的规范：形式上的规范主要有：命名的规范、代码风格。包括文件结构、程序版本、命名规则内容上的规范主要指高质量的编程、可靠性编程、一致性编程。逻辑和执行、函数设计、接口设计、数据操作结构上的规范主要指分层分块、封装隔离的思想第二章软件代码可靠性测试：为了测试和评价高可靠性、高安全性的软件系统而运用一系列测试手段对软件系统实施测试，发现软件的需求分析错误、设计错误、代码错误、测试隐患和文档错误的过程。需要考虑的方面包括：文档测试、测试用例的良好设计、测试过程管理、测试环境搭建、对安全可靠性指标性能指标的测试要采用行之有效的测试手段，并将其作为测试的重点、测试配置管理。软件测试的目的是做大限度的发现软件的错误，减少软件中残留的错误，提高软件的质量，能够验证软件的功能性和性能性、可用性、可移植性、约束和限制第三章软件代码的可靠性测试包含基于模型的需求验证、软件质量度量、软件代码静态分析、软件代码动态分析、黑盒测试、白盒测试、单元测试、集成测试、系统测试、文档测试等测试手段，其中文档测试、质量度量、静态分析、代码分析属于静态分析，单元测试、集成测试、系统测试属于动态测试。单元测试一般采用白盒测试的技术、集成测试 一般采用白盒测试和黑盒测试相结合的方式进行，而系统测试大多采用黑盒测试的思想。文档测试包括基于模型的需求验证、测试需求提取，同时将测试过程控制与配置管理作为软件测试的一部分，对软件代码可靠性进行了充分地阐述。静态测试：代码可靠性测试的过程（其阶段分为）：测试需求分析、制定测试计划、设计分析、测试工具选择和测试数据准备、测试执行、回归测试、测试结束后及时的总结，对测试结果分析，右侧是负责人提交测试报告。代码可靠性测试过程如下图：软件代码可靠性测试技术：黑盒测试技术（P206）、白盒测试技术（P241）、单元测试技术、集成测试技术、系统测试技术单元测试涉及的测试方面：模块接口测试、局部数据、边界值、出错处理、独立路径集成测试测试的方面:检查模块接口的数据、各个子模块组合起来检查父模块是否达到预期的功能、检查一个模块的功能是否对另一个模块的功能产生影响、全局数据是否有问题、单个模块的误差积累起来是否会放大。从而达到不可预料的后果。第六章 软件静态分析又称为用源代码分析，与动态测试相对应，静态测试不必设计测试用例，不运行被测试代码，只对源程序代码本身进行分析。通过人工方式进行代码静态分析具有很大的局限性，原因是比较耗时、易犯错、可靠性低，对内缺乏可持续性对外不具有权威性。新一代代码测试技术是基于规则的代码检查，意义重编程规范为依据分析源代码，发现其不合规则和违反的地方，并给出违规的具体信息。注意：在单元测试中判定和路径的区别是判定是路径的组成部分，并且判定数=路径数 对于语句数量，如果这个语句是一个函数调用的话也算在语句数中。掌握6.3.1 数据类型及数据类型转换规范（1. 数据类型相关的编码风格）P135理解6.1 软件代码静态分析的概念 P132第七章掌握7.3 典型错误类型分析（缓冲区溢出，内存泄露，引用未申明或初始化的变量，编译错误等）P173理解7.1 软件代码动态分析的概念 P169：是指在代码无错误地通过编译的前提下，通过检查源程序的语法、结构、过程、接口等来检查程序的正确性，找出代码中隐藏含的运行时错误和缺陷，如数学异常、缓冲区溢出、指针地址的有效性或数组越界错误等软件运行时错误。