软件测试理论和方法有：1.黑盒测试；2.白盒测试；3.灰盒测试；4.动态测试；5.静态测试；6.性能测试；7.压力测试；8.安全性测试；9.兼容性测试。
黑盒测试，英文是BlackBoxTesting。又称功能测试或者数据驱动测试。
黑盒测试是根据软件的规格对软件进行的测试，这类测试不考虑软件内部的运作原理，因此软件对用户来说就像一个黑盒子。
软件测试人员以用户的角度，通过各种输入和观察软件的各种输出结果来发现软件存在的缺陷，而不关心程序具体如何实现的一种软件测试方法。
黑盒测试常用工具有:AutoRunner、winrunner
白盒测试，英文是WhiteBoxTesting。又称结构测试或者逻辑驱动测试。
白盒测试是把测试对象看作一个打开的盒子。利用白盒测试法进行动态测试时，需要测试软件产品的内部结构和处理过程，不需测试软件产品的功能。
白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。
白盒测试是知道产品内部工作过程，可通过测试来检测产品内部动作是否按照规格说明书的规定正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能，白盒测试的主要方法有逻辑驱动、基路测试等，主要用于软件验证。
白盒测试常用工具有:Jtest、VcSmith、Jcontract、C++Test、CodeWizard、logiscope。
动态测试，英文是MomentTesting。
动态测试是指通过运行软件来检验软件的动态行为和运行结果的正确性。
根据动态测试在软件开发过程中所处的阶段和作用，动态测试可分为如下几个步骤:
单元测试
集成测试
系统测试
验收测试
回归测试
静态测试，英文是StaticTesting。
静态测试指测试不运行的部分，例如测试产品说明书，对此进行检查和审阅.。静态方法是指不运行被测程序本身，仅通过分析或检查源程序的文法、结构、过程、接口等来检查程序的正确性。静态方法通过程序静态特性的分析，找出欠缺和可疑之处，例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错，并为测试用例选取提供指导。
静态测试常用工具有:Logiscope、PRQA;
性能测试，英文是PerformanceTesting。
性能测试是在交替进行负荷和强迫测试时常用的术语。理想的"性能测试"(和其他类型的测试)应在需求文档或质量保证、测试计划中定义。性能测试一般包括负载测试和压力测试。
通常验证软件的性能在正常环境和系统条件下重复使用是否还能满足性能指标。或者执行同样任务时新版本不比旧版本慢。一般还检查系统记忆容量在运行程序时会不会出现内存泄露(memoryleak)。比如，验证程序保存一个巨大的文件新版本不比旧版本慢。
压力测试，英文是StressTesting。和负载测试差不多。
压力测试是一种基本的质量保证行为，它是每个重要软件测试工作的一部分。压力测试的基本思路很简单:不是在常规条件下运行手动或自动测试，而是在计算机数量较少或系统资源匮乏的条件下运行测试。通常要进行压力测试的资源包括内部内存、CPU可用性、磁盘空间和网络带宽等。一般用并发来做压力测试。
安全测试，英文是SecurityTesting。
①想方设法截取或破译口令;
②专门定做软件破坏系统的保护机制;
③故意导致系统失败，企图趁恢复之机非法进入;
兼容测试，英文是CompatibilityTesting。
兼容测试是测试软件在一个特定的硬件/软件/操作系统/网络等环境下的性能如何。向上兼容向下兼容，软件兼容硬件兼容。软件的兼容性有很多需要考虑的地方。