边界检查在进程设计中是指在使用某一个变量前，用来检查该变量是否处在一个特定范围之内的过程。最常见的是数组的下标检查，来防止下标超出数组的范围而覆盖其他的数据。

若是边界检查未能发现错误，最常见的结果是进程出现异常并终止运行，但也可能出现其他的现象。

由于每次都进行边界检查非常耗时，而且有些代码是不可能产生越界的问题的，所以这个操作并不总是需要被执行。一些现代的编译器中有被称为选择性边界检查的技术可以略去一些常见的不需要的边界检查来提高进程的性能。

In computer programming, bounds checking is any method of detecting whether a variable is within some bounds before it is used. It is usually used to ensure that a number fits into a given type (range checking), or that a variable being used as an array index is within the bounds of the array (index checking). A failed bounds check usually results in the generation of some sort of exception signal.