Uma Ferramenta de Apoio a Especifica¸c˜ao de Requisitos
para Sistemas Autoadaptativos
Gabriel Bronzatti Moro
gabrielbronzat...
Roteiro
1 Introdu¸c˜ao
2 Fundamenta¸c˜ao Te´orica
3 Base Tecnol´ogica
4 Trabalhos Relacionados
5 Desenvolvimento da Ferram...
Introdu¸c˜ao
Roteiro
1 Introdu¸c˜ao
2 Fundamenta¸c˜ao Te´orica
3 Base Tecnol´ogica
4 Trabalhos Relacionados
5 Desenvolvime...
Introdu¸c˜ao
Introdu¸c˜ao
Motiva¸c˜ao: carˆencia de ferramentas tecnol´ogicas que ofere¸cam su-
porte a Engenharia de Requ...
Fundamenta¸c˜ao Te´orica
Roteiro
1 Introdu¸c˜ao
2 Fundamenta¸c˜ao Te´orica
3 Base Tecnol´ogica
4 Trabalhos Relacionados
5 ...
Fundamenta¸c˜ao Te´orica
Engenharia de Requisitos
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 d...
Fundamenta¸c˜ao Te´orica
Sistemas Autoadaptativos
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 d...
Fundamenta¸c˜ao Te´orica
Linguagem Relax
Criada para apoiar os desenvolvedores na especifica¸c˜ao de requisitos
para Sistem...
Fundamenta¸c˜ao Te´orica
Vocabul´ario Relax
Operadores e Fatores de Incerteza:
Tabela: Tabela de operadores Relax [16].
RE...
Fundamenta¸c˜ao Te´orica
Vocabul´ario Relax
Operadores e Fatores de Incerteza:
Tabela: Tabela de fator de incerteza [16].
...
Fundamenta¸c˜ao Te´orica
Sint´axe Relax
Example
φ : = true | false | p | SHALL φ
| MAY φ1 OR MAY φ2
| EVENTUALLY φ
| φ1 UN...
Fundamenta¸c˜ao Te´orica
Exemplo de Aplica¸c˜ao - Linguagem Relax
Example (RF1 em Linguagem Textual Descritiva)
O frigor´ı...
Base Tecnol´ogica
Roteiro
1 Introdu¸c˜ao
2 Fundamenta¸c˜ao Te´orica
3 Base Tecnol´ogica
4 Trabalhos Relacionados
5 Desenvo...
Base Tecnol´ogica
Processador de Linguagem
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho...
Base Tecnol´ogica
Processador de Linguagem
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho...
Base Tecnol´ogica
Plataforma Eclipse para o Desenvolvimento de Plugins
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Concl...
Trabalhos Relacionados
Roteiro
1 Introdu¸c˜ao
2 Fundamenta¸c˜ao Te´orica
3 Base Tecnol´ogica
4 Trabalhos Relacionados
5 De...
Trabalhos Relacionados
Metodologia Aplicada
Quest˜oes de Pesquisa:
1 Quais s˜ao as ferramentas existentes para suporte `a ...
Trabalhos Relacionados
Ferramentas de Apoio ao Processo de Engenharia de
Requisitos
Diagrama¸c˜ao de Modelos
1 STS- Tool: ...
Trabalhos Relacionados
Ferramentas de Apoio ao Processo de Engenharia de
Requisitos
Especifica¸c˜ao de Requisitos
1 FGD- Re...
Trabalhos Relacionados
Ferramentas de Apoio ao Processo de Engenharia de
Requisitos para Sistemas Autoadaptativos
1 RE-Con...
Desenvolvimento da Ferramenta
Roteiro
1 Introdu¸c˜ao
2 Fundamenta¸c˜ao Te´orica
3 Base Tecnol´ogica
4 Trabalhos Relacionad...
Desenvolvimento da Ferramenta
An´alise
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de ...
Desenvolvimento da Ferramenta
Projeto
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2...
Desenvolvimento da Ferramenta
Projeto
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2...
Desenvolvimento da Ferramenta
Projeto
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2...
Desenvolvimento da Ferramenta
Implementa¸c˜ao
Utiliza¸c˜ao das tecnologias:
plataforma Eclipse para a cria¸c˜ao de compone...
Desenvolvimento da Ferramenta
Implementa¸c˜ao
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de ju...
Desenvolvimento da Ferramenta
Implementa¸c˜ao
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de ju...
Desenvolvimento da Ferramenta
Testes
Tabela: Particionamento por equivalˆencia - testes.
Classe de Equivalˆencia Testes Es...
Desenvolvimento da Ferramenta
Testes
Tabela: Cobertura dos testes.
Classe Estruturas Cobertas Estruturas N˜ao Cobertas
Ana...
Experimento em Ambiente Controlado
Roteiro
1 Introdu¸c˜ao
2 Fundamenta¸c˜ao Te´orica
3 Base Tecnol´ogica
4 Trabalhos Relac...
Experimento em Ambiente Controlado
Experimento em Ambiente Controlado
Participantes: 15 desenvolvedores dos cursos de Ciˆe...
Experimento em Ambiente Controlado
Experimento em Ambiente Controlado
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclu...
Experimento em Ambiente Controlado
Resultados - Experimento em Ambiente Controlado
Tabela: Resultados obtidos.
Atributo de...
Demonstra¸c˜ao da Ferramenta
Roteiro
1 Introdu¸c˜ao
2 Fundamenta¸c˜ao Te´orica
3 Base Tecnol´ogica
4 Trabalhos Relacionado...
Demonstra¸c˜ao da Ferramenta
Demonstra¸c˜ao da Ferramenta
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curs...
Considera¸c˜oes Finais
Roteiro
1 Introdu¸c˜ao
2 Fundamenta¸c˜ao Te´orica
3 Base Tecnol´ogica
4 Trabalhos Relacionados
5 De...
Considera¸c˜oes Finais
Considera¸c˜oes Finais
Desafios:
manipula¸c˜ao dos recursos disponibilizados pelo ambiente Eclipse;
...
Considera¸c˜oes Finais
Referˆencias Utilizadas
Ian Sommerville (2011)
Engenharia de Software
Person
Patr´ıcia Varela, Jo˜a...
Considera¸c˜oes Finais
Referˆencias Utilizadas
Oberdan Alves de Almeida Junior (2013)
Engenharia de Requisitos para Sistem...
Considera¸c˜oes Finais
Referˆencias Utilizadas
Beckers, Kristian and Heisel, Maritta and Cote, Isabelle and Goeke, Ludger ...
Considera¸c˜oes Finais
Referˆencias Utilizadas
Whittle, Jon and Sawyer, Pete and Bencomo, Nelly and Cheng, Betty HC and
Br...
Considera¸c˜oes Finais
Referˆencias Utilizadas
Huebscher, Markus C and McCann, Julie A (2008)
A survey of autonomic comput...
Considera¸c˜oes Finais
Obrigado a todos!
Dispon´ıvel para perguntas.
Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus...
Próximos SlideShares
Carregando em…5
×

Apresentação do Trabalho Final de Curso

111 visualizações

Publicada em

O trabalho "Uma Ferramenta de Apoio a Especificação de Requisitos para Sistemas Autoadaptativos" foi defendido para a obtenção do grau de bacharel em Engenharia de Software na Universidade Federal do Pampa.
Aluno: Gabriel Bronzatti Moro
Orientador: Professor João Pablo Silva da Silva

Publicada em: Tecnologia
0 comentários
0 gostaram
Estatísticas
Notas
  • Seja o primeiro a comentar

  • Seja a primeira pessoa a gostar disto

Sem downloads
Visualizações
Visualizações totais
111
No SlideShare
0
A partir de incorporações
0
Número de incorporações
5
Ações
Compartilhamentos
0
Downloads
0
Comentários
0
Gostaram
0
Incorporações 0
Nenhuma incorporação

Nenhuma nota no slide

Apresentação do Trabalho Final de Curso

  1. 1. Uma Ferramenta de Apoio a Especifica¸c˜ao de Requisitos para Sistemas Autoadaptativos Gabriel Bronzatti Moro gabrielbronzattimoro.es@gmail.com Orientador: Jo˜ao Pablo Silva da Silva Universidade Federal do Pampa Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 1 / 45
  2. 2. Roteiro 1 Introdu¸c˜ao 2 Fundamenta¸c˜ao Te´orica 3 Base Tecnol´ogica 4 Trabalhos Relacionados 5 Desenvolvimento da Ferramenta 6 Experimento em Ambiente Controlado 7 Demonstra¸c˜ao da Ferramenta 8 Considera¸c˜oes Finais Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 2 / 45
  3. 3. Introdu¸c˜ao Roteiro 1 Introdu¸c˜ao 2 Fundamenta¸c˜ao Te´orica 3 Base Tecnol´ogica 4 Trabalhos Relacionados 5 Desenvolvimento da Ferramenta 6 Experimento em Ambiente Controlado 7 Demonstra¸c˜ao da Ferramenta 8 Considera¸c˜oes Finais Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 3 / 45
  4. 4. Introdu¸c˜ao Introdu¸c˜ao Motiva¸c˜ao: carˆencia de ferramentas tecnol´ogicas que ofere¸cam su- porte a Engenharia de Requisitos para Sistemas Autoadaptativos [16]. Objetivo: desenvolver uma ferramenta de suporte a especifica¸c˜ao de requisitos para Sistemas Autoadaptativos (SA): 1 explorar a linguagem Relax em aspectos semˆanticos e sint´aticos; 2 tornar o formalismo da linguagem transparente; 3 utilizar o Eclipse como plataforma de desenvolvimento. Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 4 / 45
  5. 5. Fundamenta¸c˜ao Te´orica Roteiro 1 Introdu¸c˜ao 2 Fundamenta¸c˜ao Te´orica 3 Base Tecnol´ogica 4 Trabalhos Relacionados 5 Desenvolvimento da Ferramenta 6 Experimento em Ambiente Controlado 7 Demonstra¸c˜ao da Ferramenta 8 Considera¸c˜oes Finais Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 5 / 45
  6. 6. Fundamenta¸c˜ao Te´orica Engenharia de Requisitos Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 6 / 45
  7. 7. Fundamenta¸c˜ao Te´orica Sistemas Autoadaptativos Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 7 / 45
  8. 8. Fundamenta¸c˜ao Te´orica Linguagem Relax Criada para apoiar os desenvolvedores na especifica¸c˜ao de requisitos para Sistemas Autoadaptativos [16]; Oferece um conjunto de operadores, parˆametros e propriedades; Possui semˆantica definida. Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 8 / 45
  9. 9. Fundamenta¸c˜ao Te´orica Vocabul´ario Relax Operadores e Fatores de Incerteza: Tabela: Tabela de operadores Relax [16]. RELAX Operador Descri¸c˜ao SHALL deve conter MAY..OR especifica uma ou mais alternativas EVENTUALLY deve conter eventualmente UNTIL deve garantir eventualmente BEFORE e, AFTER e deve realizar antes ou depois de um evento IN t deve realizar durante um intervalo de tempo AS (EARLY, LATE) AS POSSIBLE deve realizar logo que poss´ıvel AS CLOSE AS POSSIBLE TO f algo que acontece repetidamente AS CLOSE AS POSSIBLE TO q especifica uma quantidade cont´avel AS (MANY, FEW) AS POSSIBLE especifica uma quantidade cont´avel Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 9 / 45
  10. 10. Fundamenta¸c˜ao Te´orica Vocabul´ario Relax Operadores e Fatores de Incerteza: Tabela: Tabela de fator de incerteza [16]. Fator Descri¸c˜ao ENV propriedades que compreendem o ambiente MON propriedades de monitora¸c˜ao do sistema REL relacionamento entre ENV e MON DEP dependˆencias entre os requisitos Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 10 / 45
  11. 11. Fundamenta¸c˜ao Te´orica Sint´axe Relax Example φ : = true | false | p | SHALL φ | MAY φ1 OR MAY φ2 | EVENTUALLY φ | φ1 UNTIL φ2 | BEFORE e φ | AFTER e φ | IN t φ | AS CLOSE AS POSSIBLE TO f φ | AS CLOSE AS POSSIBLE TO q φ | AS EARLY, LATE, MANY, FEW AS POSSIBLE φ Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 11 / 45
  12. 12. Fundamenta¸c˜ao Te´orica Exemplo de Aplica¸c˜ao - Linguagem Relax Example (RF1 em Linguagem Textual Descritiva) O frigor´ıfico deve detectar e comunicar os alimentos com embalagem Example (RF1 em Linguagem Textual com Operadores- Express˜ao Informal) O frigor´ıfico SHALL detectar e comunicar AS MANY os alimentos com embalagens AS POSSIBLE Example (RF1 em Express˜ao Gram´atica) SHALL (AS MANY AS POSSIBLE p) Example (RF1 em Express˜ao Formal Relax (Fuzzy Branching Temporal Logic)) AGF(∆(p) ∈ S) Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 12 / 45
  13. 13. Base Tecnol´ogica Roteiro 1 Introdu¸c˜ao 2 Fundamenta¸c˜ao Te´orica 3 Base Tecnol´ogica 4 Trabalhos Relacionados 5 Desenvolvimento da Ferramenta 6 Experimento em Ambiente Controlado 7 Demonstra¸c˜ao da Ferramenta 8 Considera¸c˜oes Finais Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 13 / 45
  14. 14. Base Tecnol´ogica Processador de Linguagem Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 14 / 45
  15. 15. Base Tecnol´ogica Processador de Linguagem Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 15 / 45
  16. 16. Base Tecnol´ogica Plataforma Eclipse para o Desenvolvimento de Plugins Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 16 / 45
  17. 17. Trabalhos Relacionados Roteiro 1 Introdu¸c˜ao 2 Fundamenta¸c˜ao Te´orica 3 Base Tecnol´ogica 4 Trabalhos Relacionados 5 Desenvolvimento da Ferramenta 6 Experimento em Ambiente Controlado 7 Demonstra¸c˜ao da Ferramenta 8 Considera¸c˜oes Finais Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 17 / 45
  18. 18. Trabalhos Relacionados Metodologia Aplicada Quest˜oes de Pesquisa: 1 Quais s˜ao as ferramentas existentes para suporte `a especifica¸c˜ao de re- quisitos? 2 Quais s˜ao as ferramentas existentes para suporte `a especifica¸c˜ao de re- quisitos de Sistemas Autoadaptativos? Base de Busca: Google Acadˆemico Crit´erios: 1 trabalhos com no m´ınimo 6 p´aginas e publicados entre os anos 2009 a 2014; 2 propor algum tipo de ferramenta para Engenharia de Requisitos; 3 a ferramenta proposta foi de alguma forma experimentada. Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 18 / 45
  19. 19. Trabalhos Relacionados Ferramentas de Apoio ao Processo de Engenharia de Requisitos Diagrama¸c˜ao de Modelos 1 STS- Tool: Suporte a Linguagem de modelagem STS de mapeamento de requisitos de seguran¸ca [3]. 2 CLSD: Apoio a cria¸c˜ao de diagramas de BrainStorming [4]. 3 CSAP- Ferramenta gr´afica para apresentar cen´arios de nuvem[11]. Verifica¸c˜ao e Valida¸c˜ao de Requisitos 1 FSER: Apoio a valida¸c˜ao automatizada de requisitos [10]. Gera¸c˜ao de Modelos 1 PLAORA- gera automaticamente modelos de feature [2]. Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 19 / 45
  20. 20. Trabalhos Relacionados Ferramentas de Apoio ao Processo de Engenharia de Requisitos Especifica¸c˜ao de Requisitos 1 FGD- Relicit: Apoio a especifica¸c˜ao de requisitos [8]. Apoio a T´ecnicas Desenvolvidas 1 REFINTO- Solu¸c˜ao de apoio ao desenvolvimento de aplicativos de solu¸c˜ao financeira [7]. 2 DODT tool-gerencia requisitos de seguran¸ca de maneira automatizada (utilizando ontologias) [9]. 3 KROSA tool- An´alise automatizada de requisitos para identificar ante- cipadamente erros/problemas [12]. Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 20 / 45
  21. 21. Trabalhos Relacionados Ferramentas de Apoio ao Processo de Engenharia de Requisitos para Sistemas Autoadaptativos 1 RE-Context: Detec¸c˜ao automatizada de erros em modelos meta con- textuais, atrav´es da an´alise de inconsistˆencias e de requisitos conflitan- tes [5]. 2 CAAS Requirements Elicitation and System Design: Apoia a es- pecifica¸c˜ao das variantes (estado e caracter´ısticas) dos requisitos levan- tados e a verifica¸c˜ao de requisitos [13]. 3 AutoRelax: Automatiza¸c˜ao do processo de an´alise de modelos ori- entados a metas, gerando as poss´ıveis solu¸c˜oes em modelos objetivos Relax [14]. Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 21 / 45
  22. 22. Desenvolvimento da Ferramenta Roteiro 1 Introdu¸c˜ao 2 Fundamenta¸c˜ao Te´orica 3 Base Tecnol´ogica 4 Trabalhos Relacionados 5 Desenvolvimento da Ferramenta 6 Experimento em Ambiente Controlado 7 Demonstra¸c˜ao da Ferramenta 8 Considera¸c˜oes Finais Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 22 / 45
  23. 23. Desenvolvimento da Ferramenta An´alise Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 23 / 45
  24. 24. Desenvolvimento da Ferramenta Projeto Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 24 / 45
  25. 25. Desenvolvimento da Ferramenta Projeto Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 25 / 45
  26. 26. Desenvolvimento da Ferramenta Projeto Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 26 / 45
  27. 27. Desenvolvimento da Ferramenta Implementa¸c˜ao Utiliza¸c˜ao das tecnologias: plataforma Eclipse para a cria¸c˜ao de componentes gr´aficos; biblioteca JDOM para a persistˆencia da especifica¸c˜ao em XML; JFlex para o reconhecimento l´exico das express˜oes; CUP para a verifica¸c˜ao de sint´axe das express˜oes. Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 27 / 45
  28. 28. Desenvolvimento da Ferramenta Implementa¸c˜ao Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 28 / 45
  29. 29. Desenvolvimento da Ferramenta Implementa¸c˜ao Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 29 / 45
  30. 30. Desenvolvimento da Ferramenta Testes Tabela: Particionamento por equivalˆencia - testes. Classe de Equivalˆencia Testes Escritos Operador com frequˆencia ou quantidade escrita num´erica 9 Operadores com frequˆencia ou quantidade de escrita somente texto 3 Operadores com tempo utilizando limitador ”:” 2 Operadores com tempo utilizando nenhum limitador 4 Operadores com tempo utilizando o valor por extenso 2 Operador BEFORE com evento em verbo 3 Operador AFTER com evento em verbo 3 Operador BEFORE ou AFTER com mais de um evento associado 3 Preposi¸c˜oes sem operadores associados 9 Express˜ao com operadores em UpperCase 3 Express˜ao com operadores em MixedCase 3 Express˜ao com operadores em LowerCase 29 Express˜ao sem operadores 5 Express˜ao com um ou mais operadores 28 Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 30 / 45
  31. 31. Desenvolvimento da Ferramenta Testes Tabela: Cobertura dos testes. Classe Estruturas Cobertas Estruturas N˜ao Cobertas AnalisadorLexicoDeRequisito 90.2% 9,8% GeradorDeExpressao 94,2% 5,8% Interpretador 88,7% 11,3% Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 31 / 45
  32. 32. Experimento em Ambiente Controlado Roteiro 1 Introdu¸c˜ao 2 Fundamenta¸c˜ao Te´orica 3 Base Tecnol´ogica 4 Trabalhos Relacionados 5 Desenvolvimento da Ferramenta 6 Experimento em Ambiente Controlado 7 Demonstra¸c˜ao da Ferramenta 8 Considera¸c˜oes Finais Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 32 / 45
  33. 33. Experimento em Ambiente Controlado Experimento em Ambiente Controlado Participantes: 15 desenvolvedores dos cursos de Ciˆencia da Com- puta¸c˜ao e Engenharia de Software. Tempo Utilizado: 60 minutos. Material Disponibilizado: manual do protocolo e o execut´avel da ferramenta. Ferramenta para Coleta de Resultados: question´ario, utilizando escala likert (1 a 5) para cada atributo de qualidade avaliado. Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 33 / 45
  34. 34. Experimento em Ambiente Controlado Experimento em Ambiente Controlado Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 34 / 45
  35. 35. Experimento em Ambiente Controlado Resultados - Experimento em Ambiente Controlado Tabela: Resultados obtidos. Atributo de Qualidade M´ınima M´axima M´edia Moda Utiliza¸c˜ao de recursos da m´aquina 3 5 4,07 5 Tempo de resposta 1 5 4,07 5 Operacionalidade 2 5 3,64 4 Apreensibilidade 3 5 4,28 4 Acur´acia 3 5 4,42 5 Adequa¸c˜ao 3 5 5 5 Confiabilidade 1 5 3,42 3 Inteligibilidade 2 5 3,92 4 Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 35 / 45
  36. 36. Demonstra¸c˜ao da Ferramenta Roteiro 1 Introdu¸c˜ao 2 Fundamenta¸c˜ao Te´orica 3 Base Tecnol´ogica 4 Trabalhos Relacionados 5 Desenvolvimento da Ferramenta 6 Experimento em Ambiente Controlado 7 Demonstra¸c˜ao da Ferramenta 8 Considera¸c˜oes Finais Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 36 / 45
  37. 37. Demonstra¸c˜ao da Ferramenta Demonstra¸c˜ao da Ferramenta Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 37 / 45
  38. 38. Considera¸c˜oes Finais Roteiro 1 Introdu¸c˜ao 2 Fundamenta¸c˜ao Te´orica 3 Base Tecnol´ogica 4 Trabalhos Relacionados 5 Desenvolvimento da Ferramenta 6 Experimento em Ambiente Controlado 7 Demonstra¸c˜ao da Ferramenta 8 Considera¸c˜oes Finais Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 38 / 45
  39. 39. Considera¸c˜oes Finais Considera¸c˜oes Finais Desafios: manipula¸c˜ao dos recursos disponibilizados pelo ambiente Eclipse; utiliza¸c˜ao dos geradores de an´alise l´exica e sint´atica. Aprendizado: compreender sobre a importˆancia do processo de Engenharia de Requisitos para Sistemas Autoadaptativos (SAs); relevˆancia da linguagem Relax para a especifica¸c˜ao de requisitos para SAs; contato com as novas tecnologias. Resultado Principal: plugin RelaxEditor. Pr´oximo Passo: gera¸c˜ao de um modelo Relax do requisito. Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 39 / 45
  40. 40. Considera¸c˜oes Finais Referˆencias Utilizadas Ian Sommerville (2011) Engenharia de Software Person Patr´ıcia Varela, Jo˜ao Ara´ujo, Isabel Brito e Ana Moreira (2011) Aspect-Oriented Analysis for Software Product Lines Requirements Engineering AORE Butler, Bernard and TSSG, Achim Brucker (2011) Secure and Trustworthy Composite Services Azevedo, Diogo and Fonseca, Benjamin and Lukosch, Stephan and Jordan, Hugo Paredes and Janeiro, Robert Owen Briggs (2011) An Integrative Approach to Diagram-based Collaborative Brainstorming: a Case Study Ali, Raian and Dalpiaz, Fabiano and Giorgini, Paolo (2014) Requirements-driven deployment University of Trento Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 40 / 45
  41. 41. Considera¸c˜oes Finais Referˆencias Utilizadas Oberdan Alves de Almeida Junior (2013) Engenharia de Requisitos para Sistemas Auto-Adaptativos Universidade Federal de Pernambuco Umoh, Emem and Sampaio, Pedro R Falcone and Theodoulidis, Babis (2011) REFINTO: An ontology-based requirements engineering framework for business-IT alignment in financial services organizations IEEE Zarinah MK, Zarinah MK and Siti Salwah S, Siti Salwah S (2009) Supporting collaborative requirements elicitation using focus group discussion technique Olawande Daramola, Guttorm Sindre and Tor Stalhane (2012) Pattern-Based Security Requirements Specification Using Ontologies and Boilerplates Ito, ML and Fuzii, RYM and Souza, RCG and Valˆencio, CR and Tronco, ML (2011) Support tool to the validation process of functional requirements IEEE Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 41 / 45
  42. 42. Considera¸c˜oes Finais Referˆencias Utilizadas Beckers, Kristian and Heisel, Maritta and Cote, Isabelle and Goeke, Ludger and Guler, Selim (2013) Structured Pattern-Based Security Requirements Elicitation for Clouds IEEE Olawande Daramola, Tor Stalhane, Guttorm Sindre and Inah Omoronyia (2011) Enabling Hazard Identification from Requirements and Reuse-oriented HAZOP Analysis IEEE Hussein, Mahmoun and Han, Jun and Yu, Jian and Colman, Alan (2013) Web Services (ICWS), 2013 IEEE Fredericks, Erik M and DeVries, Byron and Cheng, Betty HC (2014) AutoRelax: automatically Relaxing a goal model to address uncertainty Springer Roger Pressman Engenharia de Software McGraw Hill Brasil Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 42 / 45
  43. 43. Considera¸c˜oes Finais Referˆencias Utilizadas Whittle, Jon and Sawyer, Pete and Bencomo, Nelly and Cheng, Betty HC and Bruel, Jean-Michel (2010) Relax: a language to address uncertainty in self-adaptive systems requirements Springer Brun, Yuriy and Serugendo, Giovanna Di Marzo and Gacek, Cristina and Giese, Holger and Kienle, Holger and Litoiu, Marin and M¨uller, Hausi and Pezz´e, Mauro and Shaw, Mary (2009) Software engineering for self-adaptive systems Springer Sawyer, Peter and Bencomo, Nelly and Whittle, Jon and Letier, Emmanuel and Finkelstein, Anthony (2010) Requirements-aware systems: A research agenda for re for self-adaptive systems IEEE Desrivieres, Jim and Wiegand, John(2004) Eclipse: A platform for integrating development tools IBM Systems Journal Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 43 / 45
  44. 44. Considera¸c˜oes Finais Referˆencias Utilizadas Huebscher, Markus C and McCann, Julie A (2008) A survey of autonomic computing—degrees, models, and applications ACM Computing Surveys (CSUR) Herczeg, Michael(2010) The smart, the intelligent and the wise: roles and values of interactive technologies ACM Qureshi, Nauman A and Perini, Anna (2010) Requirements Engineering Conference (RE), 2010 18th IEEE International IEEE AHO, A.V. and Sethi, R. and Lam, S. (2008) Compiladores: princ´ıpios, t´ecnicas e ferramentas Pearson Addison Wesley Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 44 / 45
  45. 45. Considera¸c˜oes Finais Obrigado a todos! Dispon´ıvel para perguntas. Gabriel Bronzatti Moro (UNIPAMPA) Trabalho de Conclus˜ao de Curso II 8 de julho de 2015 45 / 45

×