| dc.contributor | BARROS, Flávia de Almeida | |
| dc.creator | LEITÃO, Daniel Almeida | |
| dc.date | 2014-06-12T15:59:28Z | |
| dc.date | 2014-06-12T15:59:28Z | |
| dc.date | 2006 | |
| dc.identifier | 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. | |
| dc.identifier | https://repositorio.ufpe.br/handle/123456789/2583 | |
| dc.description | 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 | |
| dc.format | application/pdf | |
| dc.language | por | |
| dc.publisher | Universidade Federal de Pernambuco | |
| dc.subject | Interpretação de linguagem natural | |
| dc.subject | Especificações de
casos de teste | |
| dc.subject | Inteligência artificial simbólica | |
| dc.title | NLForSpec : uma ferramenta para geração de especificações formais a partir de casos de teste em linguagem natural | |
| dc.type | masterThesis | |
