Research Areas And Projects
(:nl:) Projects
* '''Title''': Making Program Refactoring Safer * '''Abstract''': Developers rely on compilation, test suite and tools to preserve observable behavior during refactoring. However, most of the refactoring tools do not implement all preconditions that guarantee the refactoring correctness, since formally identifying them is cost-prohibitive. Therefore, these tools may perform non-behavior preserving transformations. We aim at building a tool for improving safety during refactoring object oriented and aspect oriented refactorings.
* '''Title''': A Language to Specify Design Rules for Aspect Oriented Programming * '''Abstract''': Despite Aspect Oriented Programming modularize program’s crosscutting concerns it can break class modularity in certain circumstances. In this case, classes must known what aspects interfere on its functionalities. It was observed that design rules can mitigate the coupling between aspects and classes. This project proposes a language to specify design rules and declare the dependences between classes and aspects. We’ve developed a tool to automatically check if the design rules are been followed.
* '''Title''': Proposal and Analysis of Restriction Solvers * '''Abstract''': Symbolic execution generates constraints according to program’s paths and their restrictions. One way to reduce the cost of testing is the assignment of values which satisfy constraints generated by symbolic execution of programs. However, some programs contain complex constraints that current constraint solvers do not support. This project proposes and evaluates three constraint solvers that aim to mitigate this problem, increasing the number of complex constraints solved. Therefore, tests coverage can be improved. (:nl:)
