Zaslat SMS: Análisis de métodos, técnicas y herramientas de verificación y validación de software usados por empresas ecuatorianas desarrolladoras de software