-
Notifications
You must be signed in to change notification settings - Fork 3
SATToSE 2012
The 5th Seminar Series on Advanced Techniques & Tools for Software Evolution (SATToSE12) takes place in Koblenz, Germany on 19-23 August 2012 as an integral part of the Summer School on Software Techologies and Software Languages (SoTeSoLa 2012).
Please consult the for SoTeSoLa program about the technology showdown, hackathons, and working groups that are organized at SoTeSoLa.
Querying History of Software
Reinout Stevens
Vrije Universiteit Brussel, Belgium
Version control systems are an industry best practice. They allow developers to collaborate on the same project by sharing changes, developing experimental features, reverting changes, etc. Thus, a version control system contains the history and evolution of the stored software project. Logic program query tools have proven themselves successful in reasoning over a single version of a program. We propose a history query tool that combines the ideas of logic program query tools with the information residing in version control systems. We see two major stakeholders for such a tool. First, software developers can use it to gain insights in the software project. For example, a developer can find out which person is an expert on a certain piece of code (who introduced it, who made the most changes to it). Second, the mining software repository community already uses repositories to predict trends in the software evolution. They can benefit from a high-level query tool to extract the necessary information.
Analyzing software ecosystems with SECONDA
Javier Pérez
University of Mons, Belgium
Software ecosystems are coherent collections of software projects that evolve together and are maintained by the same developer community. Tools for analysing and visualising the evolution of software ecosystems must not only take into account the software product, but the development community as well. SECONDA is a software ecosystem visualization and analysis dashboard that offers both individual and grouped analysis of the evolution of projects and developers belonging to the software ecosystem, at coarse-grained and fine-grained level. In its current incarnation, SECONDA is used to study the GNOME ecosystem and developer community.
Software Visualization Services
Marie-Christin Ostendorp
University of Oldenburg, Germany
Software Visualization aims to visualize information about software systems, such as the structure and the behavior: Therefore an API will be developed in the context of my Bachelor-theses. The API will be used to generate a flexible and variable visualization of prior generated data of an analysis of the source code. The data will be available in form of a TGraph and the desired visualization can be specified in a metamodel. The approach aims to automatically generate a GReTL-Transformation out of the metamodel of the visualization and the given TGraph such that the data of the analysis can be transformed into an instance of the metamodel of the visualization. This instance will be rendered into a scalable vector graphic. So all in all it should be possible to achieve a flexible and variable visualization of arbitrary data.
Interprocedural Dependence Analysis for JavaScript
Jens Nicolay
Vrije Universiteit Brussel, Belgium
Tool support for software developers usually includes a catalog of on-demand source code refactorings, and on-the-fly source code pattern detection. Both refactoring and pattern detection rely on static analysis to determine non-trivial program properties without actually executing the program first. The research area of static analysis for JavaScript is very active, but also quite young. Therefore, advanced tool support for the development of JavaScript programs is still lacking. More specifically, tool support for concurrent/parallel programming in JavaScript currently does not exist, because there is no analysis that can reason over dependencies between expressions. The goal of my research is to design and implement such an interprocedural dependence analysis for JavaScript in order to support the development and execution of web applications that effectively make use of multicore systems on the client-side.
Corpus engineering in empirical research: Qualitas study Ekaterina Pek Empirical research has increasing popularity in the contemporary Computer Science. One of its kinds is an analysis of large collections of software artifacts (e.g., programs/systems). This talk covers the basis of such empirical research, namely, preparation of a large corpus for analysis on the example of Qualitas, a curated collection of software systems.
On the state of the practice in software quality in industry: an exploratory survey
Tom Mens
University of Mons, Belgium
As part of a European ERDF project, we carried out a survey at Walloon software-producing companies to explore to which extent they use software development practices related to software quality. The survey is developed in a way that is easy to replicate, so that it can be repeated and extended with results from companies in other regions and countries. In this presentation, we report on the results of the survey, with respondents from about 60 companies in the Walloon region of Belgium. The survey targets the following high-level questions (subdivided in numerous subquestions):
- What are the quality-related techniques most widely in the software development industry?
- What are the main factors (usage of tools, standards, ...) determining the quality of the software product and software process? By analyzing the answers to these questions, we aim to get a better understanding in the level of training of software engineers working in industry, and we wish to get feedback on whether academic software engineering courses need to be adapted to better fit the actual industry needs.
REST ASSURED
Tesfahun Tesfay
University of Twente, The Netherlands
My current research focus is to come up with a new good Domain Specific Language (DSL) for modeling REST-API's. I have to create a nice syntax, and implement the compilation using Model Driven Engineering principle of step-wise refinement. The DSL and its generators should also be extensible, to easily add new target languages, database technologies, and data exchange formats. Programmers should be able to make choices at model level, a target language or target database for example. Programmers should also be able to specify hooks at model level. A code should be generated based on the specifications.
Resolving Inconsistencies in Model-Driven Engineering using Automated Planning
Jorge Pinna Puissant
University of Mons, Belgium
One of the main challenges in model-driven software engineering is to deal with design model inconsistencies. Automated techniques to detect and resolve these inconsistencies are essential. We propose to use the artificial intelligence technique of automated planning for the purpose of resolving software model inconsistencies. We implemented a regression planner in Prolog and validated it on the resolution of different types of structural inconsistencies for generated models of varying sizes. We discuss the scalability results of the approach obtained through several stress-tests and discuss the limitations of our approach.
- SATToSE 2008 program
- SATToSE 2009 program
- SATToSE 2011 program