管理协议，验证和转换下载程序片断的方法及对应的系统

摘要

本发明涉及管理协议，并涉及验证已经下载到便携系统的程序片断或小应用程序的方法。小应用程序的下载命令(100a，100b)被执行。一旦收到正响应，则读取小应用程序的对象代码(101)并逐条指令经过验证过程(102)。验证过程由一阶段组成，该阶段包括类型栈和寄存器类型表的初始化，它们表示在小应用程序代码的执行开始时便携系统的虚拟机状态；以及对每一目标当前指令逐条指令的验证，包括验证目标转移指令，目标异常处理程序调用或目标子程序调用的存在性，验证和更新指令对类型栈和寄存器类型表的效果。如果验证成功(103a)，小应用程序被寄存(104)并向下载驱动器发送(105)确认。否则，小应用程序被删除(106)。本发明适用于Java环境的便携系统。

主权项

1.一种用于管理程序片断的方法，程序片断是下载到装有可重写存储器的微处理器卡这种可重编程板载系统的，所述程序片断由对象代码即一系列指令组成，对象代码可由板载系统的微处理器通过虚拟机执行，虚拟机带有执行栈并带有通过这些指令处理的局部变量或寄存器，并使得能够解释这些对象代码，所述板载系统与终端互连，其特征在于该方法在所述板载系统级上至少包括：a)检测用于下载这种程序片断的命令；并在对检测下载命令这一阶段为正响应时，b)读取构成这种程序片断的对象代码并暂时存储这种对象代码；c)使所有暂时存储在存储器中的对象代码经受验证过程，这一验证过程至少包括初始化类型栈和寄存器类型表阶段，它们表示所述虚拟机在开始执行暂时存储的对象代码时的状态，并且包括以下后继的阶段，通过对每一当前指令判断目标、转移指令目标、异常处理程序调用目标、或子程序调用目标的存在性，逐个指令地进行验证，并且包括验证和更新所述当前指令对类型栈和寄存器类型表的效果，并且在所述对象代码的成功验证的情况下，d)把下载的程序片断记录在可用的程序片断的目录中，并在所述对象代码的不成功验证的情况下，e)在所述板载系统上禁止所述程序片断的执行。