通常，软件测试的流程是测试需求分析，编写测试计划，确定测试项，设计测试用例，然后执行测试，完成测试报告。
这一套流程，看起来没有任何问题。可是，怎么才能确定这样的测试是有效的，是充分的，测试结果是可信的？
不同于“证明自己还活着”这样的证明，要让人相信测试是有效的、充分的、测试结果是可信的，就看你是否使用了那些应该使用的测试开发技术。这些技术包括：
测试覆盖技术
解决测试覆盖问题的方法之一是把程序的结构简化为一幅节点图，一般来说，分支指令定义节点，其余指令组成路径。设计出能够尽可能多地覆盖图形的方法。可以通过比较程序图的复杂性和执行的测试路径的数量来粗略评估测试覆盖的充分性。
使用这个技术，可以量化地回答测试路径覆盖的充分性。
等价划分
确定等价类是选取每一个输入条件（通常是规格说明中的一个句子或短语）并将其划分为两个或更多的组。一般包括外部条件、有效等价类、无效等价类。有效等价类代表对程序的有效输入，而无效等价类代表的则是其他任何可能的输入条件（即不正确的输入值）。
生成测试用例过程如下：
为每个等价类设置一个不同的编号。
编写新的测试用例，尽可能多地覆盖那些尚未被涵盖的有效等价类，直到所有的有效等价类都被测试用例所覆盖。
编写新的测试用例，覆盖一个且仅一个尚未被涵盖的无效等价类，直到所有的无效等价类都被测试用例所覆盖。
边界值分析
所谓边界条件，是指输入和输出等价类中那些恰好处于边界、或超过边界、或在边界以下的状态。边界值分析方法与等价划分方法存在两方面的不同：
与从等价类中挑选出任意一个元素作为代表不同，边界值分析需要选择一个或多个元素，以便等价类的每个边界都经过一次测试。
