本文介绍了素数检测的基本理论基础Fermat小定理以及Fermat、Lehman和Solovay-Strassen等三种著名概率性素数检测方法,并在VB中实现了大素数Solovay-Strassen检测。