软件工程课件第5章结构化实现Da

《软件工程课件第5章结构化实现Da》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、结构化实现第五章主要内容通常把编码和测试统称为实现。所谓编码就是把软件设计翻译成计算机可以理解的形式——用某种程序设计语言书写的程序；测试的目的就是在软件投入生产性运行之前，尽可能多地发现软件中的错误。目前软件测试仍然是保证软件质量的关键步骤，它是对软件规格说明、设计和编码的最后复审。无论怎样强调软件测试的重要性和它对软件可靠性的影响都不过分。软件测试在软件生命周期中横跨两个阶段。通常在编写出每个模块之后就对它做必要的测试(称为单元测试)，模块的编写者和测试者是同一个人，编码和单元测试属于软件生命周期的同

2、一个阶段。在这个阶段结束之后，对软件系统还应该进行各种综合测试，这是软件生命周期中的另一个独立的阶段，通常由专门的测试人员承担这项工作。大量统计资料表明，软件测试的工作量往往占软件开发总工作量的40%以上，在极端情况，测试那种关系人的生命安全的软件所花费的成本，可能相当于软件工程其他步骤总成本的3～5倍。因此，必须高度重视软件测试工作，绝不要以为写出程序之后软件开发工作就接近完成了，实际上，大约还有同样多的开发工作量需要完成。主要内容：编码，软件测试基础，逻辑覆盖，控制结构测试，墨盒测试技术，测试策略，

3、调试，软件可靠性。25.1编码5.1.1选择程序设计语言总的说来。高级语言明显优于汇编语言，因此，除了在很特殊的应用领域(例如，对程度执行时间和使用的空间都有很严格限制的情况；需要产生任意的甚至非法的指令序列;体系结构特殊的微处理机，以致在这类机器上通常不能实现高级语言编译程序)，或者大型系统中执行时间非常关键的(或直接依赖于硬件的)一小部分代码需要用汇编语言书写之外，其他程序应该一律用高级语言书写。为了使程序容易测试和维护以减少生命周期的总成本，选用的高级语言应该有理想的模块化机制，以及可读性好的控

4、制结构和数据结构。为了便于调试和提高软件可靠性，语言特点应该使编译程序能够尽可能多地发现程序中的错误；为了降低软件开发和维护的成本，选用的语言应该有良好的独立编译机制。上述这些要求是选择语言的理想标准，但是在实际选用语言时不能仅仅考虑理论上的标准，还必须同时考虑实用方面的各种限制。35.1.2编码风格源程序代码的逻辑简明清晰、易读易懂是好程序的一个重要标准，为了做到这一点，应该遵循下述规则。1.程序内部的文档所谓程序内部的文档包括恰当的标识符、适当的注解和程序的视觉组织等等。2.数据说明（即变量说明）

5、数据说明的顺序应该标准化，使程序更容易阅读。3.语句构造构造语句时应该遵循的原则是，每个语句都应该简单而直接，不能为了提高效率而使程序变得过分复杂。多个语句不要写在同一行；避免复杂条件测试；减少对“非”条件测试；避免大量使用循环嵌套和条件嵌套；在表达式中少省略括号，可使运算次序清晰直观。44.输入/输出在设计和编写程序时应该考虑下述有关输入/输出风格的规则：对所有输入数据都进行检验；检查输入项重要组合的合法性；保持输入格式简单；使用数据结束标记，不要要求用户指定数据的数目；明确提示交互式输入的请求，

6、详细说明可用的选择或边界数值；当程序设计语言对格式有严格要求时，应保持输入格式一致；设计良好的输出报表；给所有输出数据加标志。5.效率效率主要指处理机时间和存储器容量两个方面。虽然值得提出提高效率的要求，但是在进一步讨论这个问题之前应该记住三条原则：首先，效率是性能要求，因此应该在需求分析阶段确定效率方面的要求。软件应该像对它要求的那样有效，而不应该如同人类可能做到的那样有效。其次，效率是靠好设计来提高的。第三，程序的效率和程序的简单程度是一致的。不要牺牲程序的清晰性和可读性来不必要地提高效率。55.2

7、软件测试基础5.2.1测试目标G.Myers给出了关于测试的一些规则，这些规则也可以看作是测试的目标或定义：测试是为了发现程序中的错误而执行程序的过程；好的测试方案是极可能发现迄今为止尚未发现的错误的测试方案；成功的测试是发现了至今为止尚未发现的错误的测试。由于测试的目标是暴露程序中的错误，从心理学角度看，由程序的编写者自己进行测试是不恰当的。因此，在综合测试阶段通常由其他人员组成测试小组来完成测试工作。65.2.2黑盒测试和白盒测试对于软件测试而言，黑盒测试法把程序看成一个黑盒子，完全不考虑程

8、序的内部结构和处理过程。也就是说，黑盒测试是在程序接口进行的测试，它只检查程序功能是否能按照规格说明书的规定正常使用，程序是否能适当地接收输入数据产生正确的输出信息，并且保持外部信息(如，数据库或文件)的完整性。黑盒测试又称为功能测试。与黑盒测试法相反，白盒测试法的前提是可以把程序看成装在一个透明的白盒子里，也就是完全了解程序的结构和处理过程。这种方法按照程序内部的逻辑测试程序，检验程序中的每条通路是否都能按预定要求正确工作。