资源环境信息系统.pptVIP

2.5 环境GIS工程开发与实现 ＧＩＳ软件工程思想 软件危机与软件工程 环境GIS开发模式 环境GIS系统分析 环境GIS系统设计 环境GIS系统实施 环境GIS系统维护 软件测试方法 静态测试方法 动态测试方法 白盒测试方法 黑盒测试方法 静态测试方法 静态测试方法的基本特征是在对软件进行分析、检查和审阅，但并不实际运行被测试的软件。 如：对需求规格说明书、软件设计说明书、源程序做检查和审阅，包括： 是否符合标准和规范； 通过结构分析、流图分析、符号执行指出软件缺陷。 静态测试方法 人工测试：通过人工阅读分析以及评审软件的文档、程序资料等。一些设计上的逻辑错误在机器上不易发现，需要人工复查。好的人工复查，可找出30～70%的编码和逻辑设计错误。 计算机辅佐分析：设计一些分析工具对被测程序进行静态分析，从中提取信息。如检查局部变量和全局变量、参数匹配、判断与循环的嵌套匹配、潜在的死循环、不执行的代码、过程调用层次等。 动态测试方法 动态测试：通过运行软件来检验软件的动态行为和运行结果的正确性。 动态测试的两个基本要素： 被测试程序 测试数据（测试用例） 动态测试方法 动态测试方法的基本步骤 选取定义域有效值，或定义域外无效值 对已选取值决定预期的结果 用选取值执行程序 执行结果与预期的结果相比，不吻合程序有错。 动态测试方法 如果了解软件产品的内部逻辑结果，可针对某些特定条件设计测试用例，对软件的逻辑路径进行测试，即白盒测试； 如果完全不考虑程序的内部结构和处理过程，测试仅在程序界面上进行，测试的目的是为了证实各个功能完全可执行，并在各功能中查找错误，则是黑盒测试。 黑盒测试和白盒测试 软件测试有两种方法：黑盒测试和白盒测试。 黑盒测试法是把程序看成一个黑盒子，完全不考虑程序的内部结构和处理过程。也就是说，黑盒测试是在程序接口进行的测试，它只检查程序功能是否能按照规格说明书的规定正常使用，程序是否能适当地接收输入数据产生正确的输入信息，并且保持外部信息（如数据库或文件）的完整性。黑盒测试又称为功能测试，如果已经知道了产品应该具有的功能，可以通过黑盒测试来检验。 白盒测试法的前提是可以把程序看成装在一个透明的白盒子里，也就是完全了解程序的结构和处理过程。这种方法按照程序内部的逻辑测试程序，检查程序中的每条通路是否都能按预定要求正确工作。白盒测试又称为结构测试。如果已经知道产品内部的工作过程，可以通过白盒测试来检验。 黑盒测试与白盒测试的比较 黑盒测试是从用户观点，按规格说明书要求的输入数据与输出数据的对应关系设计测试用例，根据程序外部特征进行测试。 白盒测试是根据程序内部逻辑结构进行测试。 值得指出的是，黑盒测试法与白盒测试法不能互相替代，相反两者应互为补充，在测试的不同阶段为发现不同类型的错误而灵活选用。 黑盒测试与白盒测试比较 测试方案 测试方案包括预定要测试的功能，应该输入的测试数据和预期的结果。其中最困难的问题是设计测试用的输入数据（即测试用例）。 不论采用哪种测试方法，只要对每种可能的情况都进行测试，就可以得到完全正确的程序。包含所有可能情况的测试称为穷尽测试，对于实际程序而言，穷尽测试通常是不可能做到的。 由于测试工作不可能采用穷举测试方法，因此，只能通过测试用例进行测试。好的测试方案应以尽量少的测试数据发现尽可能多的错误。主要的测试方案设计技术有：适用于黑盒测试的等价划分、边界值分析以及错误推测法等；适用于白盒测试的逻辑覆盖法等。 测试用例的定义 测试内容的一系列情景和每个情景中必须依靠输入和输出，而对软件的正确性进行判断的测试文档，称为测试用例。 测试用例就是将软件测试的行为活动，做一个科学化的组织归纳。 测试用例的组成元素与范例 测试用例编号ID 测试用例标题 测试的模块 测试用例设计 好的测试用例应以尽量少的测试数据发现尽可能多的错误。 等价类划分法 等价类划分法是一种典型的黑盒测试方法，使用该方法时，完全不考虑程序内部结构，只依据程序的规格说明来设计测试用例。 等价类划分法把所有可能的输入数据，即程序的输入域划分成若干部分，然后从每一部分中选取少数有代表性数据做为测试用例。 使用这一方法设计测试用例要经历划分等价类（列出等价类表）和选取测试用例两步。 划分等价类 等价类的划分有两种不同的情况： 有效等价类：是指对于程序的规格说明来说，是合理的，有意义的输入数据构成的集合。 无效等价类：是指对于程序的规格说明来说，是不合理的，无意义的输入数据构成的集合。 在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。 划分等价类的原则 如果输入条件规定了取值范围，或值的个数，则可以确立一个有效等价类和两个无效等价类。 划分等价类的原则 如果输入条件规定了输入值的集合，或者是规定了“必须