软件评测师教程考点梳理(四).docVIP

软件评测师教程考点梳理（四） 软件评测师考试属于全国计算机技术与软件专业技术资格考试中的一个中级考试。希赛小编为大家整理了软件评测师教程中几个重要的知识点精讲，希望对大家2017年备考能有所帮助。 一、概述 1．定义：也称结构测试或逻辑驱动测试，按照程序内部的结构对程序进行测试，通过测试来检查产品内部动作是否按照设计规格说明书的规定正常进行，检查程序中的每条通路是否能按照预定要求正确工作。 2．测试内容 把测试对象看成是一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例，对程序的所有逻辑路径进行测试，通过不同点检查程序的状态，确定实际的状态与预期的状态一致。 3．测试基本技术：（1）词法分析与语法分析（2）静态错误分析（3）程序插桩技术 4．测试方法：（1）代码检查法（2）静态结构分析法（3）静态质量度量法（4）逻辑覆盖法（5）基本路径测试法（6）域测试（7）符号测试（8）Z路径覆盖。9）程序变异。 5．黑盒测试与白盒测试 二．白盒测试基本技术 1．词法和语法分析 （1）获取信息 可以获取软件组成的重要基本因数，如变量标识符、过程标识符、常量等。 组合获取的基本因数，可以得到软件的基本信息，如： 标号交叉引用表：列出各模块中出现的全部标号及标号的属性，模块以外的全局、计算标号。 变量交叉引用表：列出变量定义及引用信息，变量的属性，变量类型（全局、局部）。 子程序、宏和函数表：列出各个子程序、宏及函数的属性，输入、输出参数信息。 等价表：列出在等价语句和等值语句中出现的全部变量和标号。 常数表：列出全部数字常数和字符常数。 （2）作用 直接从表中查出说明/使用错误，如标号交叉引用表、变量交叉引用表。 为用户提供辅助信息，如子程序、宏和函数表、等价表、常数表。 用来做错误预测和程序复杂度计算，如操作符和操作数的统计表。 2．静态错误分析 用于确定在源程序中是否有某类错误或‘危险’结构，包括以下几种： （1）类型和单位分析 对源程序的类型进行检查，为了强化检查效果，扩充一些新的数据类型，进行静态预处理程序，分析程序中的类型错误。 （2）引用分析 对程序中变量的引用进行检查，发现引用异常错误（如变量在定义前被引用，变量定义后未被引用）。 采用深度优选的方法遍历程序流图的每一条路径。 建立引用异常的探测工具，包括变量定义表和变量引用表。 （3）表达式分析 对表达式进行分析，以发现和纠正在表达式出现的错误，如： 在表达式中不正确的使用了括号造成错误。 数组下标越界错误。 除数为零。 浮点数计算的误差（最复杂）。 （4）接口分析接口一致性是程序的静态错误分析和设计分析共同研究的题目，接口分析主要对下内容时进行一致性的分析： 各模块之间接口一致性。 模块与外部数据库的接口一致性。 形参与实参在类型，数量，顺序，维数，使用上的一致性。 全局变量和公共数据区在使用上的一致性。 3．程序插桩技术 （1）概述：在动态测试中，是一种基本的测试手段，有广泛的应用。 主要借助向程序中插入操作，来实现测试目的的方法（即向源程序中添加一些语句（也称探测器），实现对程序语句的执行、变量的变化等情况进行检查）。 （2）设计时考虑的问题：1）明确要探测哪些信息2）在程序的什么部位设置探测点3）需要设计多少个探测点。 （3）探测点设置位置（以Fortran为例） 程序块的第一个可执行语句之前 entry语句的前后 有标号的可执行语句处 循环语句之后 条件语句之后 logical if语句之后 call语句之后 go to语句之后 （4）断言语句：在程序中的特定部位插入某些用以判断变量特性的语句，使得程序执行中这些语句得以证实，从而使程序的运行特性得到证实，我们把这些插入的语句称为断言语句。 白盒测试方法－静态测试 1．代码检查法 （1）目的：通过桌面检查，代码审查和走查方式，对以下内容进行检查。 检查代码和设计的一致性。 代码对标准的遵循、可读性。 代码逻辑表达的正确性。 代码结构的合理性。 程序编写与编写标准的符合性。 程序中不安全、不明确和模糊的部分。 编程风格问题等。 （2）代码检查方式 （3）代码检查项目（采用分析技术） 检查变量的交叉引用表：检查未说明的变量和违反了类型规定的变量，变量的引用和使用情况。 检查标号的交叉引用表：验证所有标号的正确性。 检查子程序、宏、函数：验证每次调用与所调用位置是否正确，调用的子程序、宏、函数是否存在，参数是否一致。 等价性检查：检查全部等价变量的类型的一致性。 常量检查：确认常量的取值和数制、数据类型。 标准检查：检查程序中是否违反标准的问题。 风格检查：检查程序的设计风格。 比较控制流：比较设计控制流图和实际程序生成的控制流图的差异。 选择、激活路径：在设计控制流图中选择某条路径，到实际的程序中激活