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