有一个饮料自动售货机（处理单价为5角钱）的控制处理软件，它的软件 规格说明如下： 若投入5角钱的硬币，按下“橙汁”或“啤酒”的按钮，则相应的饮料就 送出米。若投入1元钱的硬币，同样也是按“橙汁”或“啤酒”的按钮，则自 动售货机在送出相应饮料的同时退回5角钱的硬币。 用程序模拟该自动售货机（注：用屏幕输入、输出来模拟售货机的动作），使 用判定表设计方法进行用例设计。用c语言设计程序

以下是用C语言实现的饮料自动售货机程序：

#include <stdio.h>

int main() {
    int coin; // 存储投入的硬币金额
    int choice; // 存储用户选择的饮料编号

    printf("请输入投入的硬币金额（5角为1，1元为2）：");
    scanf("%d", &coin);

    if (coin != 1 && coin != 2) { // 投入的硬币金额不为5角或1元
        printf("只接受5角或1元硬币，请重新投币！\n");
        return 0;
    }

    printf("请选择要购买的饮料：\n");
    printf("1. 橙汁（0.5元）\n");
    printf("2. 啤酒（0.5元）\n");
    scanf("%d", &choice);

    if (choice != 1 && choice != 2) { // 用户选择了不存在的饮料编号
        printf("对不起，没有该饮料，请重新选择！\n");
        return 0;
    }

    if (coin == 1) { // 用户投入1元硬币
        printf("您购买了饮料%d，找您0.5元硬币。\n", choice);
    } else { // 用户投入5角硬币
        printf("您购买了饮料%d，感谢惠顾！\n", choice);
    }

    return 0;
}

该程序首先要求用户输入投入的硬币金额，然后根据硬币金额判断是否接受该硬币，并提示用户重新投币。接着，程序显示饮料列表，要求用户选择要购买的饮料。如果用户选择了不存在的饮料编号，程序会提示用户重新选择。最后，程序根据用户投入的硬币金额和选择的饮料编号，输出相应的购买信息和找零信息。