Análisis y pruebas de sistemas utilizando modelos software