程序测试主要使用以下工具和方法：
白盒测试
逻辑覆盖：包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合条件覆盖和路径覆盖。
黑盒测试
根据关键需求说明书所规定的功能来设计测试用例，不考虑软件的内部结构和处理算法。
自动化测试工具
Python：适用于单元测试、集成测试和系统测试，且可以与其他测试框架（如Selenium、Appium等）集成。
Java：用于企业级应用开发，也广泛用于软件测试。
C：与Selenium WebDriver等工具结合使用，进行Web应用程序的自动化测试。
LoadRunner：预测系统行为和性能的负载测试工具。
Apache JMeter：基于Java的压力测试工具。
Selenium：用于Web应用程序测试的工具。
Appium：支持iOS和Android平台上的原生应用、Web应用和混合应用的自动化测试。
soapUI：通过soap/http来检查、调用、实现Web Service的功能/负载/符合性测试。
禅道：国产的开源项目管理软件，内置需求管理、任务管理、bug管理、缺陷管理、用例管理、计划发布等功能。
QTP（现已更名为UFT）：自动测试工具。
LoadRunner：性能测试工具。
QC（现已更名为HP Quality Center）：测试管理工具。
TestingWhiz：无代码的自动化测试工具。
Bugzilla：缺陷跟踪工具。
TestLink：开源测试管理工具。
mantis：开源缺陷跟踪工具。
Watir：开源功能自动化测试工具。
MaxQ：开源功能自动化测试工具。
WebInject：开源功能自动化测试工具。
ApiPost：接口测试工具。
性能测试工具
JMeter：用于测试软件在特定负载下的性能和稳定性。
LoadRunner：预测系统行为和性能的负载测试工具。
soapUI：通过soap/http来检查、调用、实现Web Service的功能/负载/符合性测试。
安全测试工具
用于测试软件的安全性，包括防止恶意攻击、数据泄露和未授权访问等。
代码覆盖率工具
用于确定在测试中覆盖了多少代码，帮助开发人员获得更全面的测试覆盖率。
静态代码分析工具
用于检测代码中的潜在问题，如编码错误、不一致的命名约定、安全漏洞和性能问题。
项目管理工具
如禅道，用于实现软件的完整生命周期管理。
这些工具和方法可以帮助开发人员更高效地进行程序测试，确保软件的质量和稳定性。建议根据具体的项目需求和团队熟悉程度选择合适的测试工具和方法。