系统用户输入判断逻辑：因果图和判定表

本文将通过因果图和判定表两种方法详细分析系统对用户输入的判断逻辑，主要涉及出差地、联系电话、开始日期、结束日期、出行方式和同行人数等关键信息的验证规则。

一、需求描述

系统对用户的选择和输入依次进行判断。

出差地: 必须为国内有效城市；若该项不符合要求，则提示'出差地无效'；
联系电话: 必须为长度11位的数字串，且以1作为开头；若出差地输入有效，且联系电话不符合要求，则提示'联系电话无效'；
开始日期: 必须不早于当前请假日期； 结束日期: 必须不早于开始日期，且不超出开始日期30天；若出差地、联系电话输入均有效，且开始日期或结束日期不符合要求，则提示'日期无效'；
出行方式: 必须为'自驾'、'火车'或'飞机'；若出差地、联系电话、日期均有效，且出行方式未选择，则提示'出行方式无效'；
同行人数: 必须为非负整数；若出差地、联系电话、日期、出行方式均有效，且同行人数不符合要求，则提示'同行人数无效'；
出差地、联系电话、日期、出行方式和同行人数均有效，则提示'提交申请'。

二、因果图

因果图

三、判定表

| 出差地 | 联系电话 | 开始日期 | 结束日期 | 出行方式 | 同行人数 | 结果 | | -------- | -------- | -------- | -------- | -------- | -------- | ------------ | | 有效城市内 | 11位数字串，以1开头 | 开始日期不早于当前日期 | 结束日期不早于开始日期，不超出30天 | 自驾、火车或飞机 | 非负整数 | 提交申请 | | 无效 | --- | --- | --- | --- | --- | 出差地无效 | | 有效城市内 | 不是11位数字串，或不以1开头 | 开始日期不早于当前日期 | 结束日期不早于开始日期，不超出30天 | 自驾、火车或飞机 | 非负整数 | 联系电话无效 | | 有效城市内 | 11位数字串，以1开头 | 开始日期早于当前日期 | --- | 自驾、火车或飞机 | 非负整数 | 日期无效 | | 有效城市内 | 11位数字串，以1开头 | 开始日期不早于当前日期 | 结束日期早于开始日期或超出30天 | 自驾、火车或飞机 | 非负整数 | 日期无效 | | 有效城市内 | 11位数字串，以1开头 | 开始日期不早于当前日期 | 结束日期不早于开始日期，不超出30天 | 未选择 | 非负整数 | 出行方式无效 | | 有效城市内 | 11位数字串，以1开头 | 开始日期不早于当前日期 | 结束日期不早于开始日期，不超出30天 | 自驾、火车或飞机 | 负整数 | 同行人数无效 |