Uno de los enfoques muy rigurosos es el denominado inspección de software.