Biblioteca de la Universidad Complutense de Madrid

Cotas asintóticas de coste

Impacto



Alonso Blas, Diego Esteban (2009) Cotas asintóticas de coste. [Trabajo Fin de Máster]

[img]
Vista previa
PDF
2MB


Resumen

La complejidad asintótica de un programa describe la escalabilidad de su coste de ejecución. Observa su comportamiento cuando procesa datos arbitrariamente grandes y considera semejantes dos programas cuyos costes crecen de manera similar. Existen algunos analizadores automáticos de coste que, cuando se emplean para procesar programas reales, generan funciones no asintóticas de coste demasiado complejas para su uso práctico. En este trabajo desarrollamos e implementamos un algoritmo capaz de simpli-
ficar esas funciones a su forma asintótica, más compacta y manejable.Hemos integrado dicho algoritmo en un resolutor de ecuaciones, capaz de generar directamente funciones asintóticas sin necesidad de calcular las no asintóticas; lo que en nuestras pruebas experimentales ha resultado ser
más eficaz. Ello permite mejorar la escalabilidad de los analizadores de coste, un aspecto crucial para su uso industrial.
[ABSTRACT]
Asymptotic complexity analysis is used for describing programs' excution cost scalability, by observing its behaviour when processing large input data and considering as equivalent two programs whose costs grow at the same
rate. There are non-asymptotic cost analyzers which, when used over realistic programs, provide complex non-asymptotic cost functions that can't be used in some practical applications. That's why we have developed an algorithm that simplifies a cost function to its asymptotic form, more compact and manageable. We have integrated that algorithm into a cost analyzer, and now it generates asymptotic functions without having to firstly compute their non-asymptotic counterparts, a process that our experiments show to be more effcient. This allows us to improve cost analyzers' scalability, a concerning issue for its application in software industry.


Tipo de documento:Trabajo Fin de Máster
Información Adicional:

Máster en Investigación en Informática, Facultad de Informática, Departamento de Ingeniería del Software e Inteligencia Artificial, curso 2008-2009

Directores (o tutores):
NombreEmail del director (o tutor)
Albert Albiol, Elvira
Arenas Sánchez, Purificación
Palabras clave:Análisis de Coste, Análisis Estático de Programas, Análisis Automático de Complejidad, Cotas Superiores en Forma Cerrada Interpretación Abstracta, Código con Certificados, Lenguajes de Programación, Código Byte de Java, Órdenes de Complejidad Asintótica, Cost Analysis, Static Program Analysis, Automatic Complexity Analysis, Closed-Form Upper Bounds, Abstract Interpretation, Proof Carrying Code, Programming Languages, Java Bytecode, Asymptotic Complexity Order
Materias:Ciencias > Informática > Programación de ordenadores
Código ID:9911
Depositado:01 Feb 2010 09:48
Última Modificación:06 Feb 2014 08:34

Sólo personal del repositorio: página de control del artículo