电路板的设计验证包括多种检查，其中以电路连通性的检查和安全间距的检查最为重要。

连通性是‘点集拓扑学’中的基本概念，把‘连通性’定义如下：对于拓扑空间X，（1）若X中除了空集和X本身外，没有别的既开又闭的子集，则称此‘拓扑空间X是连通的’。（2）若E作为X的子空间，E在诱导拓扑下是可连通的，则称拓扑空间X的子集E，是连通的。由此，能够等价描述E的内涵有下面3点：1） 若X不能表示为两个非空不交的开集的并，则，拓扑空间X是连通的。2）若当X分成两个非空子集A、B时，并且满足A∪B时，有A交B的闭包非空，或B交A的闭包非空，则称拓扑空间X是连通的。3）若X中既开又闭的子集只有X与空集，则称，拓扑空间X是连通的。

金属导线和电气、电子部件组成的导电回路称为电路。在电路输入端加上电源使输入端产生电势差，电路连通时即可工作。电路可以实现电能的传输、分配和转换，还可以实现信号的传输与处理。电路通常由电源、负载和中间环节三部分组成。电流的存在可以通过一些仪器测试出来，如电压表或电流表偏转、灯泡发光等。按照流过的电流性质，一般把它分为两种：直流电通过的电路称为“直流电路”，交流电通过的电路称为“交流电路”。

检查的英文名称为Check， 定义为为验证航空器其功能是否符合经批准的标准而进行的工作。 所属学科为航空科技（一级学科） ；航空器维修工程（二级学科）。