有一个处理单价为5角钱的饮料的自动售货机，相应规格说明如下： 若投入5角钱或1元钱的硬币，按下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。（每次只投入一个硬币，只押下一种饮料的按钮） 如投入5角的硬币，按下按钮后，总有饮料送出。 若售货机没有零钱找，则一个显示〖零钱找完〗的红灯会亮，这时再投入1元硬币并按下按钮后，饮料不送出来而且1元硬币也退出来。 若有零钱找，则显示〖零钱找完〗的红灯不会亮，若投入 1元硬币及按饮料按钮，则送出饮料的同时找回5角硬币。 请选择适当的黑盒测试方法，写出选择该方法的原因，并使用该方法的步骤，设计出相应的测试用例。

选择等价类划分法进行黑盒测试。

原因：该方法适用于输入的数据有多个等效类（即具有相同的功能和属性），且这些等效类对程序的执行结果产生相同的影响。在本题中，投入的硬币和按下的饮料按钮均属于等效类，且对程序的执行结果产生相同的影响。

步骤：

1. 确定等效类划分：根据规格说明，可以将硬币的投入和按钮的按下分为两个等效类，即5角钱和1元钱两个等效类。

2. 确定测试用例：根据等效类划分，可以设计出以下测试用例：

- 投入5角钱的硬币，按下〖橙汁〗或〖啤酒〗的按钮；
- 投入1元钱的硬币，按下〖橙汁〗或〖啤酒〗的按钮；
- 投入5角钱的硬币，不按下按钮；
- 投入1元钱的硬币，不按下按钮；
- 投入除5角钱和1元钱以外的硬币，按下〖橙汁〗或〖啤酒〗的按钮；
- 投入5角钱的硬币，按下〖橙汁〗或〖啤酒〗的按钮，售货机没有零钱找；
- 投入1元钱的硬币，按下〖橙汁〗或〖啤酒〗的按钮，售货机没有零钱找；
- 投入1元钱的硬币，按下〖橙汁〗或〖啤酒〗的按钮，售货机有零钱找；
- 投入5角钱的硬币，按下〖橙汁〗或〖啤酒〗的按钮，售货机有零钱找；
- 投入5角钱和1元钱的硬币，按下〖橙汁〗或〖啤酒〗的按钮，售货机有零钱找。

3. 执行测试用例，验证程序的正确性。