Marco de Trabajo del Analizador para verificar el Componente de Software