7软件设计-修改课件.pptVIP

* 白盒法 白盒法又称为逻辑覆盖法，其测试用例选择，是按照不同覆盖标准确定的。 语 句 覆 盖 判 定 覆 盖 条 件 覆 盖 判 定 条 件 覆 盖 条 件 组 合 覆 盖 弱 强 * 白盒法常用的覆盖标准 ① 语句覆盖： 选择足够的测试用例，使得程序中每个语句至少都能被执行一次。 ② 判定覆盖： 执行足够的测试用例，使得程序中每个判定至少都获得一次“真”值和“假”值。 ③ 条件覆盖：执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。 ④ 判定/条件覆盖： 执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。 ⑤ 条件组合覆盖： 执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。 * 白盒法步骤： 例：用白盒法测试以下程序段： Procedure（VAR A，B，X：REAL）； BEGIN IF （A1) AND (B=0) THEN X:=X/A ; IF (A=2) OR (X1) THEN X:=X+1 END; 1）选择逻辑覆盖标准。 2）按照覆盖标准列出所有情况。 3）选择确定测试用例。 4）验证分析运行结果与预期结果。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 Y N Y N * 二、动态测试方法（2） 等 价 分 类 法 边 值 分 析 法 错 误 推 测 法 因 果 图 法 (2)黑盒法 不考虑程序的内部结构与特性，只根据程序功能或程序的外部特性设计测试用例。 * 1、等价分类法 基本思想：根据程序的I/O特性，将程序的定义域划分为有限个等价区段 —“等价类”，从等价类中选择出的用例，具有“代表性”。 等价类分为： 有效等价类 — 对于程序的规格说明，是合理的、有意义的输入数据构成的集合。 无效等价类 —对于程序的规格说明，是不合理的、没有意义的输入数据构成的集合。 * 2、边值分析法 基本思想： 选择等价类的边缘值作为测试用例，让每个等价类的边界都得到测试，选择测试用例既考虑输入亦考虑输出。 分析步骤： A、先划分等价类。 B、选择测试用例，测试等价类边界。 边界选择原则： A、按照输入值范围的边界。 B、按照输入/输出值个数的边界。 C、输出值域的边界。 D、输入/输出有序集的边界。 * 3 软件测试的步骤 测试步骤及策略 所有测试过程都应采用综合测试策略；即先 作静态分析，再作动态测试。并事先制订测试计 划。测试过程通常可分4步进行： 单元 测试 单元 测试 单元 测试 被测模块 被测模块 集成 测试 设计信息 已测试的模块 确认 测试 已集成的模块 软件需求 系统 测试 已确认的软件 可交付的软件 系统其他元素 * 1 软件维护的类型 软件维护是指软件系统交付使用以后，为了改正错误或满足新的需求而修改软件的过程。按照不同的维护目的，维护工作可分成4类。 完善性维护（Perfective Maintenance） 扩充原有系统的功能，提高原有系统的性能，满 足用户的实际需要。 纠错性维护（Corrective Maintenance） 对在测试阶段未能发现的，在软件投入使用后才逐 渐暴露出来的错误的测试、诊断、定位、纠错以及 验证、修改的回归测试过程。 * 软件维护的类型 适应性维护（Adaptive Maintenance） 要使运行的软件能适应运行环境的变动而修 改软件的过程。 预防性维护（Preventive Maintenance） 为了进一步改善软件的可靠性和易维护性， 或者为将来的维护奠定更好的基础而对软件进 行修改。 * 监控程序 监控主程序 初始化管理 键盘管理 显示管理 中断管理 时钟管理 自诊断 * 键盘管理 键值的获取 单纯查询法 中断法 定时查询法 一键一义键盘的管理 一键多义键盘的管理 * 一键一义键盘的管理 选择结构法： 将获取的键值跟设定值逐一比较 转移表法： 通过在表中查找各命令处理子程序的入口 * 显示管理 显示更新数据 多参数的巡测和定点显示管理 指示灯显示管理 * 中断管理 实现中断及返回 能实现优先级排队 能实现中断嵌套 * 时钟管理 硬件方法：采用可编程定时/计数器接口电路以及单片机内的定时电路 软件延时：简单；占用CPU时间 软硬结合的方法 * 初始化管理 可编程器件初始化 堆栈初始化 参数初始化 把可调整初始化参数集中在一个模块中，便于集中管理，利于实现模块独立性。 * 故障自诊断管理 1）自诊断方式 开机自诊断 周期性自诊断 键控自诊断 2）自诊断方法 CPU的诊断