Automatización de ensayos funcionales de computadora a bordo para aplicaciones satelitales