用于确保程序执行的方法

摘要

本发明涉及一种通过电子装置执行程序的方法，所述方法包括以下步骤：执行被配置为加载属于一系列有序数据的初始数据项(sq1<0>)的任意选择的值的程序(EXC)的操作(SSG)，执行分布在程序中的一系列计算操作(SG，SGC，ESG)，包括每个被配置为基于数据系列的前一数据项(sq1)来计算数据系列(sq1)的当前数据项(sq1)的计算操作，执行被配置为计算数据系列的最终数据项(sq1)的一系列操作的最终计算操作(ESG)，并且执行被配置为通过将数据系列的当前数据项(sq1)与最终数据项或当前数据项的期望值进行比较来检测程序执行错误的程序的操作(SQCK，SQFC)，最终数据项具有与数据系列中的数据项的数量(n)无关的期望值，并且基于数据系列的当前数据项和最终补偿数据项(CF)通过最终操作来计算。