Complutense University Library

Cotas asintóticas de coste

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

[img]
Preview
PDF
2MB
View download statistics for this eprint

==>>> Export to other formats

Abstract

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.


Item Type:Trabajo Fin de Máster
Additional Information:

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

Directors:
DirectorsDirector email
Albert Albiol, Elvira
Arenas Sánchez, Purificación
Uncontrolled Keywords: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
Subjects:Sciences > Computer science > Computer programming
ID Code:9911
Deposited On:01 Feb 2010 09:48
Last Modified:06 Feb 2014 08:34

Repository Staff Only: item control page