有错是软件的属性，为把握软件开发各个环节的正确性，需要进行各种确认和验证工作。验证和确认是贯穿软件生命周期的规范化评估方法，。软件验证证明在软件生存期各个阶段，软件产品或中间产品能够满足客户要求，包括逻辑协调性，完备性和正确性。软件确认是一列活动和过程，其目的是保护软件产品能够符合其描述要求。它包括需求规格说明的确认和程序的确认，而程序确认包括静态确认和动态确认。软件测试基础包括软件测试的基本原则，软件测试与软件开发各阶段的关系，测试文档，软件测试信息流和软件测试人员。
软件测试策略如下:
(1)单元测试:1.模块接口测试 2.局部数据结构测试 3.重要执行路径测试 4.错误处理测试 5.边界条件测试 6.单元测试方法。
(2)集成测试:1.自顶向下集成 2.自底向上集成。
(3)确认测试
(4)系统测试:1.恢复测试 2.安全测试 3.强度测试 4.性能测试。
(5)软件调试:1.简单的测试方法 2.归纳法测试 3.演绎法测试 4.回溯法测试。
软件测试方法有:1.静态测试与动态测试 2.黑盒测试方法:(1)等价类划分 (2)边界值分析 (3)状态测试 (4)失败条件测试 (5)错误推测法 3.白盒测试方法:(1)逻辑覆盖 (2)路径测试。
面向对象测试类型有模型测试，类测试，交互测试，系统测试，验收测试和发布测试。面向对象测试示例有日期问题，线性表问题，GUI测试示例。目前主流的测试工具有功能测试工具，性能测试工具，缺陷管理工具和测试管理工具。