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 SECCION G — FISICA.G06 COMPUTO; CALCULO; CONTEO.G06F TRATAMIENTO DE DATOS DIGITALES ELECTRICOS (computadores en los que una parte del cálculo se efectúa hidráulica o neumáticamente G06D, ópticamente G06E; 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 del funcionamiento (métodos o disposiciones para verificar la exactitud del marcado sobre un soporte de registro G06K 5/00; en el registro de información basado en un movimiento relativo entre el soporte de registro y el transductor G11B, p. ej. G11B 20/18; en las 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:

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 ; […]

Prueba del ciclo de vida, del 3 de Abril de 2019, de Tata Consultancy Services Limited: Un sistema de pruebas que comprende: un procesador ; y una memoria acoplada al procesador ,comprendiendo la memoria : […]

Prueba coordinada, del 20 de Febrero de 2019, de Synchronoss Technologies, Inc: Un método de implementación de pruebas coordinadas programadas en una memoria de un dispositivo, que comprende: en un controlador : a. […]

Bloque de diagnóstico de transacción, del 14 de Noviembre de 2018, de INTERNATIONAL BUSINESS MACHINES CORPORATION: Un producto de programa informático para proporcionar información de diagnóstico acerca de cancelaciones de transacción, comprendiendo el producto de programa informático: […]

Procedimiento de optimización dinámica de una arquitectura de herramientas de ensayos de sistema, del 16 de Mayo de 2018, de Airbus Helicopters: Procedimiento de control y de configuración de una arquitectura de un sistema aviónico que incluye al menos un calculador CPU y al menos un […]

Creación de símbolos inferidos a partir del uso de código, del 25 de Abril de 2018, de Microsoft Technology Licensing, LLC: Un sistema para el desarrollo de programas interactivo, que comprende: un editor de código fuente adaptado para recibir el código fuente […]

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 […]

Otras patentes de MBDA FRANCE