软件测试的工作内容主要包括“验证”和“确认”,具体内容如下:
一、验证:保证软件正确地实现了一些特定功能的一系列活动, 即保证软件以正确的方式来做了这个事件。
1、确定软件生存周期中的一个给定阶段的产品是否达到前阶段确立的需求的过程。
2、程序正确性的形式证明,即采用形式理论证明程序符合规定的过程。
二、确认:一系列的活动和过程,目的是想证实在一个给定的外部环境中软件的逻辑正确性,即保证软件做了用户所期望的事情。
扩展资料:
测试策略
1、单元测试
单元测试即为将整个软件分解为各个单元,随后对单元进行测试。此类测试策略的优点在于所需分析数据较少,且针对性较强,程序开发者于开发过程中可通过操作经验明确出现问题的大致区域,随后针对此类问题对相关单元展开分析,进行问题排查。
但需注意的是,某些程序中无具体单元驱动程序,即单个单元无有效驱动,易出现问题,若针对此类软件展开测试,需重点注意此类分解单元。
2、集成测试
集成测试与单元测试相反,原理为将部分需测试部分作为整体进行集成,随后针对此类集成久新部分进行测试。测试要求为此类被测试集成体应具有一定的结构,且属于非渐增方式集成。对于较大软件而言,集成测试方式较单元测试方式而言较为繁琐。
多数大型软件的测试皆采取渐增方式进行测试。渐增测试方式为集成测试方式的衍生,其能够按照不同次序对软件进行测试,日常测试中,常将两类方式进行集成测试,随后按照次序展开选择。