Podemos condiderar mejorado un software si tenemos en cuenta más combinaciónes de estados o flancos de las señales sí y solo sí realizamos pruebas para cada nueva mejora y volvemos a realizar todas las pruebas ya existentes para demostrar que la intención de mejora no modificó el correcto comportamiento de la totalidad del software.