用于优化的代码检查器的方法和设备

摘要

当正在把程序(4)集成到电子设备(2)中时，对程序(4)施加验证过程，所述程序是根据按照亲缘关系所链接的类型而加以组织的，每种类型由各自的代码加以标识。本发明的特征在于，它包括如下的一个阶段，所述阶段包括：对这些类型实施一致化的阶段以便确定这些类型最靠近的共同祖先所述代码包括根据如下形式体系的位模式，所述形式体系表示与所述代码相关联的类型的亲缘，所述确定是通过如下方式实施的：使用所述代码的形式；并且对分配给要一致化的类型的模式进行逻辑组合，产生作为这些类型最靠近的共同祖先的类型的模式。本发明能够在带有存储器资源有限的设备中进行验证，特别是在智能卡2中进行验证。

主权项

1.一种用于在把程序(4)集成到电子设备(2)中的阶段期间对程序(4)进行检查的方法，所述程序根据按照亲缘关系所链接的类型而加以组织，每种类型由各自的代码加以标识，所述方法包括：对这些类型进行一致化的阶段，目的在于确定这些类型最靠近的共同祖先，特征如下：所述代码是根据如下形式体系并采用位模式的形式加以描述的，所述形式体系表示与所述代码相关联的类型的亲缘；并且所述一致化阶段包括：对分配给要一致化的类型的模式进行逻辑组合，产生作为这些类型最靠近的共同祖先的类型的模式。