Skip navigation
Use este identificador para citar ou linkar para este item: https://repositorio.ufpe.br/handle/123456789/2583
Título: NLForSpec : uma ferramenta para geração de especificações formais a partir de casos de teste em linguagem natural
Autor(es): LEITÃO, Daniel Almeida
Palavras-chave: Interpretação de linguagem natural; Especificações de casos de teste; Inteligência artificial simbólica
Data do documento: 2006
Editor: Universidade Federal de Pernambuco
Citação: Almeida Leitão, Daniel; de Almeida Barros, Flávia. NLForSpec : uma ferramenta para geração de especificações formais a partir de casos de teste em linguagem natural. 2006. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2006.
Resumo: Este trabalho propõe NLForSpec, uma ferramenta para geração de especificações formais a partir de casos de teste em Linguagem Natural. NLForSpec é parte de um projeto maior desenvolvido em parceria entre o CIn-UFPE e a Motorola, que tem como objetivo automatizar a seleção, geração e avaliação de casos de teste para aplicações de telefones móveis. Uma das principais tarefas desse projeto é atualizar automaticamente os requisitos a partir de casos de teste mais atuais. Nesse cenário, a ferramenta NLForSpec é responsável por gerar especificações na linguagem formal CSP (Communicating Sequential Processes) a partir de descrições de casos de teste. Essas especificações serão utilizadas como entrada no processo de atualização ou geração de documentos de requisitos a partir de casos de teste mais atuais. NLForSpec foi construída com base na arquitetura simbólica tradicional para interpretação de LN, e contém quatro bases de conhecimento (Léxico, Gramática de Casos, Ontologia e Base de Especificações CSP) e três módulos de processamento (POS-Tagging, Processamento Semântico e Geração de Casos de Teste Formais). NLForSpec apresentou um desempenho satisfatório em um estudo de caso realizado para o domínio de descrições de casos de teste para aplicações de Messaging da Motorola
URI: https://repositorio.ufpe.br/handle/123456789/2583
Aparece na(s) coleção(ções):Dissertações de Mestrado - Ciência da Computação

Arquivos deste item:
Arquivo Descrição TamanhoFormato 
arquivo5127_1.pdf1,25 MBAdobe PDFVer/Abrir


Este arquivo é protegido por direitos autorais



Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.