Un test de primalidad (o chequeo de primalidad) es un algoritmo que, dado un número de entrada "n", no consigue verificar la hipótesis de un teorema cuya conclusión es que "n" es compuesto.