Extração automática de modelos CSP a partir de casos de uso

Detalhes bibliográficos
Autor(a) principal: ARAÚJO, Renata Bezerra e Silva de
Data de Publicação: 2014
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional de Geociências - RIGEO
Texto Completo: https://rigeo.cprm.gov.br/handle/doc/1192
Resumo: Dissertação Mestrado em Ciência da Computação
id CPRM_e3451589da22ec8fabafc1de398a0fdb
oai_identifier_str oai:rigeo.sgb.gov.br:doc/1192
network_acronym_str CPRM
network_name_str Repositório Institucional de Geociências - RIGEO
repository_id_str
spelling ARAÚJO, Renata Bezerra e Silva de2014-05-05T18:19:09Z2014-05-05T18:19:09Z2014ARAÚJO, Renata Bezerra e Silva de. Extração automática de modelos CSP a partir de casos de uso. Orientador: Juliano Manabu Iyoda. 2011. 115 f. Dissertação (Mestrado em Ciência da Computação)-Centro de Informática, Universidade Federal de Pernambuco, Recife, 2011.https://rigeo.cprm.gov.br/handle/doc/1192Dissertação Mestrado em Ciência da ComputaçãoNo ciclo de vida de desenvolvimento de software, especificação de requisitos é uma atividade muito propensa a definições incorretas. Isto geralmente acontece porque esses documentos são normalmente escritos em linguagem natural, tornando muito alta a possibilidade de introduzir ambiguidades e interpretações errôneas. Por outro lado, a utilização de linguagem natural traz simplicidade e flexibilidade ao se especificar requisitos, considerando que esta é uma notação que pode ser compreendida tanto pelo cliente quanto pelo desenvolvedor. Uma vez que projetos de software possuem documentos precisos, engenheiros de software que tenham bom conhecimento em linguagens formais podem criar manualmente uma especificação formal com o propósito de validar as propriedades do sistema. No entanto, esta criação manual pode não cobrir todos os requisitos ou podem conter inconsistências. Desta forma, a geração automática de modelos formais a partir de documento de requisitos parece ser uma boa solução para este problema. Para alcançar este objetivo, os documentos de requisitos devem ser simples, diretos, uniformes e sem ambuiguidades. Para que isto aconteça, Linguagens Naturais Controladas (Controlled Natural Languages - CNL) são comumente utilizadas. Este trabalho faz parte do projeto de Pesquisa e Desenvolvimento do CIn Brazil Test Center (CInBTCRD), que é uma cooperação entre a Motorola e o Centro de Informática da Universidade Federal de Pernambuco (CIn-UFPE). Em primeiro lugar, este trabalho propõe uma linguagem restrita (CNL) para definir casos de uso contendo uma noção de estado, os quais consideram dados de entrada, saída, guarda e atualização de variáveis, como um complemento para a descrição textual. Depois disso, uma tradução automática dessa linguagem para a algebra de processos CSP foi proposta, a fim de permitir a análise formal de requisitos e geração de casos de teste. Finalmente, foi realizada a implementação e integração desta linguagem e sua tradução para CSP em uma ferramenta conhecida como TaRGeT, cujo propósito é a geração de casos de teste a partir de documentos de casos de uso que seguem um template padrão e são escritos utilizando uma CNL. A TaRGeT original não era capaz de lidar com definições de dados e as manipulações destes dados, e utiliza sistemas rotulados por transição (labelled transition systems) em vez de CSP, como formalismo. Para ilustrar as técnicas propostas neste trabalho, um estudo de caso foi realizado no ambiente da Motorola, adaptando um exemplo de caso de uso real da indústria de modo a encaixá-lo no nosso template. O documento de caso de uso considera situações de envio e recebimento de SMS/MMS, contendo uma feature com 7 casos de uso, incluindo definições e manipulações de dados, relacionamentos entre casos de uso e 6 fluxos alternativos. O CSP gerado contém 570 linhas de código e a verificação de suas propriedades foi checada com sucesso utilizando-se a ferramenta FDR, um verificador de modelo para CSPCIÊNCIA DA COMPUTAÇÃOCOMPUTAÇÃOENGENHARIA DE SOFTWAREARQUITETURA DE SOFTWAREExtração automática de modelos CSP a partir de casos de usoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisRecifeporreponame:Repositório Institucional de Geociências - RIGEOinstname:Companhia de Pesquisa de Recursos Minerais (CPRM)instacron:CPRMinfo:eu-repo/semantics/openAccessTEXTdissertacao_rbsa_final.pdf.txtdissertacao_rbsa_final.pdf.txtExtracted texttext/plain205174http://rigeo.cprm.gov.br/jspui/bitstream/doc/1192/3/dissertacao_rbsa_final.pdf.txt175f7bbcbfba28b35f890e6e38e04390MD53THUMBNAILdissertacao_rbsa_final.pdf.jpgdissertacao_rbsa_final.pdf.jpgGenerated Thumbnailimage/jpeg1231http://rigeo.cprm.gov.br/jspui/bitstream/doc/1192/4/dissertacao_rbsa_final.pdf.jpg8c69809fb65a24c8307eb42209bf12f8MD54ORIGINALdissertacao_rbsa_final.pdfdissertacao_rbsa_final.pdfproducao cientificaapplication/pdf3125474http://rigeo.cprm.gov.br/jspui/bitstream/doc/1192/1/dissertacao_rbsa_final.pdf127a694ac384496fa8a37d473ede57daMD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://rigeo.cprm.gov.br/jspui/bitstream/doc/1192/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52doc/11922023-03-31 09:56:31.115oai:rigeo.sgb.gov.br:doc/1192Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalONGhttps://rigeo.sgb.gov.br/oai/request https://rigeo.cprm.gov.br/oai/requestrigeo@sgb.gov.bropendoar:2023-03-31T12:56:31Repositório Institucional de Geociências - RIGEO - Companhia de Pesquisa de Recursos Minerais (CPRM)false
dc.title.pt_BR.fl_str_mv Extração automática de modelos CSP a partir de casos de uso
title Extração automática de modelos CSP a partir de casos de uso
spellingShingle Extração automática de modelos CSP a partir de casos de uso
ARAÚJO, Renata Bezerra e Silva de
CIÊNCIA DA COMPUTAÇÃO
COMPUTAÇÃO
ENGENHARIA DE SOFTWARE
ARQUITETURA DE SOFTWARE
title_short Extração automática de modelos CSP a partir de casos de uso
title_full Extração automática de modelos CSP a partir de casos de uso
title_fullStr Extração automática de modelos CSP a partir de casos de uso
title_full_unstemmed Extração automática de modelos CSP a partir de casos de uso
title_sort Extração automática de modelos CSP a partir de casos de uso
author ARAÚJO, Renata Bezerra e Silva de
author_facet ARAÚJO, Renata Bezerra e Silva de
author_role author
dc.contributor.author.fl_str_mv ARAÚJO, Renata Bezerra e Silva de
dc.subject.por.fl_str_mv CIÊNCIA DA COMPUTAÇÃO
COMPUTAÇÃO
ENGENHARIA DE SOFTWARE
ARQUITETURA DE SOFTWARE
topic CIÊNCIA DA COMPUTAÇÃO
COMPUTAÇÃO
ENGENHARIA DE SOFTWARE
ARQUITETURA DE SOFTWARE
description Dissertação Mestrado em Ciência da Computação
publishDate 2014
dc.date.accessioned.fl_str_mv 2014-05-05T18:19:09Z
dc.date.available.fl_str_mv 2014-05-05T18:19:09Z
dc.date.issued.fl_str_mv 2014
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv ARAÚJO, Renata Bezerra e Silva de. Extração automática de modelos CSP a partir de casos de uso. Orientador: Juliano Manabu Iyoda. 2011. 115 f. Dissertação (Mestrado em Ciência da Computação)-Centro de Informática, Universidade Federal de Pernambuco, Recife, 2011.
dc.identifier.uri.fl_str_mv https://rigeo.cprm.gov.br/handle/doc/1192
identifier_str_mv ARAÚJO, Renata Bezerra e Silva de. Extração automática de modelos CSP a partir de casos de uso. Orientador: Juliano Manabu Iyoda. 2011. 115 f. Dissertação (Mestrado em Ciência da Computação)-Centro de Informática, Universidade Federal de Pernambuco, Recife, 2011.
url https://rigeo.cprm.gov.br/handle/doc/1192
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Institucional de Geociências - RIGEO
instname:Companhia de Pesquisa de Recursos Minerais (CPRM)
instacron:CPRM
instname_str Companhia de Pesquisa de Recursos Minerais (CPRM)
instacron_str CPRM
institution CPRM
reponame_str Repositório Institucional de Geociências - RIGEO
collection Repositório Institucional de Geociências - RIGEO
bitstream.url.fl_str_mv http://rigeo.cprm.gov.br/jspui/bitstream/doc/1192/3/dissertacao_rbsa_final.pdf.txt
http://rigeo.cprm.gov.br/jspui/bitstream/doc/1192/4/dissertacao_rbsa_final.pdf.jpg
http://rigeo.cprm.gov.br/jspui/bitstream/doc/1192/1/dissertacao_rbsa_final.pdf
http://rigeo.cprm.gov.br/jspui/bitstream/doc/1192/2/license.txt
bitstream.checksum.fl_str_mv 175f7bbcbfba28b35f890e6e38e04390
8c69809fb65a24c8307eb42209bf12f8
127a694ac384496fa8a37d473ede57da
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional de Geociências - RIGEO - Companhia de Pesquisa de Recursos Minerais (CPRM)
repository.mail.fl_str_mv rigeo@sgb.gov.br
_version_ 1810104889034932224

Registros relacionados