Este trabajo ha propuesto, por un lado, un modelo, denominado MoFQA, para el desarrollo de software basado en el proceso TDD integrado con técnicas MBT para reforzar (y automatizar) la generación de tests. En forma complementaria, hemos desarrollado herramientas MBT como propuestas para la definición y generación de tests unitarios y de aceptación para sistemas de plataforma Web. Dichas herramientas son generales y pueden o no ser utilizadas siguiendo el modelo de desarrollo propuesto por MoFQA.CONACYT – Consejo Nacional de Ciencia y TecnologíaPROCIENCIA