程序检测（Program Testing）是指对一个完成了全部或部分功能、模块的计算机程序在正式使用前的检测，以确保该程序能按预定的方式正确地运行。软件的正确性尚未得到根本的解决，软件测试仍是发现软件错误和缺陷的主要手段。
程序检测的主要目的是：
发现错误和缺陷：
通过测试可以发现程序中存在的错误和缺陷，从而提高软件的质量和可靠性。
验证正确性：
确保程序按照设计要求正确地运行，满足用户的需求。
评估性能：
对程序的性能进行测试，包括执行速度、资源消耗等，以确保程序在实际使用中的效率。
改进程序：
通过测试结果可以发现程序的不足之处，进而对程序进行优化和改进。
测试用例是程序检测的重要工具，它由测试数据和预期结果构成。一个好的测试用例应该能够发现至今为止尚未发现的错误。
程序检测的方法有很多种，包括单元测试、集成测试、系统测试、验收测试等。每种测试方法都有其特定的目的和适用范围，通常需要结合使用以达到最佳的测试效果。