简介
    基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。　　设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。
    在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。包括以下4个步骤和一个工具方法：　　1.程序的控制流图：描述程序控制流的一种图示方法。
    2.程序圈复杂度：McCabe复杂性度量。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。
    3.导出测试用例：根据圈复杂度和程序结构设计用例数据输入和预期结果。
    4.准备测试用例：确保基本路径集中的每一条路径的执行。
    工具方法
    图形矩阵：是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动地确定一个基本路径集。　　程序的控制流图：描述程序控制流的一种图示方法。
    圆圈称为控制流图的一个结点，表示一个或多个无分支的语句或源程序语句流图只有二种图形符号：　　图中的每一个圆称为流图的结点，代表一条或多条语句。　　流图中的箭头称为边或连接，代表控制流　　任何过程设计都要被翻译成控制流图。　　如何根据程序流程图画出控制流程图?　　在将程序流程图简化成控制流图时，应注意:在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。　　边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。
    步骤
    基本路径测试法的步骤：
    第一步：画出控制流图流程图用来描述程序控制结构。可将流程图映射到一个相应的流图(假设流程图的菱形决定框中不包含复合条件)。在流图中，每一个圆，称为流图的结点，代表一个或多个语句。一个处理方框序列和一个菱形决测框可被映射为一个结点，流图中的箭头，称为边或连接，代表控制流，类似于流程图中的箭头。一条边必须终止于一个结点，即使该结点并不代表任何语句(例如：if-else-then结构)。由边和结点限定的范围称为区域。计算区域时应包括图外部的范围。
    第二步：计算圈复杂度圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量，将该度量用于计算程序的基本的独立路径数目，为确保所有语句至少执行一次的测试数量的上界。独立路径必须包含一条在定义之前不曾用到的边。有以下三种方法计算圈复杂度：流图中区域的数量对应于环型的复杂性;　　给定流图G的圈复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图中结点的数量;给定流图G的圈复杂度V(G)，定义为V(G)=P+1，P是流图G中判定结点的数量。
    第三步：导出测试用例　根据上面的计算方法，可得出四个独立的路径。(一条独立路径是指，和其他的独立路径相比，至少引入一个新处理语句或一个新判断的程序通路。V(G)值正好等于该程序的独立路径的条数。)　路径1：4-14　　路径2：4-6-7-14　　路径3：4-6-8-10-13-4-14　　路径4：4-6-8-11-13-4-14根据上面的独立路径，去设计输入数据，使程序分别执行到上面四条路径。
    三步法
    1）根据代码的功能，人工设计测试用例进行基本功能测试；
    2）统计白盒覆盖率，为未覆盖的白盒单位设计测试用例，实现完整的白盒覆盖，比较理想的覆盖率是实现语句、条件、分支、路径覆盖；　　3）自动生成大量的测试用例，捕捉"程序员未处理某些特殊输入"形成的错误。
    第1步的测试用例通常是现成的，因为详细设计文档会规定程序的基本功能，没有文档的，程序员在编程时也要想清楚程序的功能，这些基本功能是基本测试用例；
    第2步是在第1步的基础上，检查未覆盖的白盒单位，由于未覆盖的逻辑单位通常对应未测试的等价类，因此第2步可以找出第1步所遗漏的测试用例；
    第3步用自动动态测试弥补第2步的固有缺陷。"三步法"尽量避免重复工作，白盒方法和黑盒方法相结合，人工方法和自动方法相补充，如果第2步的覆盖率比较理想，那么基本上可以保证找出所有等价类。在开发过程允许的限度内，"三步法"已接近极限，当得起"彻底测试"四个字。
    与黑盒测试区别
    黑盒测试
    黑盒测试也称功能测试或数据驱动测试，它是在已知产品所应具有的功能，通过测试来检测每个功能是否都能正常使用，在测试时，把程序看作一个不能打开的黑盒子，在完全不考虑程序内部结构和内部特性的情况下，测试者在程序接口进行测试，它只检查程序功能是否按照需求规格说明书的规定正常使用，程序是否能适当地接收输入数锯而产生正确的输出信息，并且保持外部信息（如数据库或文件）的完整性。黑盒测试方法主要有等价类划分、边值分析、因?果图、错误推测等，主要用于软件确认测试。“黑盒”法着眼于程序外部结构、不考虑内部逻辑结构、针对软件界面和软件功能进行测试。“黑盒”法是穷举输入测试，只有把所有可能的输入都作为测试情况使用，才能以这种方法查出程序中所有的错误。实际上测试情况有无穷多个，人们不仅要测试所有合法的输入，而且还要对那些不合法但是可能的输入进行测试。
    白盒测试
    白盒测试也称结构测试或逻辑驱动测试，它是知道产品内部工作过程，可通过测试来检测产品内部动作是否按照规格说明书的规定正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能，白盒测试的主要方法有逻辑驱动、基路测试等，主要用于软件验证。　　“白盒”法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。“白盒”法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。
    第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。
    第二，穷举路径测试不可能查出程序中因遗漏路径而出错。
    第三，穷举路径测试可能发现不了一些与数据相关的错误。
    软件人员使用白盒测试方法，主要想对程序模块进行如下的检查：?对程序模块的所有独立的执行路径至少测试一次；?对所有的逻辑判定，取“真”与取“假”的两种情况都至少测试一次；?在循环的边界和运行界限内执行循环体；?测试内部数据结构的有效性，等。具体包含的逻辑覆盖有：?语句覆盖?判定覆盖?条件覆盖?判定－条件覆盖?条件组合覆盖?路径覆盖。