小灰笔记

但是背后的机理的确是不容易的，之前我看了一个存储检查分析的报告，感觉这样的序列的得出的确是有很大的研究基础才行。MARCH的检查基本上是通过对存储单元的读写判断来实施的，但是MARCH一般不会测试堆栈部分的存储，因为这部分在软件运行的过程中可能由于算法本身导致变化。这种算法是一种破坏性的算法，因为写入的是整个存储区，没有其他的存储或者寄存器可以作为原始数据的保存缓冲区。校验的方法很多，比较常用的就是CRC校验，而这种校验方式不管是从纯软件的角度还是利用某些高级MCU带有的CRC计算模块来计算都是可以的。

测试的方式也简单，调用一个固定地址的函数，而相应的函数会返回一个固定的数值，这个数值是函数开始的地址。而这个地址，是在链接文件中指定的，也是一个已知的数值。因此，增加了一个面向加点的IEC 60730。关于CPU寄存器以及PC寄存器的测试，我后面还会结合代码做一个更深一些的分析学习，也会结合一些我手头的MCU做一个简单的实现。这些在常规的单片机中都是存在的，因此纵然设计的软件不是百分百通用，但是检查的理念应该是通用的。这里顺便看2个比较简单的测试，一个是CPU的寄存器测试，一个是CPU的PC计数器测试。