| Login | | ¿Todavía no tienes una cuenta? Puedes crearte una. Como usuario registrado tendrás ventajas como seleccionar la apariencia de la página, configurar los comentarios y enviar los comentarios con tu nombre. |
|
| Artículos antiguos | | Wednesday, 01 March | | · | Fotos de la visita de l'Alba del 23 al 26 de Febrer |
| Thursday, 26 January | | · | Visita a Edimburg 21/01/06 |
| Monday, 02 January | | · | Vídeo festa de cap d'any 2005 |
| Tuesday, 22 November | | · | Fotos visita de Joan, Clara i Alba & Visita Dani & Dublin (amb Rudi i Antonio) |
| Saturday, 22 October | | · | Fotos de Stoneheige, Salisbury i de l'Escola de Comunitat |
| Sunday, 09 October | | · | Visita al Windsor Castle 08/10/2005 |
| Saturday, 08 October | | · | Fotos de l'Habitació |
| Wednesday, 05 October | | · | Visita a londres 01/10/2005 |
| Monday, 26 September | | · | Primera notícia des de Reading |
| Sunday, 11 September | | · | ¡Inauguración de www.poveravoce.net! |
|
|
 | |
PFC - Projecte Final de Carrera
|
Posted on Wednesday, 12 April a las 10:17:38
Topic: Celebración / Fiesta
|
Per fi he acabat el PFC, i juntament amb ell la carrera! He penjat el meu projecte de final de carrera a la secció de descàrregues. El projecte tracta sobre com mantenir les asercions després d'un procés de refactoring donat. Faig un primer estudi sobre el tema, creo una primera classificació en funció de refactorings respecte el seu manteniment d'assercions, proposo un patró per clasificar-los i finalment dono les solucions per a alguns d'ells.
El document en PDF el teniu aquí:
Maintenance of Assertions Consistency Across Code Refactorings (PDF)
I aquí teniu un link per a accedir a la documentació complerta amb els codi font de l'aplicació prova:
Explorador de fitxers
Cliqueu a "leer más" per a llegir la introducció del projecte
Abstract
Assertions are formal constraints which are inserted as annotations in a source
program text. Assertions are widely used in the software industry today, primarily
to detect, diagnose and classify programming errors during testing. If a source
program has been annotated with assertions, and the code was subjected to
refactoring, then it is natural that the original assertions would no longer be
consistent with the refactored code. The main focus of this dissertation is to
specify how to maintain the assertion consistency through the refactoring process.
In order to do this task properly, we also considered design-by-contract as a
powerful tool to decide whether assertions were maintained or not.
We created a novel refactoring classification depending on their assertion
maintenance. We found there are some refactorings which are automatically
maintained (see 3.3.1. Trivial assertion maintenance), some which require
changes (see 3.3.2. Refactorings which require changes) and finally some that
need the intervention of the programmer because they can not be automated (see
3.3.3. Refactorings which require assertion redefinition). We also described a
schema to be able to decide if a given refactoring can be maintained and how to
maintain it (see 3.4). In particular, we detailed and demonstrated the steps
required to maintain the assertions through Pull Up Field, Pull Up Method and Self
Encapsulate Field refactorings which we called Augmented Refactoring Steps.
To maintain Self Encapsulate Field refactoring we created and demonstrated a
procedure for extracting the precondition of a setting method from the class
invariant (see chapter 5). This procedure can be helpful to maintain future
refactorings, but it also can be helpful in many other areas such as Artificial
Intelligence where data extraction from predicates is very common.
Finally we implemented a small package in order to demonstrate the precondition
extraction procedure was possible to implement. This package can be used in time
to integrate the Augmented Refactoring Steps in any current refactoring tool, such
as Eclipse or NetBeans.
Josep Coves Barreiro
|
|
|
