某路由器产品支持用户手动上传升级包进行固件升级，请使用场景设计法对固件升级功能进行用例设计，画出流程图，分析基本流和备选流，最终生成用例。升级流程:用户在升级界面上传升级包后，程序自动动校验升级包是否
固件升级功能用例设计流程图如下：
```mermaid
graph TD
A[用户在升级界面上传升级包] --> B[程序自动动校验升级包是否合法]
B -->|校验成功| C[用户点击升级按钮开始升级]
B -->|校验失败| D[提示用户升级包不合法]
C --> E[升级包仅支持zip格式]
E --> F[升级包大小不超过50M]
F --> G[升级包版本小于等于当前设备版本时，校验失败]
G --> H[提示用户升级包版本不合法]
```
基本流：用户上传升级包 -> 程序校验 -> 校验成功 -> 点击升级按钮 -> 升级包仅支持zip格式 -> 升级包大小不超过50M -> 升级包版本小于等于当前设备版本时，校验失败 -> 提示用户升级包版本不合法。
备选流：用户上传升级包 -> 程序校验 -> 校验成功 -> 点击升级按钮 -> 升级包仅支持zip格式 -> 升级包大小超过50M -> 提示用户升级包过大。
最终生成用例：1. 用户在升级界面上传zip格式且大小不超过50M的合法升级包，点击升级按钮后，程序自动校验并开始升级；2. 用户在升级界面上传zip格式但大小超过50M的非法升级包，点击升级按钮后，程序自动校验并提示用户升级包过大；3. 用户在升级界面上传非zip格式或为空的非法升级包，点击升级按钮后，程序自动校验并提示用户升级包不合法。
```mermaid
graph TD
A[用户在升级界面上传升级包] --> B[程序自动动校验升级包是否合法]
B -->|校验成功| C[用户点击升级按钮开始升级]
B -->|校验失败| D[提示用户升级包不合法]
C --> E[升级包仅支持zip格式]
E --> F[升级包大小不超过50M]
F --> G[升级包版本小于等于当前设备版本时，校验失败]
G --> H[提示用户升级包版本不合法]
```
基本流：用户上传升级包 -> 程序校验 -> 校验成功 -> 点击升级按钮 -> 升级包仅支持zip格式 -> 升级包大小不超过50M -> 升级包版本小于等于当前设备版本时，校验失败 -> 提示用户升级包版本不合法。
备选流：用户上传升级包 -> 程序校验 -> 校验成功 -> 点击升级按钮 -> 升级包仅支持zip格式 -> 升级包大小超过50M -> 提示用户升级包过大。
最终生成用例：1. 用户在升级界面上传zip格式且大小不超过50M的合法升级包，点击升级按钮后，程序自动校验并开始升级；2. 用户在升级界面上传zip格式但大小超过50M的非法升级包，点击升级按钮后，程序自动校验并提示用户升级包过大；3. 用户在升级界面上传非zip格式或为空的非法升级包，点击升级按钮后，程序自动校验并提示用户升级包不合法。
