| Summary: | Made available in DSpace on 2014-06-12T15:59:28Z (GMT). No. of bitstreams: 2
arquivo5127_1.pdf: 1281889 bytes, checksum: 27f0d0f476fb317baa37e42f70c3bf82 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2006 === 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
|
|---|
