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(es): | 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 |
Programa 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: | Maestría en Ingeniería de Software Distribuido |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
RI000142.pdf | 2.17 MB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.