46. Pruebas de software

Presenta pruebas unitarias, de integración, de contrato, de interfaz y de extremo a extremo. También cubre dobles de prueba, cobertura, pruebas basadas en propiedades y diseño para facilitar la verificación.