INES – National Institute of Science and Technology for Software Engineering

RSS feed


August 2013
« Jul   Sep »

  • Project Critical Software Safety and Trustworthiness Project Meetings

    Publicado em August 29th, 2013Uncategorized

    The INES project “Critical Software Safety and Trustworthiness” will have three project meetings in the following dates: 10th and 11th of October, 31st of October and 1st of November, and 5th and 6th of December. The meetings will take place at UFPE. Dr. Marcel Oliveira, researcher from UFRN, will visit Prof. Dr. Augusto Sampaio. During these meetings they will discuss and align current and future actions within the project they are developing at INES.

  • Search-based test case selection

    Publicado em August 28th, 2013Uncategorized

    Software testing is essential to guarantee high quality products. However, it is a very expensive activity, particularly when manually performed. Several techniques and tools have been proposed to automate or optimize software testing tasks, from test generation to its execution. Regarding automatic Test Case (TC) generation, we can identify tools which generate test suites from some software artifact (such as code, functional requirements, or use cases). These tools generate TCs in a systematic way, aiming to provide a good coverage of the testing adequacy criterion – e.g., requirement/piece of code. As such, the generated test suites are usually too large to be executed within the available resources (tools, time, people).

    Yet, since large test suites usually contain redundancies -i.e., two or more TC covering the same requirement/piece of code, it is possible to reduce them in order to respect time/people constraints without severely compromising the coverage of the test adequacy criterion being observed. The task of reducing a test suite based on some selection criterion is known as “Test Case selection”. Note that the test selection criterion depends on the test adequacy criterion being used.

    Automatic Test Case selection is commonly treated as an optimization problem, whose aim is to find a subset of TCs which optimizes one or more objective functions (i.e., selection criteria). In other words, the selected subset should maximize the coverage of the chosen test adequacy criteria.

    In this light, this project investigates search-based strategies to select an adequate subset of a given test suite considering both, functional requirements coverage (quality of the resultant suite), and execution effort (time/cost of the selected subset). We investigate here two different search-based strategies: (1) Constrained TC selection; and (2) Multi-objective TC selection. In the former approach, we formulate the TC selection problem as a constrained search-based task, using requirements coverage as the fitness function to be maximized, and the execution effort (time) of the selected TCs as a constraint in the search process. In the latter approach, TC selection is formulated as multi-objective search-based task which considers two objectives simultaneously: maximize requirements coverage while minimizing cost in terms of TC execution effort.

    In both approaches, we use the Particle Swarm Optimization (PSO) algorithm, which is simple and efficient when compared to other widespread search techniques (such as Genetic Algorithms, for instance). PSO is a promising optimization approach which was not yet investigated for this problem. Besides our previous works, we did not find any other proposals using PSO for TC selection, neither we found solutions treating this task as a constrained/multi-objective optimization problem.

    Keywords: Software TestingSearch-based Optimization Test Case SelectionSearch-based software engineering.

    Research team: Flávia de Almeida Barros; Ricardo Bastos C. Prudêncio; Eduardo Henrique S. Aranha; Luciano Soares de Souza; Péricles Barbosa Miranda.

  • LA-WASP co-chair at CBSoft 2013

    Publicado em August 26th, 2013News

    Cláudio Sant’Anna, co-chair of the 7th Latin American Workshop on Aspect-Oriented Software Development (LA-WASP), will attend CBSoft and LA-WASP 2013 in Brasília-DF from 29 September to 04 October.

    LA-WASP webpage:

  • INES at ESEIW 2013

    Publicado em August 22nd, 2013Expenses, Publications

    INES researcher Eduardo Aranha will attend events at the Empirical Software Engineering International Week (ESEIW 2013) (, to be held in Baltimore, EUA, from October 9th to 10th: the ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2013), a premier conference to present research results related to empirical software engineering; the 11th International Advanced School of Empirical Software Engineering; the IDOESE Doctoral Symposium (IDoESE 2013). He will also present the following paper, in place of her doctorate student, who is sick:

    – IDOESE Doctoral Symposium Research Plan – TITLE: ”A Model-Driven Approach to Formalize and Support Controlled Experiments in Software Engineering

    Doctorate Student: Marília Aranha

    Advisers: Uirá Kulesza, Eduardo Aranha

    This activity is part of the project “Definição de um Testbed para o Desenvolvimento de Software”.
  • UFCG Researcher at CBSoft 2013

    Publicado em August 16th, 2013Uncategorized
    MSc. student Alysson Filgueira Milanez, UFCG, will participate at CBSoft 2013, which will be held from Sep 29th to Oct 04th in Brasília, Brazil.

  • UFRN Researcher at CBSoft 2013

    Publicado em August 8th, 2013Uncategorized

    PhD student Madiel de Sousa Conserva Filho, UFRN, will participate at CBSoft 2013, which will be held from Sep 29 to Oct 04 in Brasilia, Brazil.

  • Researcher from CIn-UFPE visits UFBA

    Publicado em August 5th, 2013Uncategorized

    Prof. Frederico Freitas is going to visit UFBA on August 22-23, 2013, and has meetings with researchers involved in the project “Using Expert Finding techniques to design context-sensitive bug tracking systems.” The researchers will discuss ongoing research work in the context of the INES project. During this visit, the professor will give talks and have meetings with researchers and students.

  • UFS Research at WESB 2013

    Publicado em August 1st, 2013Uncategorized

    Prof. Leila Silva will present the paper Using Hill Climbing to Identify Similar Software Components at WESB 2013. This activity is part of the project “Desenvolvimento Distribuído Orientado a Linhas de Produtos de Software”.

  • UFRN researchers at LAFM 2013

    Publicado em August 1st, 2013Uncategorized

    Professor Anamaria Martins Moreira and PhD student Valério Gutemberg de Medeiros Júnior will present their respective work LAFM 2013 (Latin American Workshop in Formal Methods), a joint event with CONCUR 13, to be held on August 26th, in Buenos Aires – Argentina. This activity is part of the project “Confiabilidade e Segurança em Software Crítico”.

  • UFRN Researcher participates at RDP 2013

    Publicado em August 1st, 2013Expenses

    Anamaria Martins Moreira, INES member from DIMAp/UFRN, attended one day of activities of RDP 2013 (International Conference on Rewriting Deduction and Programming), including a presentation by Simon Peyton Jones, at the Technical University of Eindhoven. This activity is part of the project “Combining Formal Methods and Testing in the Development of Real-Time Embedded Systems.