的符合程度(而验证则是检查形式化规范的内部一致性)，即测试一个协议给定实现的外部行为是否符合协议的规范。
[0024]步骤102、智能电视显示界面显示可供选择的升级对话框，所述升级对话框设置有延迟升级、立刻升级及取消升级三个选项。
[0025]所述步骤102,具体的,在校验最新升级包后，智能电视显示界面显示包含有延迟升级、立刻升级及取消升级三个选项的升级对话框，用户根据实际情况进行选择。
[0026]步骤103、智能电视接收对升级对话框选项的选择，当选择的选项为延迟升级，则智能电视保存升级包并在下次开机时进行自动升级；当选择的选项为立刻升级，则智能电视立刻进行升级；当选择的选项为取消升级，则智能电视取消本次升级。
[0027]所述步骤103，具体的，若用户选择延迟升级，最新升级包将选择保存到Preferences中，并安装最新升级包接口，写入升级参数，智能电视在下次开机时进行自动升级，若用户选择立刻升级，则安装最新升级包接口，写入升级参数，智能电视立刻重启进行升级，若选择取消升级，则智能电视退出升级程序，取消本次升级。
[0028]如上所述，本发明提供延迟升级、立刻升级及取消升级三种方法处理系统升级，如果用户选择延迟升级，则智能电视将延迟升级启动命令写入MISC分区，智能电视下次启动时,Bootlaoder根据延迟升级启动命令进入Recovery模式进行升级,提供一种不影响用户观看电视视频的升级方式。需要说明的是，MISC分区为android系统规定的一个分区名，用于保存启动及升级信息；Bootlaoder为android系统启动加载器,用于操作系统内核载入，并实现跳转到内核执行；Recovery模式为android的升级恢复模式,用于执行安装升级包及恢复出厂操作。
[0029]所述的智能电视OTA延迟升级的方法，其中，所述当选择的选项为延迟升级，则智能电视保存升级包并在下次开机时进行自动升级，具体包括:选择延迟升级，将最新升级包保存到Preferences ;调用Recovery System类的安装升级包接口 ；所述安装升级包接口获取保存的Preferences值,若Preferences值为真，则进入步骤下一步；将延迟升级启动命令写入MISC分区存储的BCB结构；智能电视在下次开机时进行升级。需要说明的是，Preferences为首选项,在android应用中用于保存关键字及关键字对应值的映射；RecoverySystem类是android升级操作的框架接口类名；BCB结构，为android系统的数据结构，BCB为Boot Control Block的首字母缩写，意为启动控制块。
[0030]所述的智能电视OTA延迟升级的方法,其中，调用Recovery System类的安装升级包接口，具体包括:调用Recovery System类的安装升级包接口 ；所述安装升级包接口获取最新升级包路径，并将路径与升级命令前缀组合；将组合的路径与升级命令前缀传递给Recovery System类的静态私有方法Boot Command ;所述静态私有方法Boot Command将升级命令写入Command文件。需要说明的是，Boot Command为Recovery System类的一个静态方法；Command文件指/cache/recovery/command路径下的文件,用于保存recovery命令的文件。
[0031]所述的智能电视OTA延迟升级的方法，其中，选择立刻升级，智能电视立刻进行升级，具体包括:
选择立刻升级，将最新升级包保存到Preferences ；
调用Recovery System类的安装升级包接口 ；
所述安装升级包接口获取保存的Preferences值,若Preferences值为假,则智能电视立刻重启进入Recovery模式进行升级。
[0032]图2是本发明一实施例所述的用户选择升级方法的处理流程图。如图2所示，用户选择升级方法的处理流程包括:
步骤201、电视启动完成。
[0033]步骤202、检测服务器上是否有最新升级包，若有，则进行步骤203，否则进行步骤211 ;需要说明的是，最新升级包是指服务器中距用户所在时间最近一次上传的且版本高于现有智能电视系统版本的升级包。
[0034]步骤203、下载最新升级包并校验。
[0035]步骤204、选择延迟升级、立刻升级或取消升级；在校验最新升级包后，智能电视显示界面显示包含有延迟升级、立刻升级及取消升级三个选项的升级对话框，用户根据实际情况进行选择，若选择延迟升级，则进入步骤205，若选择立刻升级，则进入步骤206，若选择取消升级，则进入步骤211。
[0036]步骤205、延迟升级保存Preferences ;用户选择延迟升级，最新升级包将选择保存到Preferences中，然后进入步骤207。
[0037]步骤206、立刻升级；用户选择立刻升级，进入步骤207。
[0038]步骤207、安装最新升级包接口，写入升级参数；具体的，调用Recovery System类的安装升级包接口(Install Package方法),所述安装升级包接口获取传递的升级包路径，将路径和升级命令前缀组合起来，传递给Recovery System类的静态私有方法BootCommand,通过该方法将传递的升级命令写入Command文件；其中，Install Package为Recovery System类的一个静态公有方法,在安装升级包时,应用调用这个接口。
[0039]步骤208、读取Preferences值是否是延迟升级；具体的，安装升级包接口根据上下文参数，获取保存的延迟升级Preferences值,Peferences值为真,代表用户要执行延迟升级，进入步骤209，Preferences值为假，代表以后要执行立刻升级，进入步骤210。
[0040]步骤209、写入BCB信息；具体的，调用本地方法写入延迟升级启动命令。
[0041]步骤210、重启进入Recovery模块进行升级。
[0042]步骤211、退出。
[0043]图3是本发明所述的MISC分区存储的BCB结构示意图。如图3所示，本发明所述的MISC分区304存储的BCB结构包括:
Char command[32] 301 为 Command域,用于保存启动命令,Bootloader会读取Command域来确定启动模式；所述Char command [32] 32中，char是C语言数据类型，command是变量名，这句代表一个Char类型数组,数组长度32, Command域为BCB结构中的一个域或成员。
[0044]Char status [32] 302 为 Status 域,用于存储升级状态；所述 Char status [32]中，char是C语言数据类型名，status是变量名，这句代表一个Char类型数组，数组长度32, Status域为BCB结构中的一个域或成员，标识了 recovery操作的状态，用于保存升级状态。
[0045]Char recovery
[1024] 303 为 Recovery 域，用于保存升级命令；所述 Charrecovery
[1024] 303中，char是C语言数据类型名，recovery是变量名，这句代表一个Char类型数组,数组长度1024，Recovery域为BCB结构中的一个域或成员，用于保存升级命令。
[0046]所述的智能电视OTA延迟升级的方法，其中，将延迟升级启动命令写入MISC分区存储的BCB结构，具体包括:
获取MISC分区信息；
构造BCB结构；
保存延迟升级启动命令到BCB结构的Command域。
[0047]图4是本发明延迟升级启动命令写入BCB结构的流程图。如图4所示,本发明延迟升级启动命令写入BCB结构的流程包括:
步骤401、读取FSTAB文件；所述FSTAB为分区挂载表，描述了各个分区节点，对应的文件系统类