软件测试的内容软件测试主要工作内容是验证(verification)和确认(validation),下面分别给出其概念:验证(verification)是保证软件正确地实现了一些特定功能的一系列活动,即保证软件做了你所期望的事情
(Dotherightthing)1
确定软件生存周期中的一个给定阶段的产品是否达到前阶段确立的需求的过程;2
程序正确性的形式证明,即采用形式理论证明程序符号设一计规约规定的过程;3
评市、审查、测试、检查、审计等各类活动,或对某些项处理、服务或文件等是否和规定的需求相一致进行判断和提出报告
确认(validation)是一系列的活动和过程,目的是想证实在一个给定的外部环境中软件的逻辑正确性
即保证软件以正确的方式来做了这个事件(Doitright)1
静态确认,不在计算机上实际执行程序,通过人工或程序分析来证明软件的正确性;2
动态确认,通过执行程序做分析,测试程序的动态行为,以证实软件是否存在问题
软件测试的对象不仅仅是程序测试,软件测试应该包括整个软件开发期问各个阶段所产生的文档,如需求规格说明、概要设计文档、详细设计文档,当然软件测试的主要对象还是源程序
软件测试的分类从是否关心软件内部结构和具体实现的角度划分A
灰盒测试从是否执行程序的角度A
从软件开发的过程按阶段划分有A
系统测试*测试过程按4个步骤进行,即单元测试、集成测试、确认测试和系统测试及发版测试
*开始是单元测试,集中对用源代码实现的每一个程序单元进行测试,检查各个程序模块是否正确地实现了规定的功能
*集成测试把已测试过的模块组装起来,主要对与设计相关的软件体系结构的构造进行测试
*确认测试则是要检查已实现的软件是否满足了需求规格说明中确定了的各种需求,以及软件配置是否完全、正确