El factor de De Bruijn es una medida de cuánto más difícil es escribir una prueba matemática formal en lugar de una informal . Fue creado por el pionero de las pruebas informáticas holandés Nicolaas Govert de Bruijn .
De Bruijn lo calculó como el tamaño de la prueba formal sobre el tamaño de la prueba informal [ aclarar ] . [1]
Freek Wiedijk refinó la definición para utilizar el tamaño comprimido de la prueba formal en lugar del tamaño comprimido de la prueba informal. Lo llamó el "factor intrínseco de Bruijin". La compresión elimina el efecto que podría tener la longitud de los identificadores en las pruebas. [2]