Teste baseado em modelos simbólicos para sistemas de tempo real.
Autor(a) principal: | |
---|---|
Data de Publicação: | 2011 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFCG |
Texto Completo: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2494 |
Resumo: | Sistemas de tempo real são aqueles cujo correto comportamento não depende somente dos resultados gerados, mas também de quando os resultados são gerados. Sistemas de tempo real são utilizados em diferentes contextos, como por exemplo, monitoramento de pacientes em hospitais, controle de tráfego aéreo e sistemas embarcados em robôs, eletrodomésticos, veículos, etc. Para esses sistemas, confiança é uma importante propriedade que demanda uma aplicação rigorosa das atividades de V & V, pois defeitos podem significar perdas em termos financeiros, ambientais ou humanos. Como custos e consequências de falhas podem ser elevados, verificação formal e verificação de modelos têm sido utilizadas no processo de V & V. Entretanto, como essas abordagens possuem limitações práticas, teste também é utilizado como uma abordagem complementar porque permite a execução de cenários reais em ambientes de execução reais. Consequentemente, há um crescente interesse na busca por metodologias, técnicas e ferramentas para dar suporte ao teste de sistemas de tempo real, que por sua vez possui inúmeros desafios, tais como implementações compostas por atividades paralelas com eventos síncronos e assíncronos (interrupções), diferentes arquiteturas para instalação, limitação de recursos e restrições de tempo no ambiente de execução. Esta tese foca no teste de conformidade baseado em modelos para sistemas de tempo real. Nesse contexto, a maioria das abordagens atuais baseia-se em máquinas de estados ou em timed automata. Entretanto, a maioria dos sistemas de tempo real manipula dados enquanto estão sujeitos a restrições de tempo. A solução usual consiste em enumerar os valores de dados (em domínios finitos) enquanto o tempo é tratado de forma simbólica, levando ao problema da explosão do espaço de estados. Esta tese propõe um novo modelo para sistemas de tempo real que combina modelos simbólicos com timed automata a fim de tratar dados e requisitos de tempo de maneira simbólica. Uma teoria de teste de conformidade que lida com esse modelo é proposta juntamente com um processo de geração de casos de teste baseado na combinação de execução simbólica e constraint solving para tratar dados e análise simbólica para tratar aspectos temporais. Além disso, a abordagem proposta dá suporte ao teste de interrupções. Finalmente, dois estudos de caso são executados para avaliar a aplicação prática da abordagem proposta. |
id |
UFCG_33a1c30e4632915bb67faec8591d0000 |
---|---|
oai_identifier_str |
oai:localhost:riufcg/2494 |
network_acronym_str |
UFCG |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository_id_str |
4851 |
spelling |
MACHADO, Patricia Duarte de Lima.MACHADO, P.D.L.http://lattes.cnpq.br/2495918356675019MASSONI, TIAGO LIMA;http://lattes.cnpq.br/3563923906851611GHEIL, Rohit.SAMPAIO, Augusto Cezar Alves.http://lattes.cnpq.br/3977760354511853DEHARBE, David Paul Boris.http://lattes.cnpq.br/2985658685449858ANDRADE, W. L.http://lattes.cnpq.br/3697205933296303ANDRADE, Wilkerson de Lucena.Sistemas de tempo real são aqueles cujo correto comportamento não depende somente dos resultados gerados, mas também de quando os resultados são gerados. Sistemas de tempo real são utilizados em diferentes contextos, como por exemplo, monitoramento de pacientes em hospitais, controle de tráfego aéreo e sistemas embarcados em robôs, eletrodomésticos, veículos, etc. Para esses sistemas, confiança é uma importante propriedade que demanda uma aplicação rigorosa das atividades de V & V, pois defeitos podem significar perdas em termos financeiros, ambientais ou humanos. Como custos e consequências de falhas podem ser elevados, verificação formal e verificação de modelos têm sido utilizadas no processo de V & V. Entretanto, como essas abordagens possuem limitações práticas, teste também é utilizado como uma abordagem complementar porque permite a execução de cenários reais em ambientes de execução reais. Consequentemente, há um crescente interesse na busca por metodologias, técnicas e ferramentas para dar suporte ao teste de sistemas de tempo real, que por sua vez possui inúmeros desafios, tais como implementações compostas por atividades paralelas com eventos síncronos e assíncronos (interrupções), diferentes arquiteturas para instalação, limitação de recursos e restrições de tempo no ambiente de execução. Esta tese foca no teste de conformidade baseado em modelos para sistemas de tempo real. Nesse contexto, a maioria das abordagens atuais baseia-se em máquinas de estados ou em timed automata. Entretanto, a maioria dos sistemas de tempo real manipula dados enquanto estão sujeitos a restrições de tempo. A solução usual consiste em enumerar os valores de dados (em domínios finitos) enquanto o tempo é tratado de forma simbólica, levando ao problema da explosão do espaço de estados. Esta tese propõe um novo modelo para sistemas de tempo real que combina modelos simbólicos com timed automata a fim de tratar dados e requisitos de tempo de maneira simbólica. Uma teoria de teste de conformidade que lida com esse modelo é proposta juntamente com um processo de geração de casos de teste baseado na combinação de execução simbólica e constraint solving para tratar dados e análise simbólica para tratar aspectos temporais. Além disso, a abordagem proposta dá suporte ao teste de interrupções. Finalmente, dois estudos de caso são executados para avaliar a aplicação prática da abordagem proposta.Sistemas de tempo real são aqueles cujo correto comportamento não depende somente dos resultados gerados, mas também de quando os resultados são gerados. Sistemas de tempo real são utilizados em diferentes contextos, como por exemplo, monitoramento de pacientes em hospitais, controle de tráfego aéreo e sistemas embarcados em robôs, eletrodomésticos, veículos, etc. Para esses sistemas, confiança é uma importante propriedade que demanda uma aplicação rigorosa das atividades de V & V, pois defeitos podem significar perdas em termos financeiros, ambientais ou humanos. Como custos e consequências de falhas podem ser elevados, verificação formal e verificação de modelos têm sido utilizadas no processo de V & V. Entretanto, como essas abordagens possuem limitações práticas, teste também é utilizado como uma abordagem complementar porque permite a execução de cenários reais em ambientes de execução reais. Consequentemente, há um crescente interesse na busca por metodologias, técnicas e ferramentas para dar suporte ao teste de sistemas de tempo real, que por sua vez possui inúmeros desafios, tais como implementações compostas por atividades paralelas com eventos síncronos e assíncronos (interrupções), diferentes arquiteturas para instalação, limitação de recursos e restrições de tempo no ambiente de execução. Esta tese foca no teste de conformidade baseado em modelos para sistemas de tempo real. Nesse contexto, a maioria das abordagens atuais baseia-se em máquinas de estados ou em timed automata. Entretanto, a maioria dos sistemas de tempo real manipula dados enquanto estão sujeitos a restrições de tempo. A solução usual consiste em enumerar os valores de dados (em domínios finitos) enquanto o tempo é tratado de forma simbólica, levando ao problema da explosão do espaço de estados. Esta tese propõe um novo modelo para sistemas de tempo real que combina modelos simbólicos com timed automata a fim de tratar dados e requisitos de tempo de maneira simbólica. Uma teoria de teste de conformidade que lida com esse modelo é proposta juntamente com um processo de geração de casos de teste baseado na combinação de execução simbólica e constraint solving para tratar dados e análise simbólica para tratar aspectos temporais. Além disso, a abordagem proposta dá suporte ao teste de interrupções. Finalmente, dois estudos de caso são executados para avaliar a aplicação prática da abordagem proposta.Submitted by Deyse Queiroz (deysequeirozz@hotmail.com) on 2019-01-10T10:21:08Z No. of bitstreams: 1 WILKERSON DE LUCENA ANDRADE - PPGCC TESE 2011..pdf: 11835220 bytes, checksum: f9e34d0f49ab58929dc1d88181e59908 (MD5)Made available in DSpace on 2019-01-10T10:21:08Z (GMT). No. of bitstreams: 1 WILKERSON DE LUCENA ANDRADE - PPGCC TESE 2011..pdf: 11835220 bytes, checksum: f9e34d0f49ab58929dc1d88181e59908 (MD5) Previous issue date: 2011-04Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEICiência da computação.Teste baseado em modelosSistemas de tempo realModelos simbólicos - computaçãoModelagem computacionalTeste de softwareReal time systemssoftware testingTeste baseado em modelos simbólicos para sistemas de tempo real.Test based on symbolic models for real-time systems.2011-042019-01-10T10:21:08Z2019-01-102019-01-10T10:21:08Zhttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2494ANDRADE, Wilkerson de Lucena Andrade. Teste baseado em modelos simbólicos para sistemas de tempo real. 388f. 2011. (Tese de Doutorado em Ciência da Computação), Pós-Graduação em Ciência da computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Brasil, 2011. Disponível em; http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2494info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGORIGINALWILKERSON DE LUCENA ANDRADE - PPGCC TESE 2011..pdfWILKERSON DE LUCENA ANDRADE - PPGCC TESE 2011..pdfapplication/pdf12183440http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/2494/3/WILKERSON+DE+LUCENA+ANDRADE+-+PPGCC+TESE++2011..pdf3e4666e1f7a4150197d6c93c3364f4cfMD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/2494/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/24942022-03-14 15:18:47.526oai:localhost:riufcg/2494Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512024-07-01T09:57:47.668587Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false |
dc.title.pt_BR.fl_str_mv |
Teste baseado em modelos simbólicos para sistemas de tempo real. |
dc.title.alternative.pt_BR.fl_str_mv |
Test based on symbolic models for real-time systems. |
title |
Teste baseado em modelos simbólicos para sistemas de tempo real. |
spellingShingle |
Teste baseado em modelos simbólicos para sistemas de tempo real. ANDRADE, Wilkerson de Lucena. Ciência da computação. Teste baseado em modelos Sistemas de tempo real Modelos simbólicos - computação Modelagem computacional Teste de software Real time systems software testing |
title_short |
Teste baseado em modelos simbólicos para sistemas de tempo real. |
title_full |
Teste baseado em modelos simbólicos para sistemas de tempo real. |
title_fullStr |
Teste baseado em modelos simbólicos para sistemas de tempo real. |
title_full_unstemmed |
Teste baseado em modelos simbólicos para sistemas de tempo real. |
title_sort |
Teste baseado em modelos simbólicos para sistemas de tempo real. |
author |
ANDRADE, Wilkerson de Lucena. |
author_facet |
ANDRADE, Wilkerson de Lucena. |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
MACHADO, Patricia Duarte de Lima. |
dc.contributor.advisor1ID.fl_str_mv |
MACHADO, P.D.L. |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/2495918356675019 |
dc.contributor.referee1.fl_str_mv |
MASSONI, TIAGO LIMA; |
dc.contributor.referee1Lattes.fl_str_mv |
http://lattes.cnpq.br/3563923906851611 |
dc.contributor.referee2.fl_str_mv |
GHEIL, Rohit. |
dc.contributor.referee3.fl_str_mv |
SAMPAIO, Augusto Cezar Alves. |
dc.contributor.referee3Lattes.fl_str_mv |
http://lattes.cnpq.br/3977760354511853 |
dc.contributor.referee4.fl_str_mv |
DEHARBE, David Paul Boris. |
dc.contributor.referee4Lattes.fl_str_mv |
http://lattes.cnpq.br/2985658685449858 |
dc.contributor.authorID.fl_str_mv |
ANDRADE, W. L. |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/3697205933296303 |
dc.contributor.author.fl_str_mv |
ANDRADE, Wilkerson de Lucena. |
contributor_str_mv |
MACHADO, Patricia Duarte de Lima. MASSONI, TIAGO LIMA; GHEIL, Rohit. SAMPAIO, Augusto Cezar Alves. DEHARBE, David Paul Boris. |
dc.subject.cnpq.fl_str_mv |
Ciência da computação. |
topic |
Ciência da computação. Teste baseado em modelos Sistemas de tempo real Modelos simbólicos - computação Modelagem computacional Teste de software Real time systems software testing |
dc.subject.por.fl_str_mv |
Teste baseado em modelos Sistemas de tempo real Modelos simbólicos - computação Modelagem computacional Teste de software Real time systems software testing |
description |
Sistemas de tempo real são aqueles cujo correto comportamento não depende somente dos resultados gerados, mas também de quando os resultados são gerados. Sistemas de tempo real são utilizados em diferentes contextos, como por exemplo, monitoramento de pacientes em hospitais, controle de tráfego aéreo e sistemas embarcados em robôs, eletrodomésticos, veículos, etc. Para esses sistemas, confiança é uma importante propriedade que demanda uma aplicação rigorosa das atividades de V & V, pois defeitos podem significar perdas em termos financeiros, ambientais ou humanos. Como custos e consequências de falhas podem ser elevados, verificação formal e verificação de modelos têm sido utilizadas no processo de V & V. Entretanto, como essas abordagens possuem limitações práticas, teste também é utilizado como uma abordagem complementar porque permite a execução de cenários reais em ambientes de execução reais. Consequentemente, há um crescente interesse na busca por metodologias, técnicas e ferramentas para dar suporte ao teste de sistemas de tempo real, que por sua vez possui inúmeros desafios, tais como implementações compostas por atividades paralelas com eventos síncronos e assíncronos (interrupções), diferentes arquiteturas para instalação, limitação de recursos e restrições de tempo no ambiente de execução. Esta tese foca no teste de conformidade baseado em modelos para sistemas de tempo real. Nesse contexto, a maioria das abordagens atuais baseia-se em máquinas de estados ou em timed automata. Entretanto, a maioria dos sistemas de tempo real manipula dados enquanto estão sujeitos a restrições de tempo. A solução usual consiste em enumerar os valores de dados (em domínios finitos) enquanto o tempo é tratado de forma simbólica, levando ao problema da explosão do espaço de estados. Esta tese propõe um novo modelo para sistemas de tempo real que combina modelos simbólicos com timed automata a fim de tratar dados e requisitos de tempo de maneira simbólica. Uma teoria de teste de conformidade que lida com esse modelo é proposta juntamente com um processo de geração de casos de teste baseado na combinação de execução simbólica e constraint solving para tratar dados e análise simbólica para tratar aspectos temporais. Além disso, a abordagem proposta dá suporte ao teste de interrupções. Finalmente, dois estudos de caso são executados para avaliar a aplicação prática da abordagem proposta. |
publishDate |
2011 |
dc.date.issued.fl_str_mv |
2011-04 |
dc.date.accessioned.fl_str_mv |
2019-01-10T10:21:08Z |
dc.date.available.fl_str_mv |
2019-01-10 2019-01-10T10:21:08Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2494 |
dc.identifier.citation.fl_str_mv |
ANDRADE, Wilkerson de Lucena Andrade. Teste baseado em modelos simbólicos para sistemas de tempo real. 388f. 2011. (Tese de Doutorado em Ciência da Computação), Pós-Graduação em Ciência da computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Brasil, 2011. Disponível em; http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2494 |
url |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2494 |
identifier_str_mv |
ANDRADE, Wilkerson de Lucena Andrade. Teste baseado em modelos simbólicos para sistemas de tempo real. 388f. 2011. (Tese de Doutorado em Ciência da Computação), Pós-Graduação em Ciência da computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Brasil, 2011. Disponível em; http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2494 |
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.publisher.none.fl_str_mv |
Universidade Federal de Campina Grande |
dc.publisher.program.fl_str_mv |
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO |
dc.publisher.initials.fl_str_mv |
UFCG |
dc.publisher.country.fl_str_mv |
Brasil |
dc.publisher.department.fl_str_mv |
Centro de Engenharia Elétrica e Informática - CEEI |
publisher.none.fl_str_mv |
Universidade Federal de Campina Grande |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFCG instname:Universidade Federal de Campina Grande (UFCG) instacron:UFCG |
instname_str |
Universidade Federal de Campina Grande (UFCG) |
instacron_str |
UFCG |
institution |
UFCG |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
collection |
Biblioteca Digital de Teses e Dissertações da UFCG |
bitstream.url.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/2494/3/WILKERSON+DE+LUCENA+ANDRADE+-+PPGCC+TESE++2011..pdf http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/2494/2/license.txt |
bitstream.checksum.fl_str_mv |
3e4666e1f7a4150197d6c93c3364f4cf 8a4605be74aa9ea9d79846c1fba20a33 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG) |
repository.mail.fl_str_mv |
bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br |
_version_ |
1803396534575824896 |