一种基于差异放大的数据一致性比较方法

摘要

介绍了一种应用在"二取二"设计中的代码设计方法。在安全产品的软件设计里,常采用"二取二"的差异性代码设计。其中,两份代码对同一任务的运算结果所进行的一致性比较功能尤为重要。在BTM的软件开发工作基础上,针对此类比较功能提出了一种"差异放大"的方法,来提高软件设计的可靠性和可测性。