软件测试技术的方法

1、测试对象： 函数、算法与数据结构。目的：一般在测试前期进行，通过达到一定的逻辑覆盖率指标，使得软件内部逻辑控制结构上的问题能基本得到消除；

2、保证内部结构达到一定的覆盖程度，能够给予软件代码质量更大的保证； 白盒测试发现问题后，解决问鞑民略锈题的成本较低。白盒测试的常用技术：静态分析：包括控制流分析、数据流分析、信息流分析

3、动态分析：逻辑覆盖测试（分支测试、路径测试等）、程序插装等，逻辑覆盖测试根据覆盖的对象不同，可以分为：语句覆盖、判定（分支）覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。

4、程序插装指调试程序时，在程序中插入一些打印语句，程序执行时打印出我们关心的信息，通过这些信息了解执行过程中程序的一些动态行为。 逻辑覆盖率的统计通过程序插装来实现。

5、定义：把测试对象看成是一个黑盒，只考虑其整体特性，不考虑其内部具体实现过程。即已知产品的需求规格，但不知其内部实现，可以进行测试证明每个需求是否实现。

6、思想：基于规格的测试，测试类型都来源于质量模型。测试对象：系统、子系统、模块、子模块、函数等。常用的黑盒测试方法：等价类划分法、边界值分析法、因果图分析法、判定表法、状态迁移法等。