Procedimiento y sistema de ayuda a la verificación y a la validación de una cadena de algoritmos.
Procedimiento de ayuda a la verificación y a la validación funcional de una cadena de algoritmos,
comprendiendo el citado procedimiento una sucesión de etapas que comprenden al menos:
a) una etapa de instrumentación de la cadena de algoritmos, que realiza una captura automática de datos que comprenden al menos algunos de los datos siguientes: datos de interfaz y datos internos de algoritmos de la cadena de algoritmos, consistiendo la etapa a) en leer archivos de salvaguarda en los cuales están almacenados un conjunto de datos de la cadena de algoritmos y en realizar consultas sobre los datos contenidos en los archivos de salvaguarda;
b) una etapa de verificación automática de reglas funcionales, estando configurada la etapa b) para permitir detectar una violación de reglas y para permitir detectar si deben ser identificados elementos por un operador;
c) una etapa de aprendizaje para modelar por aprendizaje restricciones y criterios de algoritmos de la cadena de algoritmos, teniendo en cuenta las validaciones realizadas por un operador humano durante una validación funcional, y los datos capturados, utilizando el aprendizaje medios que se basan en una de las características siguientes:
- máquinas con vector de soporte;
- redes de neuronas;
- árboles de decisión;
- métodos estadísticos; y
- un análisis discriminatorio lineal; y
d) una etapa de detección automática de errores o de problemas funcionales de la cadena de algoritmos con la ayuda de medios de aprendizaje estadístico, realizando la etapa d) con la ayuda de medios de aprendizaje estadístico, una correlación de los datos que comprenden al menos datos de la cadena de algoritmos para determinar reglas generales de variaciones de salidas de algoritmos de la cadena de algoritmos, y emitiendo una alerta si se detecta una variación superior a un umbral dado de una salida de algoritmo, con respecto a una salida prevista.
Tipo: Patente Europea. Resumen de patente/invención. Número de Solicitud: E14290368.
Solicitante: MBDA FRANCE.
Nacionalidad solicitante: Francia.
Dirección: 1, avenue Réaumur 92350 Le Plessis-Robinson FRANCIA.
Inventor/es: KOTENKOFF,ALEXANDRE, VIGOUROUX,DAVID, VIVARES,ANTOINE, HEBERT,OLIVIER, PEREL,CHRISTOPHE.
Fecha de Publicación: .
Clasificación Internacional de Patentes:
- G06F11/36 FISICA. › G06 CALCULO; CONTEO. › G06F PROCESAMIENTO ELECTRICO DE DATOS DIGITALES (sistemas de computadores basados en modelos de cálculo específicos G06N). › G06F 11/00 Detección de errores; Corrección de errores; Monitorización (detección, corrección o monitorización de errores en el almacenamiento de información basado en el movimiento relativo entre el soporte de registro y el transductor G11B 20/18; monitorización, es decir, supervisión del progreso del registro o reproducción G11B 27/36; en memorias estáticas G11C 29/00). › Prevención de errores probando o depurando el software.
PDF original: ES-2733514_T3.pdf
Patentes similares o relacionadas:
Método para depurar un programa PLC, del 25 de Diciembre de 2019, de LSIS Co., Ltd: Un método para usar un microprocesador de propósito general para depurar un controlador lógico programable, PLC, el método comprende: recibir en una unidad de procesamiento […]
Método para cargar un código nativo en un elemento de seguridad, del 4 de Diciembre de 2019, de Thales Dis France SA: Método para corregir al menos un error localizado en un código nativo de al menos un elemento de seguridad objetivo cargando al menos una […]
Procedimiento de visualización, dispositivo y producto programa de ordenador correspondiente, del 27 de Noviembre de 2019, de Ingenico Group: Procedimiento de visualización de propiedades de un elemento de un código fuente de un programa informático en curso de edición, estando el citado programa escrito en un lenguaje […]
Sistema y método para implementar directivas de aplicación entre entornos de desarrollo, del 30 de Octubre de 2019, de Veracode, Inc: Método para facilitar un análisis distribuido de la seguridad y de la vulnerabilidad de una aplicación de software, comprendiendo el método: establecer parámetros de […]
Entorno de ensayo susceptible de ser utilizado por varios usuarios para una pluralidad de objetos de ensayo, del 5 de Junio de 2019, de Airbus Defence and Space GmbH: Entorno de ensayo para someter a ensayo objetos de ensayo , presentando el entorno de ensayo : una primera unidad de realización del caso de ensayo (110A) y una […]
Simulación y ensayo de aviónica, del 12 de Abril de 2019, de SAAB AB: Sistema anfitrión de aplicación en aviónica para simular y / o ensayar una serie de aplicaciones (A1 - A4) particionadas dispuestas para ser periódicamente […]
Método y sistema de administración de contenido web para pruebas A/B o pruebas multivariable de sitios web en ordenadores conectados a un sistema de administración de contenido web, del 3 de Abril de 2019, de COREMEDIA AG: Método para la prueba A / B o prueba multivariable de un sitio web en un ordenador que está conectado a un sistema de gestión de contenido web ; […]
DISPOSITIVO DE PRUEBA, METODO Y MEDIO LEGIBLE POR ORDENADOR PARA OBTENER UN PLAN DE CASOS DE PRUEBAS CUALIFICADOS A PARTIR DE UNA BASE DE DATOS DE CASOS DE PRUEBAS, del 10 de Febrero de 2011, de INSTITUTE FOR INFORMATION INDUSTRY: Dispositivo de prueba, método y medio legible por ordenador para obtener un plan de casos de pruebas cualificados a partir de una base de datos de casos de pruebas.Se […]