VERIFICACION DEL SOFTWARE DE UN ORDENADOR.
EL CODIGO FUENTE DE UN PROGRAMA DE ORDENADOR QUE TIENE UN FORMATO CONOCIDO ESTA DIVIDIDO EN UNIDADES Y VERIFICADO,
UNIDAD POR UNIDAD, POR INSTRUMENTACION AUTOMATICA DEL CODIGO Y GENERACION DE UN PROGRAMA COMPROBADOR DE EJECUCION QUE EJECUTA TODAS LAS SUBDIVISIONES DE UNA UNIDAD DE CODIGO INSTRUMENTADA. SE USAN PROCESADORES PARA GENERAR EL PROGRAMA COMPROBADOR DE EJECUCION Y PARA NORMALIZAR EL FORMATO DEL CODIGO E INSERTAR SENTENCIAS DE SEGUIMIENTO EJECUTABLES DENTRO DE CADA BLOQUE DE CODIGO REFORMADO ENTRE LAS SENTENCIAS DE CONTROL. UN PSEUDOCODIGO QUE TIENE SOLAMENTE SENTENCIAS CONTROL Y TABLAS QUE IDENTIFICAN LAS UNIONES VALIDAS ENTRE BLOQUES DE CODIGO ES GENERADO POR OTRO PROCESADOR PARA SER USADO POR UN VERIFICADOR SELECCIONANDO VALORES DE VARIABLES DE ENTRADA Y SALIDA PREVISTOS PARA CASOS DE COMPROBACION QUE EJECUTAN CADA BLOQUE DEL CODIGO EN UNA UNIDAD SELECCIONADA. LOS RESULTADOS DE LA COMPROBACION SE IMPRIMEN INDICANDO LA SECUENCIA DE UNION DE BLOQUES GENERADA POR CADA CASO DE COMPROBACION, LOS VALORES PREVISTOS DE SALIDA Y LOS VALORES ACTUALES DE SALIDA.
Tipo: Resumen de patente/invención.
Solicitante: WESTINGHOUSE ELECTRIC CORPORATION.
Nacionalidad solicitante: Estados Unidos de América.
Dirección: WESTINGHOUSE BUILDING GATEWAY CENTER, PITTSBURGH PENNSYLVANIA 15222.
Inventor/es: DELUCIA, R. RALPH, CASTEEL, ERIC PHILLIP, WOLF, DANIEL JOSEPH.
Fecha de Publicación: .
Fecha Concesión Europea: 15 de Septiembre de 1993.
Clasificación Internacional de Patentes:
- G06F11/00 FISICA. › G06 CALCULO; CONTEO. › G06F PROCESAMIENTO ELECTRICO DE DATOS DIGITALES (sistemas de computadores basados en modelos de cálculo específicos G06N). › 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).
Patentes similares o relacionadas:
Detección de daño de pantalla para dispositivos, del 8 de Julio de 2020, de Hyla, Inc: Un procedimiento para identificar una condición de una o más pantallas de un dispositivo electrónico, comprendiendo el procedimiento: recibir una solicitud […]
Sistema electrónico que comprende dispositivos electrónicos, disyuntor que comprende dicho sistema, procedimiento de generación de un indicador de desviación en caso de incompatibilidad entre dispositivos y producto de programa de ordenador asociado, del 15 de Enero de 2020, de SCHNEIDER ELECTRIC INDUSTRIES SAS: Sistema electrónico que comprende un conjunto de dispositivos (12A, 12B, 12C, 12D) electrónicos, comprendiendo cada dispositivo (12A, 12B, 12C, 12D) […]
UN MÉTODO Y UN DISPOSITIVO DE PROCESAMIENTO EN PARALELO DE INSTRUCCIONES DE PROGRAMA E INSTRUCCIONES DE TRAZA, del 26 de Septiembre de 2019, de UNIVERSIDAD POLITECNICA DE MADRID: Método y dispositivo de sincronización y ejecución paralela de instrucciones de traza sobre un procesador RISC segmentado. La invención consiste en un dispositivo cuya estructura […]
Sistema y método de calificación para el funcionamiento de plantas de agua helada, del 26 de Junio de 2019, de SIEMENS INDUSTRY, INC: Programa informático integrado en un medio tangible para determinar uno o más efectos de los cambios en una planta de agua helada, que consta […]
Sistema de ciberseguridad, del 29 de Mayo de 2019, de Ironnet Cybersecurity, Inc: Un sistema de ciberseguridad para procesar eventos para producir puntajes, alertas y acciones de mitigación, el sistema que comprende: una pluralidad de […]
Predicción, diagnóstico y recuperación de fallos de aplicaciones en base a patrones de acceso a recursos, del 1 de Mayo de 2019, de Microsoft Technology Licensing, LLC: Un procedimiento implementado por ordenador, para predecir una posible condición de error en un programa de aplicación que se ejecuta […]
PROCEDIMIENTO PARA CONTROL DE DISPOSITIVOS ELECTRODOMÉSTICOS E INSTALACIÓN PARA LLEVARLO A CABO, del 7 de Febrero de 2019, de NUBE PRINT, S.L: Procedimiento e instalación para el control de dispositivos electrodomésticos que emplea sólo los datos necesarios, evitando la saturación de las memorias de los elementos […]
UN MÉTODO Y UN DISPOSITIVO DE PROCESAMIENTO EN PARALELO DE INSTRUCCIONES DE PROGRAMA E INSTRUCCIONES DE TRAZA, del 24 de Enero de 2019, de UNIVERSIDAD POLITECNICA DE MADRID: Método y dispositivo de sincronización y ejecución paralela de instrucciones de traza sobre un procesador RISC segmentado. La invención consiste en un dispositivo cuya estructura […]