软件工程11_软件测试.pdfVIP

软件工程

/

第11章软件测试

•质量保证：产品保证和过程保证

•软件测试确保开发的软件满足用户需求

•形式化验证方法，系统正确性验证的理论和技术

•测试分类、测试策略、软件度量

•等价类分析和基于控制流的测试

•断言机制和测试框架是两种基本的测试实现技术

•可测试性

2020/1/82

形式化验证

•软件测试的基本原理是根据用户需求的满足情况判断

软件的质量情况。

•为此可以根据不同的需求准备一系列的测试，让其以

某种形式运行起来以实现对系统的检测。

•测试的通过并不能用来证明整个系统是正确的，因为

测试数量是有限的，测试内容的选择通常是对系统可

能的缺陷进行分类并有针对性的让其表现出来，并不

能代表全部情况。测试不可行）

可能的（穷举

•可计算性理论中的停机问题告诉我们不可能用一个单

独的程序来判定任意程序的执行是否能够终止。

2020/1/83

建设性质量保证

在软件开发后作用于被测软件从而发现缺陷的存在，常被称为分析

•通

式的质量保证方法(AnalyticalQA)。

•将在实际产品能够执行之前的质量活动称为是建设性的质量保证活动

(ConstructiveQA)。

•这些活动可能针对具体产品，如需求分析文档或者程序代码，也可能

整个开发过程，包括：

-原则(Principles),技术(technique),方法(methods)和工具(

tools)

-生命周期模型(Life-cyclemodels)

-文档()

Documentation

-需求(Requriements)系统化的(systematic)和正式的(formal)表

：

示

-()

开发环境Developmentenvironments

-配置管理(Configurationmanagement)

-人件(Peopleware)

2020/1/847

人工测试

•审查(Inspection)活动的重点在于整个过程对时间的计划，因为正

式的分析过程需要耗费人员大量的时间和精力。

•评审(Review)与审查比较起来主要的差别在于准备工作没有那么正

式，同样需要所有评审专家对产品进行通篇的审阅，然后将发现的问

题进行标注并给出评价意见。作者出席评审会议，可以针对专家的疑

问进行回答，但一般不主动提出问题。作者在会后获得会议中所有评

审专家的评审意见和他们的评论。

•走查(Walkthrough)中作者作为主持人主持整个讨论过程，作为会

议的主导介绍自己的工作产品。其它的参与者听取作者的讲解并提出

一些批判的问题或改进的建议。为使大家的讨论更有针对性，每个参

与者也应该在之前对产品进行一定的了解和分析，这对于产品质量的

提高也会起到积极的作用。

2020/1/8