Resumen:
Traits es un nuevo concepto en la programación orientada a objetos que extiende a la herencia simple permitiendo compartir comportamiento entre clases utilizando composición. Debido a tratarse de un nuevo modelo de programación, es necesario el estudio de sus distintas características para detectar sus fortalezas y debilidades, como así también resulta necesario el desarrollo de herramientas que ayuden en su introducción y utilización efectiva. Entre las características a estudiar se encuentra la identificación de errores específicos del uso de Traits y la factibilidad de detectarlos y corregirlos automáticamente por medio de una herramienta. Esta tesis identifica distintos tipos de errores específicos cuando se usan los Traits y los clasifica según el elemento generador dicho tipo de error. Con ese estudio se logró también definir con mayor rigurosidad las características sintácticas y semánticas de los elementos que conforman los Traits. También se presenta la implementación de una herramienta de chequeo estático de código basada en Smalllint para detectar los errores específicos de Traits detallados en el trabajo de investigación como así también cambios al ambiente de Pharo que mejoran la implementación de este modelo. Por último se presenta el análisis de los resultados de utilizar la herramienta de chequeo estático de código en muestras reales de programas implementados utilizando Traits.
Abstract:
Traits is a new concept on object-oriented programming which extends simple inheritance and lets the programmer share behavior between classes using composition. Since Traits is a new programming model, an analysis of its characteristics is needed to detect its strengths and weaknesses. It is also needed to develop tools to help its addition and effective use. One of Traits characteristics to study is the identification of errors generated by Traits use and the feasibility of their detection and their correction using and automatic tool. This thesis identifies several Traits specific error types and classifies them according to the Traits element which generates the error. This study also achieves a more strict definition of the syntactic and semantic characteristics of the Traits elements. It also presents a tool implementation for static code checking based on Smallint for detecting the Traits errors described in the previous research and changes to Pharo to improve its Traits model implementation. Lastly, this thesis also presents an analysis of the static code checking tool used on real code samples implemented using Traits.
Citación:
---------- APA ----------
Aizcorbe, Juan Sebastian. (2012). Static code validation for traits. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000741_Aizcorbe
---------- CHICAGO ----------
Aizcorbe, Juan Sebastian. "Static code validation for traits". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2012.https://hdl.handle.net/20.500.12110/seminario_nCOM000741_Aizcorbe
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000741_Aizcorbe.pdf
Distrubución geográfica
