CIP-2021 : G06F 11/36 : Prevención de errores probando o depurando el software.

CIP-2021GG06G06FG06F 11/00G06F 11/36[1] › Prevención de errores probando o depurando el software.

G 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).

G06F 11/36 · Prevención de errores probando o depurando el software.

CIP2021: Invenciones publicadas en esta sección.

Método para depurar un programa PLC.

(25/12/2019) 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 principal, MPU del PLC, un comando de depuración desde una computadora personal, PC; en la MPU del PLC, interrumpir la ejecución del PLC en una etapa de interrupción; y reanudar la ejecución del PLC cuando la MPU completa la depuración; caracterizado porque el método comprende, además: recibir una instrucción de configuración de etapa de interrupción para establecer la etapa de interrupción desde la PC; almacenar, en un área de almacenamiento temporal de un almacenamiento de datos del PLC, un número de etapa para una ubicación de la etapa de interrupción y un código de compilación correspondiente a la ubicación…

Método para cargar un código nativo en un elemento de seguridad.

(04/12/2019). Solicitante/s: Thales Dis France SA. Inventor/es: MILLET, FRANCOIS, BOGUSZ,FRANÇOIS, GLOUSIEAU,JULIEN, EL MAROUANI,ABDELLAH, SINTZOFF,ANDRÉ, LANDIKOV,ILYAS.

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 corrección de código nativo, un elemento añadido o una función añadida en el al menos un elemento de seguridad objetivo que comprende una máquina virtual Java Card y un código nativo, comprendiendo dicho método las siguientes etapas: - proporcionar un archivo CAP modificado compuesto por al menos un componente CAP personalizado que comprende una corrección de código nativo, un elemento añadido o una función añadida al código nativo del al menos un elemento de seguridad objetivo; - extraer dicha corrección de código nativo, elemento añadido o función añadida del componente CAP personalizado; - instalar dicha corrección de código nativo, elemento añadido o función añadida en el código nativo del elemento de seguridad objetivo para corregir el error.

PDF original: ES-2773254_T3.pdf

Procedimiento de visualización, dispositivo y producto programa de ordenador correspondiente.

(27/11/2019) 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 de tipo objeto, tomando un elemento de código fuente la forma de un objeto, procedimiento puesto en práctica en el seno de una aplicación de desarrollo de aplicaciones de software, caracterizado por que el mismo comprende: - una etapa de creación de un árbol sintáctico de jerarquización del citado código fuente, que comprende para cada elemento del citado código fuente, al menos un elemento padre; - una etapa de memorización del citado árbol sintáctico; - una etapa de selección , en el seno del citado…

Sistema y método para implementar directivas de aplicación entre entornos de desarrollo.

(30/10/2019) 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 directiva de seguridad a nivel de aplicación; distribuir los parámetros de la directiva a nivel de aplicación a un espacio aislado de directiva; distribuir porciones de la aplicación a una pluralidad de espacios aislados de desarrollo, estando cada espacio aislado configurado para permitir un desarrollo adicional de la porción de la aplicación distribuida al mismo, donde la pluralidad de espacios aislados de desarrollo: (i) se corresponde con un ID de análisis; y (ii) comprende un primer espacio aislado de desarrollo, correspondiéndose el primer espacio…

Entorno de ensayo susceptible de ser utilizado por varios usuarios para una pluralidad de objetos de ensayo.

(05/06/2019) 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 segunda unidad de realización del caso de ensayo(110B), un primer objeto de ensayo (105A) y un segundo objeto de ensayo (105B), un mecanismo de conexión , el cual está realizado para acoplar opcionalmente la primera unidad de realización del caso de ensayo (110A) o la segunda unidad de realización del caso de ensayo (110B) con el primer objeto de ensayo (105A) y/o con el segundo objeto de ensayo (105B), en donde el entorno de ensayo está configurado de modo que la primera unidad de realización…

Procedimiento y sistema de ayuda a la verificación y a la validación de una cadena de algoritmos.

(17/04/2019) 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…

Simulación y ensayo de aviónica.

(12/04/2019) 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 ejecutadas sobre un sistema diana, en el que el sistema diana es un sistema de control de aviónica distribuido de un vehículo aéreo, en el que cada una de las aplicaciones está dividida en una o más particiones, y en el que cada aplicación comprende una o más tareas, comprendiendo el sistema anfitrión una serie de módulos funcionales, en el que la serie de módulos funcionales comprende: - un módulo de aplicación dispuesto para importar dicha serie de aplicaciones (A1 - A4) particionadas en un formato binario no modificado compilado para el sistema diana, - un módulo de…

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.

(03/04/2019) 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 ; el sistema de gestión de contenido web comprende: - medios de almacenamiento para almacenar datos de contenido de sitios web en forma de objetos de contenido y para almacenar una o más variantes de sitios web, en el que una variante de sitio web define una estructura de una o más páginas web de un sitio web sobre la base de objetos de contenido almacenado, y - medios de representación para crear datos de representación en lenguaje de marcado de una o más páginas web sobre la base de una variante de sitio web y objetos de contenido indicados por la variante de sitio web; el método que comprende: - recibir (S101; S201; S301; S401; S501), en el sistema de gestión de contenido web desde…

Prueba del ciclo de vida.

(03/04/2019) Un sistema de pruebas que comprende: un procesador ; y una memoria acoplada al procesador ,comprendiendo la memoria : un módulo de actualización configurado para recopilar una pluralidad de criterios de rendimiento, una pluralidad de casos de prueba y reglas de vínculo predefinidas para vincular al menos un caso de prueba, de entre la pluralidad de casos de prueba, con uno de la pluralidad de criterios de rendimiento, en una base de datos; y un módulo de actualización configurado para: recibir uno de un criterio de rendimiento modificado asociado con un prototipo actualizado y un criterio de…

Prueba coordinada.

(20/02/2019) Un método de implementación de pruebas coordinadas programadas en una memoria de un dispositivo, que comprende: en un controlador : a. realizar un análisis de prueba previa utilizando una secuencia de comandos de verificación; b. iniciar una prueba utilizando una secuencia de comandos de ejecución ; c. monitorizar la prueba utilizando una secuencia de comandos de monitorización ; y d. realizar análisis posterior al procesamiento utilizando una secuencia de comandos de análisis, en donde la secuencia de comandos de verificación, la secuencia de comandos de monitorización y la secuencia de comandos…

Bloque de diagnóstico de transacción.

(14/11/2018) 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: un medio de almacenamiento legible por ordenador, legible por un circuito de procesamiento y que almacena instrucciones para su ejecución por parte del circuito de procesamiento para llevar a cabo un método que comprende: detectar, mediante un procesador, una cancelación de una transacción, comprendiendo la transacción una o más instrucciones; siendo la transacción una transacción anidada; en el que una condición de cancelación a cualquier profundidad de anidamiento provoca la interrupción de todos los niveles de la transacción;…

Procedimiento de optimización dinámica de una arquitectura de herramientas de ensayos de sistema.

(16/05/2018) 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 circuito de cálculo FPGA que alberga funciones aviónicas o modelos aviónicos y que comunica a través de un Bus digital , estando dedicado dicho procedimiento a optimizar la ejecución de los tratamientos de funciones de ensayos, principalmente sobre bancos de ensayos, caracterizado porque consiste en reconfigurar, si es necesario, dicha arquitectura según las etapas siguientes: - a) utilizar un conjunto de reglas de ejecución (R1) para los procesos ejecutados sobre el (los) circuito(s) de cálculo FPGA y sobre el (los) calculador(es)…

Creación de símbolos inferidos a partir del uso de código.

(25/04/2018). Solicitante/s: Microsoft Technology Licensing, LLC. Inventor/es: LIU,KAREN, PILCH-BISSON,KEVIN.

Un sistema para el desarrollo de programas interactivo, que comprende: un editor de código fuente adaptado para recibir el código fuente introducido por un usuario; un compilador en segundo plano adaptado para generar una estructura de datos que representa el código fuente mientras el usuario introduce el código fuente en el editor de código fuente, siendo la estructura de datos una de entre un árbol de sintaxis, un árbol semántico y una tabla de símbolos; y un módulo adaptado para monitorizar el código fuente introducido, para detectar al menos un símbolo no declarado, para deducir que se necesita una declaración para el símbolo no declarado, para crear un símbolo inferido para cada símbolo no declarado detectado, y para añadir el al menos un símbolo inferido a la estructura de datos, en el que el al menos un símbolo inferido representa uno de entre una clase, una estructura, un procedimiento y una propiedad.

PDF original: ES-2674140_T3.pdf

Procedimiento y sistema de alineación de trazas entre subprocesos para un procesador de subprocesos múltiples.

(18/04/2018) Un procedimiento para la alineación de temporización de trazas entre subprocesos entre los subprocesos de un procesador de subprocesos múltiples durante un proceso de rastreo de ejecución, que comprende: registrar los datos de temporización relacionados con un evento predeterminado común, referenciándose dichos eventos predeterminados comunes por todos los subprocesos de funcionamiento de dicho procesador de subprocesos múltiples durante el rastreo de ejecución del procesador de núcleo ; referenciar un momento en el que un subproceso inicia el rastreo de ejecución a dicho evento predeterminado común para mantener el tiempo del rastreo de ejecución…

Desempaquetado automatizado de archivos ejecutables portátiles.

(05/07/2017) Un método implementado por ordenador que comprende: ajustar, mediante un dispositivo informático, un punto de interrupción de depuración en una dirección de punto de entrada original de un archivo ejecutable portátil (PE) empaquetado para permitir que la ejecución del archivo PE empaquetado sea suspendida anterior a controlar que se pase al archivo ejecutable incorporado dentro del archivo PE empaquetado; ejecutar, mediante el dispositivo informático, un proceso de depuración para el archivo ejecutable portátil empaquetado incluyendo al menos parcialmente desempaquetar el archivo PE empaquetado para obtener un archivo ejecutable…

Dispositivo de circuitos de control de electrónica de potencia.

(16/11/2016) Dispositivo de circuitos de control de electrónica de potencia que comprende las entidades físicas de hardware distintas siguientes que se comunican entre sí, que aseguran una mejora de la segregación de funcionamiento de dichas entidades de físicas hardware y un comportamiento determinista: - una unidad digital de microcontrolador (UNMC) configurada para gestionar el funcionamiento del dispositivo, y endurecida para resistir los efectos de las radiaciones en el espacio; - una unidad digital de ajuste rápido (UNRR) configurada para controlar procesos prioritarios y tiempo real, y endurecida para resistir los efectos de las radiaciones en el espacio; …

Circuito de depuración de comparación de modo operativo de un conjunto de instrucciones de procesador.

(25/05/2016). Solicitante/s: QUALCOMM INCORPORATED. Inventor/es: STEMPEL,BRIAN MICHAEL, SMITH,RODNEY WAYNE, SARTORIUS,THOMAS ANDREW, BURKE,KEVIN CHARLES, STREETT,DAREN EUGENE, SAPP,KEVIN ALLEN, DEBRUYNE,LESLIE MARK, RIZK,NABIL AMIR.

Un procedimiento para la depuración de código de software que comprende una pluralidad de instrucciones en un procesador que tiene al menos dos modos operativos de conjuntos de instrucciones diferentes, caracterizado por que comprende: recibir un modo operativo de conjunto de instrucciones objetivo antes de ejecutar cualquier instrucción de código; ejecutar instrucciones de código y, para cada instrucción ejecutada, comparar el modo operativo del conjunto de instrucciones del procesador actual con el modo operativo del conjunto de instrucciones objetivo; y desencadenar una alerta si el modo operativo del conjunto de instrucciones del procesador actual coincide con el modo operativo del conjunto de instrucciones objetivo.

PDF original: ES-2588185_T3.pdf

Método para acceder a elementos de interfaz de usuario de aplicaciones de terceros en ejecución en dispositivo móvil basado en Symbian.

(22/01/2016) Un método para monitorizar y acceder a elementos de Interfaz de Usuario de una aplicación de terceros actualmente en ejecución en un dispositivo basado en Sistema Operativo (OS) Symbian, que comprende: (a) cargar un segmento de código a través de una Biblioteca Dinámicamente Cargada de Procesador Frontal (DLL de FEP) en el espacio de proceso de dicha aplicación actualmente en ejecución; (b) ejecutar, por medio de dicho segmento de código, una llamada de Interfaz de Programación de Aplicación (API) de Symbian para encontrar el manejador de objeto del Elemento de Interfaz de Usuario (UIE) que tiene el foco superior en la pantalla de dispositivo actualmente visible; …

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.

(10/02/2011) 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 describen un dispositivo de prueba conectado a una base de datos de casos de pruebas que obtiene un plan de casos de prueba cualificados a partir de dicha base de datos, un método y un medio legible por ordenador. El dispositivo de prueba consta de un módulo de reglas, otro de selección y otro de modulación. El módulo de reglas está adaptado para establecer diversas reglas de prueba. El módulo de selección está pensado para elegir un caso de prueba adecuado que cumpla los requisitos de una regla de prueba en particular y para seleccionar casos de prueba adecuados para cada regla de prueba. El módulo de selección está también adaptado para confeccionar un diagrama…

HERRAMIENTA DE PROGRAMACION.

(01/03/2005) Procedimiento para generar una interrupción de programa dentro de una lógica de programa con operadores y operandos para controlar y/o regular un proceso técnico en el que se ejecutan los siguientes pasos: - generación de una lista de identificadores preferentemente completa de los identificadores de operandos usados dentro de la lógica del programa y de sus puntos de uso correspondientes dentro de la lógica de programa durante la compilación de la lógica de programa y - el almacenamiento en la memoria intermedia de dicha lista de identificadores para el siguiente procesamiento, de tal forma - que se pueda seleccionar una selección de dichos identificadores de operandos y que con la ayuda de esta selección - se genere una tabla de operandos que presente los operandos usados en relación con el correspondiente tipo y/o anchura del acceso correspondiente, ofreciéndose…

PROCEDIMIENTO Y SISTEMA PARA GENERAR AUTOMATICAMENTE CASILLAS DE PRUEBA EFICACES PARA PROBAR SISTEMAS DE SOFTWARE.

(01/02/2002). Solicitante/s: TELCORDIA TECHNOLOGIES, INC.. Inventor/es: COHEN, DAVID, MORDECAI, DALAL, SIDDHARTHA, RAMANLAL, FREDMAN, MICHAEL, LAWRENCE, PATTON, GARDNER, CONDE.

SE PRESENTA UN METODO Y UN SISTEMA PARA ENUMERAR UN NUMERO MINIMO DE CASOS DE PRUEBA PARA SISTEMAS CON ELEMENTOS INTERACTIVOS QUE OPERA LAS RELACIONES ENTRE LOS ELEMENTOS Y EL NUMERO DE CARACTERISTICAS EVALUADAS PARA CADA ELEMENTO. EN NUESTRO METODO DE LA INVENCION EJECUTADO EN UN SISTEMA DE ORDENADOR , EL USUARIO INTRODUCE VALORES PARA CADA UNO DE LOS ELEMENTOS Y LUEGO DEFINE LAS RELACIONES ENTRE LOS ELEMENTOS. NUESTRO METODO ENUMERA ENTONCES UNA TABLA DE CASOS DE PRUEBA PARA CADA RELACION ENTRE LOS ELEMENTOS UTILIZANDO PROCEDIMIENTOS DETERMINISTICOS, CUANDO FUERAN APLICABLES, Y PROCEDIMIENTOS ALEATORIOS CUANDO LOS PROCEDIMIENTOS DETERMINISTICOS NO SON APLICABLES. DESPUES SE GENERA UNA TABLA DE CASOS DE PRUEBA PARA CADA UNA DE LAS RELACIONES, NUESTRO METODO DE LA INVENCION COMBINA LAS RELACIONES EN UNA TABLA SIMPLE DE CASOS DE PRUEBA.

Utilizamos cookies para mejorar nuestros servicios y mostrarle publicidad relevante. Si continua navegando, consideramos que acepta su uso. Puede obtener más información aquí. .