Buscar


Mostrar el registro sencillo del ítem

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


Ficheros en el ítem

Thumbnail
Nombre: RI000142.pdf
Tamaño: 2.115Mb
Formato: PDF
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem