有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：若投入5角钱或1元钱的硬币，按下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并按下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币的因果图

以下是该用例的测试用例设计：

1. 输入5角钱硬币，按下〖橙汁〗按钮，验证饮料送出。
2. 输入1元钱硬币，按下〖橙汁〗按钮，验证饮料送出。
3. 输入5角钱硬币，按下〖啤酒〗按钮，验证饮料送出。
4. 输入1元钱硬币，按下〖啤酒〗按钮，验证饮料送出。
5. 输入5角钱硬币，按下〖橙汁〗按钮，验证饮料送出并退还5角硬币。
6. 输入1元钱硬币，按下〖橙汁〗按钮，验证饮料送出并退还5角硬币。
7. 输入5角钱硬币，按下〖啤酒〗按钮，验证饮料送出并退还5角硬币。
8. 输入1元钱硬币，按下〖啤酒〗按钮，验证饮料送出并退还5角硬币。
9. 输入1元钱硬币，按下〖橙汁〗按钮，验证红灯亮并退还1元硬币。
10. 输入1元钱硬币，按下〖啤酒〗按钮，验证红灯亮并退还1元硬币。

以下是因果图：

           +---------+               +--------+
           |         |               |        |
5角钱硬币 -+         +-> 送出饮料 -+        |
           |         |               |        |
1元钱硬币 --+ 验证找零 -+           |        |
           |         |               |        |
   橙汁 ---+         +-- 退还5角硬币 -+        |
           |         |               |        |
   啤酒 ---+         +-- 退还1元硬币 -+ 红灯亮 -+
           |         |               |        |
           +---------+               +--------+

该因果图说明了各个事件之间的关系。例如，如果投入5角钱硬币并按下〖橙汁〗按钮，将送出饮料并退还5角硬币；如果投入1元钱硬币并按下按钮，将退还1元硬币并亮起红灯。