Tools
(:nl:)Safira
Safira is a change impact analyzer tool. It analyzes two versions of a program (original and modified) and yields the set of methods impacted by the change. Safira decomposes a coarse-grained transformation into smaller transformations. For each small-grained transformation, it identifies the set of impacted methods using laws that formalize their impact. Moreover, it also identifies the methods that exercise an impacted method directly or indirectly.
More Information:
Safe Refactor
Program refactorings in IDEs are commonly implemented in an ad hoc way, since checking correctness with respect to a formal semantics is prohibitive. These tools may perform erroneous transformations, not preserving behavior. Safe Refactor is an Eclipse Plugin for verifying the safety of Eclipse refactorings on sequential Java Program. It is based on our technique for generating tests in order to find behavioral changes in automated refactored programs transformed by well-known tools, such as Eclipse, JBuilder, IntelliJ or Netbeans
More Information: *Safe Refactor Home Page
JDolly
JDolly is a Java program generator useful for performing the test input generation. It generates Java programs from a Java metamodel specification. It contains a subset of the Java metamodel specified in Alloy, a formal specification language. It employs the Alloy Analyzer, a tool for the analysis of Alloy models, to generate solutions for this metamodel. Each solution is translated into a Java program. In JDolly, the user can specify the maximum number (scope) of packages, classes, fields, and methods for the generated programs. The tool exhaustively generates programs for a given scope.
More Information: *https://bitbucket.org/gustavoasoares/jdolly
Colligens
A Software Product Line (SPL) is a set of products developed from reusable assets. These products share a common platform and we can customize them for specific customers. In an SPL, developers use the concept of features. They are the semantic units by which we can differentiate products. In C programming, we can implement features by mapping them to preprocessor directives, such as #ifdef and#endif. In this context, although there are tools to deal with C preprocessors and SPLs, they are not integrated, which hinders their usage in product line development. In this paper, we propose a tool that provides an integrated environment based on the Eclipse platform to support the development of preprocessor-based SPLs in C. Thus, developers can create feature models, analyze SPL statistics, and generate SPL products automatically after checking for the absence of invalid products.
More Information: *Colligens Website (:nl:)
