程序逻辑测试软件主要用于测试计算机程序的内部结构和逻辑，确保程序的正确性和可靠性。以下是一些常见的程序逻辑测试软件：
Jmeter
类型：开源的性能测试工具。
特点：适用于Java应用程序，可以模拟负载并测试系统的性能。它也可以用于白盒测试，帮助测试人员对代码进行逐行测试，检查代码的正确性和可靠性。
UFT / QTP
类型：跨平台测试自动化工具。
特点：用于自动化桌面、移动、web、net、SAP、ActiveX、Flex、Delphi、Java、Oracle、Visual Basic、PowerBuilder、PeopleSoft、Siebel、Stingray等许多应用程序的回归和功能测试自动化。
WinAMS/CasePlayer2
类型：针对C/C++的单元/集成测试工具。
特点：获得机能安全标准ISO26262/IEC61508工具认证，支持交叉编译生成的原始代码作为评价代码，具有使用芯片仿真器进行仿真功能的测试工具，可以对C/C++语言编写的程序进行逻辑水平的测试，还可以对嵌入式软件特有的依存于芯片的问题点进行确认。
Silk Test
类型：测试自动化工具。
特点：来自Microfocus，用于自动化功能测试和回归测试，支持跨浏览器测试和移动测试，通过关键字驱动的测试提供协作的测试设计环境。
Jtest
类型：Java语言的白盒测试工具。
特点：可以测试Java类和方法，帮助测试人员对代码进行逐行测试，检查代码的正确性和可靠性。
Eclipse
类型：开源的Java集成开发环境（IDE）。
特点：支持JUnit等主流测试框架，提供强大的调试功能和自动化测试插件，适合Java代码的编写和测试。
Visual Studio
类型：集成开发环境（IDE）。
特点：支持C/C++等语言的代码编辑、编译、调试，提供代码自动完成和错误检查等功能，适合各种编程语言的测试。
PyCharm
类型：Python开发环境。
特点：拥有集成的调试器、测试工具和代码编辑器，支持多种软件测试框架，提供代码自动完成和错误检查等功能，提升编程测试的效率和质量。
这些工具各有特点，可以根据具体的测试需求和项目环境选择合适的工具进行程序逻辑测试。