Uma Ferramenta para Geração Automática de Requisitos a partir de Modelos CSP Glaucia Peres e...
Transcript of Uma Ferramenta para Geração Automática de Requisitos a partir de Modelos CSP Glaucia Peres e...
Uma Ferramenta para Geração Automática de Requisitos a partir de Modelos CSP
Glaucia Peres e Alexandre Mota 06/out/2007
ROTEIRO
• Contexto
• Objetivo
• Definições
• A Ferramenta
• Conclusões
• Trabalhos Futuros
CONTEXTO
CONTEXTO
• MotorolaUse Model Generator
TCRev
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
CONTEXTO
Mudanças nos
Requisitos
Casos de Teste
Documentos de Requisitos
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!
OBJETIVO
OBJETIVO
• Apresentar a ferramenta CSP2CNL
Use Model GeneratorTCRev
• Atualização automática de Requisitos a partir dos seus respectivos Casos de Teste
DEFINIÇÕES
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
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
modificadorRead incoming
message.Important Messages
feature is on.termotermo
A FERRAMENTA
CSP2CNL
• Transforma modelos CSP em Requisitos em Inglês
CSP2CNL
FUNCIONAMENTO
CONCLUSÕES
CONCLUSÕES
• Mudança nos requisitos
Ameaça?
Oportunidade!
Requisitos o diferencial
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
TRABALHOS FUTUROS
TRABALHOS FUTUROS
• 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
TRABALHOS FUTUROS
• Integrar a CSP2CNL com as ferramentas Use Model Generator, a TCRev e a TaRGeT
{gbp, acm}@cin.ufpe.br