Las máquinas de estados finitos (FSMs) y el método W han sido ampliamente utilizados en pruebas de software. Sin embargo, el método W no logra detectar errores de post-procesamiento en la implementación bajo prueba (IUT) porque finaliza las pruebas cuando encuentra un estado previamente visitado. Para aliviar este problema, proponemos un método W mejorado para la detección de fallas. El método propuesto no detiene la prueba, incluso si ha alcanzado un estado previamente visitado; continúa probando y verifica los puntos que el método W pasa por alto. A través de varios estudios de caso, demostramos las pruebas de software utilizando el método W y el método propuesto. A partir de los resultados, se puede inferir que el método propuesto puede determinar de manera más explícita la consistencia entre el diseño y la implementación, y es una mejor opción para probar software más grande. Desafortunadamente, el tiempo de prueba del método propuesto es aproximadamente 1.4 veces más largo que el del método W debido a los caminos adicionales. Sin embargo, nuestro método es más adecuado que el método W para las pruebas de software en sistemas críticos de seguridad, incluso si este método consume más tiempo. Esto se debe a que las características libres de errores de un sistema crítico de seguridad son más importantes que cualquier otra cosa. Como resultado, nuestro método puede ser utilizado para aumentar la confiabilidad del software en sistemas embebidos críticos de seguridad.