Último ensayoProbar un agente no es demostrar: es muestrear
Cuando la salida de un agente es no determinista, una suite de pruebas en verde deja de ser una compuerta que demuestra que el sistema es correcto y pasa a ser una muestra con un intervalo de confianza: «verde» significa «no atrapé un defecto en esta corrida», no «es correcto». Este ensayo lleva el muestreo de aceptación de la manufactura a la verificación de agentes y sostiene que la palanca del arquitecto se muda de inspeccionar la salida a diseñar el proceso para que el defecto sea imposible.Oficio10 min de lectura







