Tópicos de Pesquisa – Testes (CIN/UFPE)

1 - Dissertações e Teses

1.1 - Defendidas:

Geração automática de diagramas UML-RT a partir de especificações CSP

Patrícia Muniz Ferreira

Geração de casos de teste funcional para aplicação de celulares

Emanuela Gadelha Cartaxo

Geração de casos de teste de interação para aplicações de celulares.

Wilkerson Andrade

Geração automática de casos de teste CSP guiada por propósito

Sidney de Carvalho Nogueira

NLForSpec: Uma ferramenta para geração de especificações formais a partir de casos de teste em linguagem natural.

Daniel Leitão

Modeling and integrating formal models: from test cases and requirements models

Clélio Feitosa

Adaptação do processo de desenvolvimento de software para análise de cobertura de código

Elifrancis Soares

SpecNL: Uma ferramenta para gerar descrições em linguagem natural a partir de especificações de casos

Dante da Gama Torres

Formal specification generation from requirements documents

Gustavo da Fonseca Limaverde Cabral.

Abordagem para Geração Automática de Código para Framework de Automação de Testes

Euclides Neto

1.2 Em andamento:

Estimativa de esforço de execução de testes a partir de suas especificações.

Eduardo Aranha.

Uma extensão Message Sequence Charts com Sincronização.

Flávia Falcão.

Geração Automática e Evolução de Casos de Teste de Unidade Java Usando Algoritmos Genéticos.

Davi Gadelha

NLScripts - Uma ferramenta para composição semi-automática de scripts de testes.

João dos Prazeres

Reestruturando variação de testes em linhas de produto de software.

Márcio Ribeiro

Extração e Exploração de estados em aplicações de celular.

Cristiano Bertolini

Priorização de casos de teste para otimização de desempenho na execução em sistemas caixa preta.

Lucas Albertins

Gerencia de variacoes representada com preocupações transversais.

Rodrigo Bonifácio

2.0 Artigos

1 - Test sequence generation from process algebra use models;

International Federation for Information Processing - Working Group 2.3 (Programming Methodology). IFIP WG 2.3 meeting 45. 13-17 March 2006. Bruges, Belgium;

Augusto Sampaio.

2 - Um Processo de Testes de Cobertura alinhado ao Processo de Desenvolvimento de Software em Aplicações Embarcadas;

IV Workshop de Teses e Dissertações em Qualidade de Software (WTDQS 2006), 31 de maio de 2006 - Vila Velha – ES;

Elifrancis Soares, Alexandre Vasconcelos.

3 - Formal Specification Generation from Requirement Documents;

Brazilian Symposium on Formal Methods (SBMF 2006). 17th - 23rd September, 2006. Natal, RN, Brazil;

Gustavo Cabral and Augusto Sampaio.

4 – Viewing CSP specifications with UML-RT diagrams;

Brazilian Symposium on Formal Methods (SBMF 2006). 17th - 23rd September, 2006. Natal, RN, Brazil;

Patricia Ferreira, Augusto Sampaio and Alexandre Mota.

5 – Measuring Test Execution Complexity;

2nd International PRedictOr Models In Software Engineering Workshop (PROMISE 2006). September 24, 2006, Philadelphia, Pennsylvania USA;

Eduardo Aranha and Paulo Borba.

6 - Model Simulation for Test Execution Capacity Estimation;

The 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006). 6-10 November 2006 - Raleigh, North Carolina, USA;

Eduardo Aranha, Paulo Borba and Jose Lima.

7 - Considering Test Execution Complexity for Estimating Test Execution Effort: Research Plan;

1st International Doctoral Symposium on Empirical Software Engineering (IDoESE 2006);

Eduardo Aranha and Paulo Borba.

8 - Motorola SpecNL: a Hybrid System to Generate NL Descriptions from Test Case Specifications;

6th International Conference on Hybrid Intelligent Systems (HIS 06') and 4th Conference on Neuro-Computing and Evolving Intelligence (NCEI 06');

Flávia Barros, Dante Torres, Daniel Leitão.

9 - Generating Integration Test Cases for Mobile Phone Systems from Use Case Specifications;

2nd Workshop on Advances in Model-based Software Testing (A-Most'06) - 17th IEEE - International Symposium on Software Reliability Engineering;

André Figueiredo, Patrícia Machado e Wilkerson Andrade.

10 - Adaptation the RUP for Code Coverage Analysis;

I SBTS – Simpósio Brasileiro de Testes de Software;

Elifrancis Soares, Alexandre Vasconcelos.

11 - TaRGeT - Test and Requirement Generation Tool;

Motorola S3 Symposium - Internal Tools Fair;

Paulo Borba, Dante Torres, Rafael Marques and José Mário.

12 - Estimation Model for Test Execution Effort;

International Symposium on Empirical Software Engineering and Measurement (ESEM);

Eduardo Aranha and Paulo Borba.

13 - NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications;

Nineteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'07);

Daniel Leitão, Dante Torres and Flávia Barros.

14 - An Experimental Evaluation of Approaches to Feature Testing in the Mobile Phone Applications Domain;

DoSTA, workshop on Domain-Specific Approaches to Software Test Automation (ACM);

Laisa Nascimento, Patricia Machado.

15 - Geração de Casos de Teste de Interrupção para Aplicações de Celulares;

WTF 2007,Workshop de Testes e Tolerância a Falhas;

Wilkerson L. Andrade, Francisco G. O. Neto e Patrícia D. L. Machado.

16 - Test Case Generation by means of UML Sequence Diagrams and Labeled Transition Systems;

2007 IEEE International Conference on;

Emanuela G. Cartaxo, Francisco G. O. Neto, Patrícia D. L. Machado.

17 - Test Case Selection Using Similarity Function;

MOTES 2007 (Model-Based Testing Systems, Man and Cybernetics);

Emanuela G. Cartaxo, Francisco G. O. Neto, Patrícia D. L. Machado.

18 - The Oracle Problem for Testing against Quantified Properties;

STEV 2007 - International Workshop on Software Test Evaluation;

Patrícia D. L. Machado e Wilkerson L. Andrade.

19 - Model Based Test Generation: An Industrial Experience;

1st Brazilian Workshop on Systematic and Automated Software Testing (Research Group Presentation Track) - Satellite workshop of SBES 2007;

Sidney Nogueira, Emanuela Cartaxo, Dante Torres, Eduardo Aranha, Rafael Marques.

20 - A Tool to Translate CSP Models into English Requirements;

II EBTS - II Encontro Brasileiro de Teste de Software;

Gláucia Peres, Alexandre Mota.

21 - On the Modularity of Aspect-Oriented and Other Techniques for Implementing Product Lines Variabilities;

I Latin American Workshop on Aspect-Oriented Software Development - LA-WASP´2007;

Márcio de Medeiros Ribeiro, Pedro Matos Jr., Paulo Borba e Ivan Cardim;

22 - Brazil Test Center Research Group;

1st Brazilian Workshop on Systematic and Automated Software Testing (Research Group Presentation Track) - Satellite workshop of SBES 2007;

Dante Torres, Eduardo Aranha, Emanuela Cartaxo, Sidney Nogueira, Alexandre Mota, Augusto Sampaio, Flávia Barros, Patrícia Machado, Paulo Borba.

23 - LTSBT: A tool to Generate and Select Functional Test;

23rd Annual ACM Symposium on Applied Computing (SAC 2008);

Emanuela G. Cartaxo, Wilkerson L. Andrade, Francisco G. O. Neto, Patrícia D. L. Machado.

24 - A Decision Model for Implementing Product Lines Variabilities;

23rd Annual ACM Symposium on Applied Computing (SAC 2008);

Márcio de Medeiros Ribeiro, Pedro Matos Jr., Paulo Borba.

25 - Using Refinement Checking as System Testing;

XI Iberoamarecan Workshop - IDEAS 2008;

Alexandre Mota Cristiano Bertolini.

26 - Unifying Models of Test Cases and Requirements;

XI Iberoamarecan Workshop - IDEAS 2008;

Clélio Feitosa, Alexandre Mota, Glaucia Peres.

3.0 - Participação e organização de eventos

1 – Participação no symposium da Motorola no S3S 2006 - Software, Systems, and simulation symposium.

2 - Participação no symposium da Motorola S3S 2007 – Software, Systems, and simulation symposium.

3 - Organização da Pernambuco School on Software Engineering: Testing