Por favor, use este identificador para citar o enlazar este ítem: https://ri-ng.uaq.mx/handle/123456789/7224
Título : Análisis estático en tiempo de codificación con eclipse CDT
Autor: Felipe Antonio Martínez Figueroa
Palabras clave : Eclipse CDT
Análisis estático
Lenguaje de programación C
Fecha de publicación : ene-2012
Editorial : Universidad Autónoma de Querétaro
Facultad: Facultad de Informática
Prográma académico: Maestría en Ingeniería de Software Distribuido
Resumen: El longevo lenguaje de programación C es ampliamente utilizado en nuestros días para la implantación de soluciones Linux y de sistemas embebidos compactas y eficientes. Sin embargo incluso para los ingenieros de software más experimentados es difícil evitar los modos de falla que tienen que ver con lo no especificado y lo dependiente de la implementación del lenguaje. En el presente trabajo de investigación se utiliza un subconjunto del lenguaje C basado en mediciones para el desarrollo y evaluación de una solución de análisis estático con bajo nivel de ruido basada en Eclipse CDT. La solución desarrollada muestra tasas de falsos positivos menores al 10%.
URI : https://ri-ng.uaq.mx/handle/123456789/7224
Otros identificadores : 142 - RI000141.pdf
Aparece en las colecciones: Maestría en Ingeniería de Software Distribuido

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
RI000142.pdf2.17 MBAdobe PDFVista previa
Visualizar/Abrir


Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.