05结构化实现.ppt

(2) 分别测试法 怎样随机地给一部分错误加标记，分别测试法使用两个测试员(或测试小组)，彼此独立地测试同一个程序的两个副本，把其中一个测试员发现的错误作为有标记的错误。具体做法是，在测试过程的早期阶段，由测试员甲和测试员乙分别测试同一个程序的两个副本，由另一名分析员分析他们的测试结果。用τ表示测试时间，假设 τ=0时错误总数为B0； τ=τ1时测试员甲发现的错误数为B1； τ=τ1时测试员乙发现的错误数为B2； τ=τ1时两个测试员发现的相同错误数为bc。 * 如果认为测试员甲发现的错误是有标记的，即程序中有标记的错误总数为B1，则测试员乙发现的B2个错误中有bc个是有标记的。假定测试员乙发现有标记错误和发现无标记错误的概率相同，则可以估计出测试前程序中的错误总数为 ?  使用分别测试法，在测试阶段的早期，每隔一段时间分析员分析两名测试员的测试结果，并且用(5.8)式计算B0。如果几次估算的结果相差不多，则可用B0的平均值作为ET的估计值。此后一名测试员可以改做其他工作，由余下的一名测试员继续完成测试工作，因为他可以继承另一名测试员的测试结果，所以分别测试法增加的测试成本并不太多。 * 5.9 小结 实现包括编码和测试两个阶段。 除非在非常必要的场合，一般不要使用汇编语言写程序。 程序内部的良好文档资料，有规律的数据说明格式，简单清晰的语句构造和输入/输出格式等，都对提高程序的可读性有很大作用，也在相当大的程度上改进了程序的可维护性。 * 软件测试仍然是保证软件可靠性的主要手段。 测试阶段的根本任务是发现并改正软件中的错误。 白盒测试和黑盒测试是软件测试的两类不同方法。 通常，在测试过程的早期阶段主要使用白盒测试技术，而在测试的后期主要使用黑盒测试技术。 设计白盒测试方案的技术主要有，逻辑覆盖和控制结构测试。 设计黑盒测试方案的技术主要有，等价划分、边界值分析和错误推测。  大型软件的测试通常分为单元测试、集成测试、确认测试和系统测试第四个阶段。 * 在测试过程中发现的软件错误必须及时改正，这就是调试的任务。 改正错误往往需要修正原来的设计，必须通盘考虑而不能“头疼医头脚疼医脚”，应该尽量避免在调试过程中引进新的错误。 程序中潜藏的错误的数目，直接决定了软件的可靠性。 通过测试可以估计出程序中剩余的错误数。 * THE END * （2）集成测试。把模块装配(即集成)在一起形成完整的软件包。在装配的同时进行测试。 集成测试同时解决程序验证和程序构造这两个问题。在集成过程中最常用的是黑盒测试用例设计技术，当然，为了保证覆盖主要的控制路径，也可能使用一定数量的白盒测试。 （3）确认测试。在软件集成完成之后，还需要进行一系列高级测试。必须测试在需求分析阶段确定下来的确认标准，确认测试是对软件满足所有功能的、行为的和性能的需求的最终保证。 在确认测试过程中仅使用黑盒测试技术。 * （4）系统测试。已超出了软件工程的范畴，是计算机系统工程的一部分。软件一旦确认后，就必须与其他系统元素结合。 系统测试的任务是：验证所有系统元素都能正常配合，从而完成整个系统功能，并能达到预期的性能。 * 5.6.2 单元测试 单元测试和编码属于软件工程过程的同一个阶段。 可以应用人工测试和计算机测试这样两种类型的测试，完成单元测试工作。 * 1. 代码审查 人工测试源程序可以由编写者本人非正式地进行，也可以由审查小组正式进行。后者称为代码审查，它是一种非常有效的程序验证技术，对于典型的程序来说，可以查出30%～70%的逻辑设计错误和编码错误。审查小组最好由下述四人组成： · 组长，他应该是一个很有能力的程序员，而且没有直接参与这项工程； · 程序的设计者； · 程序的编写者； · 程序的测试者。 * 2. 测试软件 模块并不是一个独立的程序，因此必须为每个单元测试开发驱动软件和(或)存根软件。 * 5.6.3 集成测试 集成测试是测试和组装软件的系统化技术，在把模块按照设计要求组装起来的同时进行测试，主要目标是发现与接口有关的问题。 由模块组装成程序时有两种方法。一种方法是非渐增式测试方法；另一种方法是渐增式测试。 * 1. 自顶向下集成 自顶向下的集成(结合)方法是一个日益为人们广泛采用的组装软件的途径。 使用深度优先的策略，或者使用宽度优先的策略。 把模块结合进软件