Análisis estático en tiempo de codificación con eclipse CDT

Felipe Antonio Martínez Figueroa

Buscar

dc.rights.license	http://creativecommons.org/licenses/by-nd/4.0	es_ES
dc.contributor	Marco Antonio Aceves Fernández	es_ES
dc.creator	Felipe Antonio Martínez Figueroa	es_ES
dc.date	2012-01
dc.date.accessioned	2016-08-08T17:40:58Z
dc.date.available	2016-08-08T17:40:58Z
dc.date.issued	2012-01
dc.identifier	142 - RI000141.pdf	es_ES
dc.identifier.uri	https://ri-ng.uaq.mx/handle/123456789/7224
dc.description	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%.	es_ES
dc.format	Adobe PDF	es_ES
dc.language.iso	spa	es_ES
dc.publisher	Universidad Autónoma de Querétaro	es_ES
dc.relation.requires	No	es_ES
dc.rights	Acceso Abierto	es_ES
dc.subject	Eclipse CDT	es_ES
dc.subject	Análisis estático	es_ES
dc.subject	Lenguaje de programación C	es_ES
dc.title	Análisis estático en tiempo de codificación con eclipse CDT	es_ES
dc.type	Tesis de maestría	es_ES
dc.contributor.role	Director	es_ES
dc.degree.name	Maestría en Ingeniería de Software Distribuido	es_ES
dc.degree.department	Facultad de Informática	es_ES
dc.degree.level	Maestría	es_ES