主要方法有逻辑驱动、基路测试等，主要用于软件验证。
“白盒”法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。“白盒”法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。第二，穷举路径测试不可能查出程序中因遗漏路径而出错。第三，穷举路径测试可能发现不了一些与数据相关的错误。
5、ALACActlikeacustomer测试
ALAC测试是一种基于客户使用产品的知识开发出来的测试方法。ALAC测试是基于复杂的软件产品有许多错误的原则。最大的受益者是用户，缺陷查找和改正将针对哪些客户最容易遇到的错误。
6、单元测试方法
61单元测试任务
单元测试任务包括：u模块接口测试；u模块局部数据结构测试；u模块边界条件测试；u模块中所有独立执行通路测试；u模块的各条错误处理通路测试。
模块接口测试是单元测试的基础。只有在数据能正确流入、流出模块的前提下，其他测试才有意义。
62接口测试
测试接口正确与否应该考虑下列因素：u输入的实际参数与形式参数的个数是否相同；u输入的实际参数与形式参数的属性是否匹配；u输入的实际参数与形式参数的量纲是否一致；u调用其他模块时所给实际参数的个数是否与被调模块的形参个数相同；u调用其他模块时所给实际参数的属性是否与被调模块的形参属性匹配；u调用其他模块时所给实际参数的量纲是否与被调模块的形参量纲一致；u调用预定义函数时所用参数的个数、属性和次序是否正确；u是否存在与当前入口点无关的参数引用；u是否修改了只读型参数；u对全程变量的定义各模块是否一致；u是否把某些约束作为参数传递。
如果模块内包括外部输入输出，还应该考虑下列因素：u文件属性是否正确；uOPENCLOSE语句是否正确；u格式说明与输入输出语句是否匹配；u缓冲区大小与记录长度是否匹配；
fu文件使用前是否已经打开；u是否处理了文件尾；u是否处理了输入输出错误；u输出信息中是否有文字性错误；
63数据测试
检查局部数据结构是为了保证临时存储在模块内的数据在程序执行过程中完整、正确。局部数据结构往往是错误的根源，应仔细设计测试用例，力求发现下面几类错误：u不合适或不相容的类型说明；u变量无初值；u变量初始化或省缺值有错；u不正确的变量名（拼错或不正确地截断）；ur