用于一种嵌入式系统、尤其用于一种芯片卡的代码变换器的检验方法

摘要

本发明涉及一种准备嵌入式系统(7)用的、从源代码到被变换代码的变换器的检验方法。该方法至少包含以下步骤：确定将这二个代码(1,3)进行因式分解的唯一的虚拟机,对每个所述源代码(1)和被变换代码(3),确定多个表示载所述源代码(!)和被变换代码(3)之间的剩余差值的所述辅助函数,以及一个在于检验这些辅助函数之间的对应特性的步骤,该代码变换器(2)的检验从最后步骤开始被获取。该应用尤其适合于芯片卡(7)。

主权项

1．检验供嵌入式系统用的、从所谓源代码到被变换代码的变换器的方法，其中所述源代码和被变换代码与虚拟机相关联，该方法的特征在于它至少包含以下若干步骤：-对于每个所述源代码(1)和被变换代码(3)，确定一个第一公用子集(13)，该子集构成将这二个代码(1,3)的特性进行因式分解的唯一的虚拟机；-对于每个所述源代码(1)和被变换代码(3)，确定一个第二子集(10,30)，该子集由多个被所述唯一虚拟机使用的所谓辅助函数(10i,30i)构成，所述辅助函数(10i,30i)表示在所述源代码(1)和被变换代码(3)之间的剩余差值；-成对地将辅助函数关联起来，将属于与所述源代码(1)相关联的第二子集(10)的每对第一辅助函数(10i)和属于与所述被变换代码(3)相关联的所述第二子集(30)的每对的所述第二辅助函数(30i)关联起来；-检验在所述所有所述对的辅助函数(10i-30i)之间所给定的对应的特性；以及-验证由所述变换器(2)进行的从源代码(1)到被变换代码(3)的变换遵守给定的所述对应特性。