第5章软件验证技术(5.5-5.8)祥解.ppt

武汉纺织大学数学与计算机学院 混合的渐增式测试 (1)对上层模块采取自顶向下测试，使之能较早地显示系统的总体轮廓； (2)对某些关键模块或子系统采用由底向上组装和测试的方法，以便一方面能减少对模块的重复测试次数，另一方面能较容易产生测试用例。 这里所谓的关键模块是指：（1）具有输入/输出功能的模块。（2）有重要功能、性能或含有新算法的模块。 武汉纺织大学数学与计算机学院 5.6.5 回归测试 采用软件改动前测试时执行过的测试用例对改动后的软件再进行测试。 回归测试的测试用例有三种不同类型： （1）能够测试软件的所有功能的代表性测试用例； （2）针对可能会被修改所影响的软件功能而进行附加测试的测试用例； （3）针对修改过的软件成分进行测试的测试用例。 武汉纺织大学数学与计算机学院 5.7 确认测试 所谓确认测试就是验证所开发软件的功能和性能及其他特性是否符合软件需求规格说明书的要求。所以，确认测试又称之为有效性测试。 一般在模拟的环境（也可能就是开发的环境）下，运用黑盒法进行测试。 确认测试是由软件开发单位组织进行的最后一次测试，也是把软件交给用户，进行正式的安装和验收之前所作的一次重要的准备。为了确保测试质量，一方面应组织独立的测试小组进行测试，另一方面吸收任务委托单位及用户代表参加测试，以提高测试的可信度。同时，应将测试中发现的错误填入问题清单，交开发者处理。 武汉纺织大学数学与计算机学院 5.7.1 确认测试内容 功能测试；是否实现一切功能 性能测试； 响应时间，处理速度、精度。安全性等 强度测试； 运行环境违反常态或发生故障时 配置复审。 程序、文档和数据 武汉纺织大学数学与计算机学院 5.7.2 α测试和β测试 软件开发者要预见用户是如何实际地使用软件实质上是不可能的。例如，命令的使用可能被误解；出现异常的数据组合；输出对测试者或开发者来说似乎是很清晰的，但对这个领域里的用户来说可能是无法理解的；等等。 α测试和β测试的测试方法，用以发现可能只有最终用户才能发现的错误。 武汉纺织大学数学与计算机学院 α测试 α测试是由一个用户在开发环境下进行的测试；也可以是开发机构内部的用户在模拟实际操作环境下进行的测试，软件在一个自然设置状态下使用。软件在开发者对用户的“指导”下进行测试，开发者负责记录错误和使用中出现的问题。显然，α测试是在一个受控的环境中进行。 α测试的目的是评价软件产品的功能（F）、局域化（L）、可使用性（U）、可靠性（R）、性能（P）和支持（S）等方面的特性，尤其注重产品的界面和特色。 α测试可以从软件编码结束之时开始，或在模块或集成测试完成之后开始，也可以在确认测试过程中产品达到一定的稳定和可靠程度之后再开始。 武汉纺织大学数学与计算机学院 β测试 β测试是由软件的最终用户（多个）在一个或多个用户场所来进行。这些用户是与软件厂商签定了支持产品预发行合同的外部客户，要求用户使用该产品，并愿意返回有关问题给开发者。一般地，β测试时开发者通常不在测试现场，软件是在开发者不能控制的现场中应用。 在β测试中，由用户负责记下遇到的所有问题，包括主观认定的和真实的问题，定期向开发者报告，开发者在综合用户的报告之后进行修改，最后将软件产品交付给全体用户使用。 只有当α测试达到一定的可靠程度时，才能开始β测试。 β测试的主要目标是测试可支持性，包括文档、客户培训等。一般β测试应尽可能由主持产品发行的人员来管理。 武汉纺织大学数学与计算机学院 5.8 系统测试 系统测试是在更大范围内进行的测试，它将经过确认测试的软件作为整个基于计算机的系统的一个元素，与计算机硬件、外设、支持软件、数据和人员等其他系统元素结合在一起，在实际运行环境下，对系统进行的一系列集成和确认测试。 系统测试通常由任务委托单位或用户组织的验收小组负责，一般应根据需求分析说明书来设计测试用例，在实际使用环境中运行。 系统测试的内容对不同的系统各不相同， 武汉纺织大学数学与计算机学院 5.8.1 恢复测试 恢复测试就是要通过各种手段，让软件强制性地发生故障，然后验证恢复是否能正常进行的一种系统测试方法。 如果系统的恢复是自动的（由系统本身来进行），则应对重新初始化、数据恢复、重新启动等逐个进行正确性评价。 如果恢复需要人工干预，则需对修复的平均时间进行评估以判定它是否在允许的范围之内。 武汉纺织大学数学与计算机学院 5.8.2 安全性测试 安全测试用来验证集成在系统内的保护机制是否能够在实际中保护系统不受到非法侵入。 主要破坏方法:①攻击易受损坏的部分，破坏安全性；②有目的地引发系统出错，期望在系统恢复过程中侵入系统；③通过各种手段，获取系统的密码；④浏览非保密数据，从中找到进入系统的方法