Saltar al contenido principal

Únase a nosotros el 30 de abril: Presentación de la prueba CT de Parasoft C/C++ para pruebas continuas y excelencia en el cumplimiento | Regístrese ahora

Imagen de personas en un entorno de trabajo de espacio abierto con computadoras y escritorios.

Innovación y premios

Explore nuestros premios y patentes

Premios y galardones

Okeanos

11,836,068

SISTEMA Y MÉTODO PARA RECOMENDAR CORRECCIONES DE ANÁLISIS ESTÁTICO

11,656,976

SISTEMA Y MÉTODO PARA RECOMENDACIONES DE LOCALIZACIÓN DE ELEMENTOS PARA UNA APLICACIÓN DE UI

11,507,495

SISTEMA Y MÉTODO PARA ANÁLISIS DE IMPACTO DE PRUEBAS DE PROGRAMAS DE COMPUTADORA

11,385,988

SISTEMA Y MÉTODO PARA MEJORAR LOS RESULTADOS DE UN ANÁLISIS DE CÓDIGO ESTÁTICO BASADO EN LA PROBABILIDAD DE UN VERDADERO ERROR

5,581,696

MÉTODO UTILIZAR UNA COMPUTADORA PARA INSTRUMENTAR AUTOMÁTICAMENTE UN PROGRAMA DE COMPUTADORA DE DEPURACIÓN DINÁMICA

5,761,408

MÉTODO Y SISTEMA PARA GENERAR UN PROGRAMA DE COMPUTADORA TEST SUITE USANDO EJECUCIÓN SIMBÓLICA DINÁMICA

5,784,553

MÉTODO Y SISTEMA PARA GENERAR UN PROGRAMA DE COMPUTADORA TEST SUITE UTILIZANDO LA EJECUCIÓN SIMBÓLICA DINÁMICA DE PROGRAMAS JAVA

5,842,019

MÉTODO Y SISTEMA PARA DETECTAR DINÁMICAMENTE ESPACIO DE MEMORIA CON FUGAS EN UN PROGRAMA DE COMPUTADORA

5,860,011

MÉTODO Y SISTEMA PARA VERIFICAR AUTOMÁTICAMENTE LA CALIDAD DEL CÓDIGO FUENTE DEL ORDENADOR BASADO EN REGLAS

6,085,029

MÉTODO UTILIZAR UNA COMPUTADORA PARA INSTRUMENTAR AUTOMÁTICAMENTE UN PROGRAMA DE COMPUTADORA DE DEPURACIÓN DINÁMICA

6,473,896

MÉTODO Y SISTEMA PARA GENERAR GRÁFICAMENTE REGLAS DEFINIDAS POR EL USUARIO PARA VERIFICAR LA CALIDAD DEL LENGUAJE

6,806,893

SISTEMA Y MÉTODO PARA MOSTRAR BOTONES TRIDIMENSIONALES SIMULADOS EN UNA INTERFAZ GRÁFICA DE USUARIO

6,718,485

HARDWARE DE EMULACIÓN DE SOFTWARE PARA ANALIZAR REFERENCIAS DE MEMORIA DE UN PROGRAMA DE COMPUTADORA

D503179

DISEÑO: ICONO GENERADO POR COMPUTADORA TRIDIMENSIONAL PARA UNA PANTALLA DE VISUALIZACIÓN

6,895,578

MODULARIZAR UN PROGRAMA DE COMPUTADORA PARA PRUEBAS Y DEPURACIÓN

7,010,546

MÉTODO Y SISTEMA PARA PROBAR FUENTES DE DATOS Y APLICACIONES DE SOFTWARE ORIENTADAS A BASES DE DATOS

7,028,223

SISTEMA Y MÉTODO DE PRUEBA DE SERVICIOS WEB

7,266,808

MÉTODO Y SISTEMA PARA INVOCAR DINÁMICAMENTE Y / O VERIFICAR LAS CONDICIONES DE UN PROGRAMA DE PRUEBA DE COMPUTADORA

7,392,507

MODULARIZAR UN PROGRAMA DE COMPUTADORA PARA PRUEBAS Y DEPURACIÓN

7,596,778

MÉTODO Y SISTEMA DE PREVENCIÓN AUTOMÁTICA DE ERRORES PARA SOFTWARE DE COMPUTADORA

7,620,939

CONFIGURACIÓN AUTOMÁTICA DE CONTROLES DE PRUEBA DE REGRESIÓN

7,680,752

SISTEMA Y MÉTODO DE GESTIÓN PREDICTIVA DE PROCESOS

7,721,154

SISTEMA Y MÉTODO PARA PRUEBAS DE TIEMPO DE EJECUCIÓN DEL SOFTWARE

7,877,780

SISTEMA Y MÉTODO PARA CUMPLIR LA FUNCIONALIDAD DEL SOFTWARE DE COMPUTADORAS MEDIANTE POLÍTICAS

7,900,193

SISTEMA Y MÉTODO PARA DETECTAR DEFECTOS EN UN PROGRAMA DE COMPUTADORA UTILIZANDO EL ANÁLISIS DE FLUJO DE CONTROL Y DATOS

7,904,802

SISTEMA Y MÉTODO PARA LA REVISIÓN DEL CÓDIGO DE SOFTWARE

7,908,590

SISTEMA Y MÉTODO PARA LA CREACIÓN AUTOMÁTICA DE CASOS DE PRUEBA A TRAVÉS DE UN CLIENTE REMOTO

8,001,532

SISTEMA Y MÉTODO PARA GENERAR CASOS DE PRUEBA BASADOS EN CÓDIGOS FUENTES

8,032,863

SISTEMA Y MÉTODO PARA LA INFORMACIÓN DE GRUPOS GLOBALES

8,127,275

SISTEMA Y MÉTODO DE REGISTRO DEL ESTADO DE VARIABLES Y OBJETOS AL REALIZAR PRUEBAS DE UNIDAD

8,205,191

SISTEMA Y MÉTODO PARA PRUEBAS BASADAS EN CAMBIOS

8,448,148

DETECCIÓN DE DEADLOCKS O CONDICIONES DE CARRERA EN SISTEMAS FÍSICOS MEDIANTE PRUEBAS DE CARGA

8,510,716

SISTEMA Y MÉTODO PARA VALIDAR SIMULTÁNEAMENTE UNA APLICACIÓN DE CLIENTE / SERVIDOR DEL LADO DEL CLIENTE Y DEL LADO DEL SERVIDOR

8,656,364

SISTEMA Y MÉTODO PARA EL CUMPLIMIENTO DE LAS NORMAS EMPRESARIALES MEDIANTE ANÁLISIS ESTÁTICO

8,732,676

SISTEMA Y MÉTODO DE GENERACIÓN DE PRUEBA DE UNIDAD EN BASE A CAMINOS DE EJECUCIÓN REGISTRADOS

9,672,481

SISTEMA Y MÉTODO PARA EL SEGUIMIENTO AUTOMÁTICO DEL ESTADO GENERAL DE UN PROYECTO DE SOFTWARE

9,697,109

DOBLES DE PRUEBA DINÁMICAMENTE CONFIGURABLES PARA PRUEBAS Y VALIDACIÓN DE SOFTWARE

D503179

DISEÑO: ICONO GENERADO POR COMPUTADORA TRIDIMENSIONAL PARA UNA PANTALLA DE VISUALIZACIÓN

10,248,545

MÉTODO PARA SEGUIMIENTO DE LA ATRIBUCIÓN DE FUENTE DE ALTO NIVEL DEL CÓDIGO DE IDIOMA DE ENSAMBLAJE GENERADO

Alcance sus objetivos de calidad y seguridad de software en todo momento.

Contáctenos