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

Motorola Use 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

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 modificador Read incoming message.Important Messages feature is on. termo

A FERRAMENTA

CSP2CNL Transforma modelos CSP em Requisitos em Inglês

CSP2CNL

FUNCIONAMENTO

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

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,