Please use this identifier to cite or link to this item:
https://repositorio.ufpe.br/handle/123456789/2583
Share on
Title: | NLForSpec : uma ferramenta para geração de especificações formais a partir de casos de teste em linguagem natural |
Authors: | LEITÃO, Daniel Almeida |
Keywords: | Interpretação de linguagem natural; Especificações de casos de teste; Inteligência artificial simbólica |
Issue Date: | 2006 |
Publisher: | Universidade Federal de Pernambuco |
Citation: | 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. |
Abstract: | 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 |
Appears in Collections: | Dissertações de Mestrado - Ciência da Computação |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
arquivo5127_1.pdf | 1,25 MB | Adobe PDF | ![]() View/Open |
This item is protected by original copyright |
This item is licensed under a Creative Commons License