用因果图法测试以下程序。 程序的规格说明要求:输入的第一个字符必须是#或*,第二个字符必须是一个数字,在此情况下进行文件的修改;如果第一个字符不是#或*,则给出信息N, 如果第二个字符不是数字,则给出信息M。(1)分析程序的规格说明,列出原因和结果。(2)找出原因与结果间的因果关系、原因与原因间的约束关系,画出因果图。(3)将因果图转换成决策表。(4)根据(3)中的决策表,设计测试用例的输入数据和预期输出。