公开(公告)号：CN1231838C

公开(公告)日：2005-12-14

申请号：CN00801310.1

申请日：2000-06-28

申请人： 布尔CP8公司 ,  国家信息及自动化研究院 ,  国家科研中心

发明人： 克里斯蒂安·高雷 ,  托马斯·简森 ,  帕斯卡·弗拉德特 ,  丹尼尔·勒·梅塔耶 ,  埃文·丹尼

IPC分类号： G06F9/45

CPC分类号： G06F8/52 ,  G06F9/44589

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

公开(公告)号：CN1316073A

公开(公告)日：2001-10-03

申请号：CN00801310.1

申请日：2000-06-28

申请人： 布尔CP8公司 ,  国家信息及自动化研究院 ,  国家科研中心

发明人： 克里斯蒂安·高雷 ,  托马斯·简森 ,  帕斯卡·弗拉德特 ,  丹尼尔·勒·梅塔耶 ,  埃文·丹尼

IPC分类号： G06F9/45

CPC分类号： G06F8/52 ,  G06F9/44589

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