程序黑盒测试主要关注以下几个方面：
软件界面和功能测试：
黑盒测试将程序视为一个无法打开的黑盒子，测试人员不需要了解程序的内部结构和特性，只需根据需求规格说明书设计测试实例，并检查程序的功能是否能够按照规范说明准确无误地运行。这主要涉及软件界面和软件功能的测试。
输入和输出验证：
在测试过程中，测试人员只需要知道向黑盒输入什么，以及黑盒会产生什么结果。测试的重点在于程序是否能正确接收输入数据并产生预期的输出信息。
等价类划分：
将程序的输入域划分为若干部分（子集），然后从每个部分中选取少数代表性的数据作为测试用例。这种方法有助于减少测试用例的数量，同时确保覆盖尽可能多的输入情况。
边界值分析：
测试输入数据的边界值，因为很多错误都发生在边界条件上。这种方法有助于发现程序在边界情况下的错误。
因果图：
通过建立输入和输出之间的因果图，帮助测试人员设计测试用例，覆盖更多的输入组合和边界条件。
错误推测：
基于经验和直觉，推测程序中可能出现的错误，并设计相应的测试用例进行验证。
穷举测试：
理论上，黑盒测试需要对所有可能的输入进行测试，但实际上这是不现实的。因此，测试人员会采用有针对性的测试方法，确保所有合法输入和某些不合法但可能的输入都被测试到。
测试用例设计：
根据软件需求规格说明、模型和用户需求，设计测试用例，确保程序功能按照需求规格说明书的规定正常使用，并能够适当地接收输入数据并产生正确的输出信息。
黑盒测试的目的是验证软件的功能是否符合需求规格说明书的规定，而不考虑程序内部的实现细节。通过这种方法，可以有效地检测出程序在功能实现上的错误，提高软件的质量和可靠性。