INES – National Institute of Science and Technology for Software Engineering

RSS feed


March 2012
« Feb   Apr »

  • Reliability and Safety in Critical Software

    Publicado em March 19th, 2012Uncategorized

    Development of critical software with high level of Safety and Reliability is still a great challenge in terms of theoretical and practical aspects. From the theoretical point of view, although there are already numerous proposals that are based on formalisms and techniques, the solutions that emerge from them are still incipient to cope with the demands of quality of these systems.

    In order to develop appropriate solutions for the development of critical software with high level of safety and reliability it is critical to address the following aspects:

    1) Ensuring the accurate capture and validation of actual requirements;

    2) Reduce the insertion of defects in the development process ensuring the correctness thorughout the development process (correct by construction);

    3) Demonstrate the absence of defects in the final product, and

    4) Eliminate the occurrence of undesirable behaviors, potential causes of failure related to severe accidents and catastrophic events.

    This research project aims to address these aspects in the context of embedded software, through cooperation between three institutions and two companies.

    The objectives of this proposal include:

    (A) Treatment of ambiguous or vague requirements by using Simulink diagrams or a controlled natural language (LNC), i. e., a subset of the natural language which has a precise syntax and a vocabulary.

    (B) Definition / development of tools for formal specification and analysis of functional and non-functional behaviour in design and implementation of applications.

    (C) Support requirements validation through research of techniques of software testing.

  • Using Expert Finding techniques to design context-sensitive bug tracking systems

    Publicado em March 15th, 2012Uncategorized

    A bug tracking system is a software application that is designed to help quality assurance and programmers keep track of reported software bugs in their work. It may be regarded as a type of issue tracking system. Many bug-tracking systems, such as those used by most open source software projects, allow users to enter bug reports directly. Other systems are used only internally in a company or organization doing software development. Typically bug tracking systems are integrated with other software project management applications. Having a bug tracking system is extremely valuable in software development, and they are used extensively by companies developing software products.

    A major component of a bug tracking system is a database that records facts about known bugs. Facts may include the time a bug was reported, its severity, the erroneous program behavior, and details on how to reproduce the bug; as well as the identity of the person who reported it and any programmers who may be working on fixing it. The main benefit of a bug-tracking system is to provide a clear centralized overview of development requests (including both bugs and improvements, the boundary is often fuzzy), and their state. The prioritized list of pending items (often called backlog) provides valuable input when defining the product roadmap, or maybe just “the next release”. Identifying best people to solve a bug in a big system is a problem, once that it is hard to keep track of expertise of all the stakeholders in a project.

    Expert Finding is the area of research that addresses the task of finding the right person with the appropriate skills and knowledge. Searching for experts who have the appropriate skills and knowledge in a specific research field is an important task when it comes to bug tracking activities. For stakeholders in a software development it is important to: 1) Identify which programmer has greater affinity with certain subjects, or those who contribute most to the construction of collective knowledge within the team; 2) Motivate their participation in the team. An Expert Finder tool is a machine that finds experts in certain subjects, usually taking into account aspects such as the number of publications on specific issues, number of citation by other authors, number of joint communities and others, like number of bugs fixed.

    Context-sensitive systems (CSS) are computer systems that use context to provide more relevant services or information to support users performing their tasks, where context is any information that can be used to characterize the situation in which something exists or occurs. CSS demand that designers consider new aspects and challenges in comparison to traditional applications. Only few approaches offer integrated domain-independent support on developing CSS.

    Our goal is use Expert Finding techniques to design context-sensitive bug tracking systems. There are new information retrieval techniques that can be used to find experts in software development teams. Besides, after finding the experts in a software development team, the bug-tracking systems can be improved through context sensitive design techniques. This project has some innovative features related to information retrieval, expert finding and context-sensitive development. The expected contributions can be classified into two aspects: theoreticalconceptual and experimental. The theoreticalconceptual contributions are related to: (i) improvement of expert finding approaches using new techniques of information retrieval; (ii) formalism of new concepts related to CSS; (iii) use of “expert information” in the development of bug-tracking sensitive context systems. Another aspect is experimental, where we have the execution of validation of the proposed framework and case studies in order to evaluate this framework in different software development scenarios.


  • INES at ABZ 2012

    Publicado em March 15th, 2012Expenses, News, Publications

    INES researchers Prof. David Deharbe and MSc student Haniel Barbosa have seen their submitted work selected for presentation and publication at ABZ 2012. The event will take place in Pisa, Italy, from June 18th to 21st, 2012 and will gather researchers interested in the formal methods ASM, Alloy, B, VDM and Z. ABZ 2012 will be organized jointly with iFM 2012 and is being held in honor of Prof. Egon Börger’s 65th birthday.

    Two papers were accepted. They are titled and authored respectively as follows:

    • SMT-Solvers for Rodin. D. Deharbe, P. Fontaine, Y. Guyot and L. Voisin.
    • Formal verication of PLC programs using the B Method. H. Barbosa and D. Deharbe.
  • Refactoring for Data Structure Client Migration

    Publicado em March 13th, 2012Uncategorized

    Data structure libraries present high adoption level in object-oriented languages, as the need for those structures is widespread in software projects. Due to performance, usability or obsolescence issues, data structure clients must adapt their programs to replace the structure in use. This kind of change is usually made of a program refactoring, since the observable behavior of the program must be preserved. However, refactorings to adapt clients of data structures are not automatic. Manually performed, this task is error-prone. In addition, differences in syntax and semantics between data structures make this task enormously difficult. Additional analysis is required so the client program present the same behavior as before.

    This project aims at providing automatization solutions to migrate clients to different data structures, by proposing a technique to refactor their programs. Project activities must establish a sound theoretical basis for program transformations, along with the design and implementation of appropriate tool support for the technique. Besides, several evaluation methods will be applied for providing evidence about the effectiveness and usability of such technique.

  • INES is acquiring books

    Publicado em March 11th, 2012Uncategorized

    INES researchers members from the projects “Software Productivity Laboratory Network” and “Evolution and Refactoring tools” are acquiring books for support these projects at UFS.

  • More INES at EASE (2012)

    Publicado em March 8th, 2012Uncategorized

    Two more papers co-authored by INES members were accepted for publication as full papers at the 16th International Conference on Evaluation & Assessment in Software Engineering (EASE), in Spain. Information about the two papers is available below:

    Juliana Saravia, Emanoel Barreiros, Adauto Almeida, Flavio Lima, Aline Alencar, Gustavo Lima, Sergio Soares, and Fernando Castor. Aspect-Oriented Software Maintenance Metrics: A Systematic Mapping Study.  In Proceedings of the 16th International Conference on Evaluation and Assessment in Software Engineering (EASE’2012). Ciudad Real, Spain, May 2012.

    Amanda Nascimento, Fernando Castor, Cecilia Mary F. Rubira, and Rachel Burrows. An Experimental Setup to Assess Design Diversity of Functionally Equivalent Services. In Proceedings of the 16th International Conference on Evaluation and Assessment in Software Engineering (EASE’2012).  Ciudad Real, Spain, May 2012.

    The first paper presents results of research conducted within the project “Definition of a Testbed for Software Development”, in Portuguese, “Definição de um Testbed para o Desenvolvimento de Software”. In addition, both papers present results of research conducted within the project “Software Engineering in the Transition to Multicore Platforms” , in Portuguese, “Engenharia de Software na Transição para Plataformas Multicore”.

  • INES at Escola de Verão Maratona de Programação

    Publicado em March 8th, 2012Uncategorized

    Danilo Pimenteira from Federal University of Campina Grande is going to attend Escola de Verão Maratona de Programação in Campinas (Unicamp) from January 16th to February 10th.

  • Member of UFCG group visits CIn/UFPE

    Publicado em March 8th, 2012Uncategorized

    Dr. Rohit Gheyi from Federal University of Campina Grande is going to visit CIn/UFPE from 1st to 3rd March to work with Leopoldo Teixeira and Paulo Borba on Refactoring Product Lines.

  • INES at ICSE 2012

    Publicado em March 8th, 2012News

    INES researcher Uirá Kulesza will attend the 34th International Conference on Software Engineering (ICSE 2012), to be held in Zurich, Switzerland, in June 04-08, 2012.

  • Prof. Dalton Serey (UFCG) visits LES-UFBA

    Publicado em March 5th, 2012News

    Prof. Dalton Serey (UFCG) will visit the Software Engineering Labs (LES) at Federal University of Bahia (UFBA). LES will host an INES workshop, in the context of the project “Models, Techniques and Tools for Software Evolution”.

    When: 22 and 23, March 2012

    What: INES workshop on Software Evolution

    Where: LES-UFBA