Uma Ferramenta para Geração Automática de Requisitos a partir de Modelos CSP Glaucia Peres e Alexandre Mota 06/out/2007.

Apresentação em tema: "Uma Ferramenta para Geração Automática de Requisitos a partir de Modelos CSP Glaucia Peres e Alexandre Mota 06/out/2007."— Transcrição da apresentação:

1

2 Uma Ferramenta para Geração Automática de Requisitos a partir de Modelos CSP Glaucia Peres e Alexandre Mota 06/out/2007

3 ROTEIRO Contexto Objetivo Definições A Ferramenta Conclusões Trabalhos Futuros

4 CONTEXTO

5 Motorola Use Model Generator TCRev

6 CONTEXTO Problemas complexos Soluções indefinidas Problema real versus Desenvolvimento do sistema Usuários diferentes Exigências diferentes Mudanças organizacionais e no ambiente técnico Mudanças nos Requisitos

7 CONTEXTO Mudanças nos Requisitos Casos de Teste Documentos de Requisitos

8 CONTEXTO Desafio –Manter os requisitos sempre atualizados Documentos de Requisitos Casos de Teste Problema –Controlar a atualização dos documentos assim que uma mudança acontece Solução –Automatizar!

9 OBJETIVO

10 Apresentar a ferramenta CSP2CNL Use Model GeneratorTCRev Atualização automática de Requisitos a partir dos seus respectivos Casos de Teste

11 DEFINIÇÕES

12 CSP (Communicating Sequential Processes) Linguagem formal usada para descrever padrões de interação em sistemas concorrentes e distribuídos Utilizada no projeto de pesquisa CIn-BTC para representar os modelos formais dos requisitos e dos casos de teste Modelos CSP são gerados internamente pelas ferramentas, sem a necessidade da intervenção do usuário na sua elaboração

13 CNL (Controlled Natural Language) Subconjunto do Inglês, com uma gramática menor e mais restrita que as linguagens naturais Utilizada na escrita dos documentos de Requisitos e de Casos de testes –Previne a introdução de sentenças ambíguas e não-uniformes Regras temáticas definem como modificadores e termos irão ser combinados com o verbo modificador Read incoming message.Important Messages feature is on. termo

14 A FERRAMENTA

15 CSP2CNL Transforma modelos CSP em Requisitos em Inglês

16 CSP2CNL

17 FUNCIONAMENTO

18

19

20

21

22

23

24

25

26

27 CONCLUSÕES

28 Mudança nos requisitos Ameaça? Oportunidade! Requisitos o diferencial

29 CONCLUSÕES Requisitos devem ser atualizados, assim que uma mudança acontece –Seja através dos documentos de requisitos –Ou através dos casos de teste Escrever os documentos em uma Linguagem Natural Controlada –Evita ambigüidades –Traz melhor entendimento O uso de modelos formais –Especificação dos requisitos –Automação da manutenção

30 TRABALHOS FUTUROS

31 Padronizar o formato dos modelos CSP –Modelos CSP gerados pela ferramenta Use Model Generator e pela TCRev devem usar o mesmo formato –Para que a ferramenta CSP2CNL converta os modelos CSP gerados pela TCRev em documentos de requisitos

32 TRABALHOS FUTUROS Integrar a CSP2CNL com as ferramentas Use Model Generator, a TCRev e a TaRGeT

33 {gbp, acm}@cin.ufpe.br