Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: SILVA, Daniel Aguiar da. lattes
Orientador(a): MACHADO, Patrícia Duarte de Lima. lattes
Banca de defesa: GUERRERO, Dalton Dario Serey., MOTA, Alexandre Cabral.
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Departamento: Centro de Engenharia Elétrica e Informática - CEEI
País: Brasil
Palavras-chave em Português:
Teste de Software
Sistemas Reativos
Técnica de Verificação de Modelos - CTL
Teste de Conformidade
Framework Formal
Verificação de Modelos - Computação
Geração de Objetivos de Teste
Protocolo IP Móvel
Software Testing
Reactive Systems
Área do conhecimento CNPq:
Ciência da Computação.
Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/1537
Resumo: Técnicas e ferramentas de testes formais baseados em modelos têm sido desenvolvidas para tornar mais rigoroso e eficiente o processo de teste de sistemas reativos com características de distribuição e concorrência. O não-determinismo inerente a estes sistemas torna os difíceis de serem testados, devido à alta complexidade de obtenção das configurações necessárias para execução dos casos de teste. As propriedades especificadas para estes sistemas são a base para a geração dos casos de teste de conformidade, que devem avaliar a correspondência entre modelo e código. Estas propriedades, denominadas objetivos de teste, devem ser especificadas de maneira a guiar a geração dos casos de teste. Entretanto, a especificação dos objetivos de teste a partir de modelos complexos como os destes sistemas ainda carece de técnicas e ferramentas apropriadas, tornando esta atividade propensa a erros. Os casos de teste podem assim, ter efetividade afetada em caso de erros na especificação dos objetivosdeteste. Comoobjetivodecontribuirparaasoluçãodesteproblema,estetrabalho apresenta técnica de geração de objetivos de teste para sistemas reativos, baseando-se na técnica de verificação de modelos CTL. A técnica proposta visa usufruir da eficiência dos algoritmos da verificação de modelos, por meio de sua adaptação para a análise destes, para a geração dos objetivos de teste.
id UFCG_580fb7873051867d1bd2d2ffb71bee82
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/1537
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling MACHADO, Patrícia Duarte de Lima.MACHADO, P. D. L.http://lattes.cnpq.br/2495918356675019GUERRERO, Dalton Dario Serey.MOTA, Alexandre Cabral.SILVA, D. A.http://lattes.cnpq.br/0957879919581462SILVA, Daniel Aguiar da.Técnicas e ferramentas de testes formais baseados em modelos têm sido desenvolvidas para tornar mais rigoroso e eficiente o processo de teste de sistemas reativos com características de distribuição e concorrência. O não-determinismo inerente a estes sistemas torna os difíceis de serem testados, devido à alta complexidade de obtenção das configurações necessárias para execução dos casos de teste. As propriedades especificadas para estes sistemas são a base para a geração dos casos de teste de conformidade, que devem avaliar a correspondência entre modelo e código. Estas propriedades, denominadas objetivos de teste, devem ser especificadas de maneira a guiar a geração dos casos de teste. Entretanto, a especificação dos objetivos de teste a partir de modelos complexos como os destes sistemas ainda carece de técnicas e ferramentas apropriadas, tornando esta atividade propensa a erros. Os casos de teste podem assim, ter efetividade afetada em caso de erros na especificação dos objetivosdeteste. Comoobjetivodecontribuirparaasoluçãodesteproblema,estetrabalho apresenta técnica de geração de objetivos de teste para sistemas reativos, baseando-se na técnica de verificação de modelos CTL. A técnica proposta visa usufruir da eficiência dos algoritmos da verificação de modelos, por meio de sua adaptação para a análise destes, para a geração dos objetivos de teste.Techniques and tools for model based testing have been developed to make the process of testing distributed concurrent reactive systems more efficient and rigorous. The inherent nondeterminism of these systems can make it difficult to test them due to the complex process of obtaining test cases configurations from models. To better guide the testing process, properties specified to these systems are used as basis for the test case generation. Such properties, called test purposes, shall be exhibitedby the implementation under test through test case execution. However, specifying test purposes from the common complex and large models of these systems suffers from the lack of appropriated tools and techniques, making it error-prone and inadequate. Thus, test cases based on such test purposes may be affected, getting no desirable soundness. Aiming at solving this problem, we present a technique for test purpose generation for reactive systems based on the CTL model checking technique. We aim at taking benefit from the efficiency of model checking algorithms to better analyze the models to generate the test purposes.Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-23T13:23:08Z No. of bitstreams: 1 DANIEL AGUIAR DA SILVA - DISS PPGCC 2006..pdf: 730843 bytes, checksum: e5d7ebe87ab82d200f68fb0b5b0df784 (MD5)Made available in DSpace on 2018-08-23T13:23:08Z (GMT). No. of bitstreams: 1 DANIEL AGUIAR DA SILVA - DISS PPGCC 2006..pdf: 730843 bytes, checksum: e5d7ebe87ab82d200f68fb0b5b0df784 (MD5) Previous issue date: 2006-05-26Universidade 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 de SoftwareSistemas ReativosTécnica de Verificação de Modelos - CTLTeste de ConformidadeFramework FormalVerificação de Modelos - ComputaçãoGeração de Objetivos de TesteProtocolo IP MóvelSoftware TestingReactive SystemsGeração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.Generation of test objectives of reactive systems based on CTL verification technique.2006-05-262018-08-23T13:23:08Z2018-08-232018-08-23T13:23:08Zhttps://dspace.sti.ufcg.edu.br/handle/riufcg/1537SILVA, Daniel Aguiar da. Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL. 2006. 103 f. (Dissertação de Mestrado em Ciência da Computação) Programa de Pós-graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande - Paraíba - Brasil, 2006. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/1537info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGTEXTDANIEL AGUIAR DA SILVA - DISS PPGCC 2006..txtDANIEL AGUIAR DA SILVA - DISS PPGCC 2006..txttext/plain183742https://dspace.sti.ufcg.edu.br/bitstream/riufcg/1537/4/DANIEL+AGUIAR+DA+SILVA+-+DISS+PPGCC+2006..txt3b985f315fe6fb2f13b118aa9642548eMD54ORIGINALDANIEL AGUIAR DA SILVA - DISS PPGCC 2006.DANIEL AGUIAR DA SILVA - DISS PPGCC 2006.application/pdf840358https://dspace.sti.ufcg.edu.br/bitstream/riufcg/1537/3/DANIEL+AGUIAR+DA+SILVA+-+DISS+PPGCC+2006.14c02ae8e92a65ecd0612d2089383433MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/1537/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/15372025-07-24 03:21:37.626oai:dspace.sti.ufcg.edu.br:riufcg/1537Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=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:48512025-07-24T06:21:37Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
dc.title.alternative.pt_BR.fl_str_mv Generation of test objectives of reactive systems based on CTL verification technique.
title Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
spellingShingle Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
SILVA, Daniel Aguiar da.
Ciência da Computação.
Teste de Software
Sistemas Reativos
Técnica de Verificação de Modelos - CTL
Teste de Conformidade
Framework Formal
Verificação de Modelos - Computação
Geração de Objetivos de Teste
Protocolo IP Móvel
Software Testing
Reactive Systems
title_short Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
title_full Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
title_fullStr Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
title_full_unstemmed Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
title_sort Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
author SILVA, Daniel Aguiar da.
author_facet SILVA, Daniel Aguiar da.
author_role author
dc.contributor.advisor1.fl_str_mv MACHADO, Patrícia 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 GUERRERO, Dalton Dario Serey.
dc.contributor.referee2.fl_str_mv MOTA, Alexandre Cabral.
dc.contributor.authorID.fl_str_mv SILVA, D. A.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/0957879919581462
dc.contributor.author.fl_str_mv SILVA, Daniel Aguiar da.
contributor_str_mv MACHADO, Patrícia Duarte de Lima.
GUERRERO, Dalton Dario Serey.
MOTA, Alexandre Cabral.
dc.subject.cnpq.fl_str_mv Ciência da Computação.
topic Ciência da Computação.
Teste de Software
Sistemas Reativos
Técnica de Verificação de Modelos - CTL
Teste de Conformidade
Framework Formal
Verificação de Modelos - Computação
Geração de Objetivos de Teste
Protocolo IP Móvel
Software Testing
Reactive Systems
dc.subject.por.fl_str_mv Teste de Software
Sistemas Reativos
Técnica de Verificação de Modelos - CTL
Teste de Conformidade
Framework Formal
Verificação de Modelos - Computação
Geração de Objetivos de Teste
Protocolo IP Móvel
Software Testing
Reactive Systems
description Técnicas e ferramentas de testes formais baseados em modelos têm sido desenvolvidas para tornar mais rigoroso e eficiente o processo de teste de sistemas reativos com características de distribuição e concorrência. O não-determinismo inerente a estes sistemas torna os difíceis de serem testados, devido à alta complexidade de obtenção das configurações necessárias para execução dos casos de teste. As propriedades especificadas para estes sistemas são a base para a geração dos casos de teste de conformidade, que devem avaliar a correspondência entre modelo e código. Estas propriedades, denominadas objetivos de teste, devem ser especificadas de maneira a guiar a geração dos casos de teste. Entretanto, a especificação dos objetivos de teste a partir de modelos complexos como os destes sistemas ainda carece de técnicas e ferramentas apropriadas, tornando esta atividade propensa a erros. Os casos de teste podem assim, ter efetividade afetada em caso de erros na especificação dos objetivosdeteste. Comoobjetivodecontribuirparaasoluçãodesteproblema,estetrabalho apresenta técnica de geração de objetivos de teste para sistemas reativos, baseando-se na técnica de verificação de modelos CTL. A técnica proposta visa usufruir da eficiência dos algoritmos da verificação de modelos, por meio de sua adaptação para a análise destes, para a geração dos objetivos de teste.
publishDate 2006
dc.date.issued.fl_str_mv 2006-05-26
dc.date.accessioned.fl_str_mv 2018-08-23T13:23:08Z
dc.date.available.fl_str_mv 2018-08-23
2018-08-23T13:23:08Z
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.uri.fl_str_mv https://dspace.sti.ufcg.edu.br/handle/riufcg/1537
dc.identifier.citation.fl_str_mv SILVA, Daniel Aguiar da. Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL. 2006. 103 f. (Dissertação de Mestrado em Ciência da Computação) Programa de Pós-graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande - Paraíba - Brasil, 2006. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/1537
url https://dspace.sti.ufcg.edu.br/handle/riufcg/1537
identifier_str_mv SILVA, Daniel Aguiar da. Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL. 2006. 103 f. (Dissertação de Mestrado em Ciência da Computação) Programa de Pós-graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande - Paraíba - Brasil, 2006. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/1537
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 https://dspace.sti.ufcg.edu.br/bitstream/riufcg/1537/4/DANIEL+AGUIAR+DA+SILVA+-+DISS+PPGCC+2006..txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/1537/3/DANIEL+AGUIAR+DA+SILVA+-+DISS+PPGCC+2006.
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/1537/2/license.txt
bitstream.checksum.fl_str_mv 3b985f315fe6fb2f13b118aa9642548e
14c02ae8e92a65ecd0612d2089383433
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
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_ 1863363390642061312

Registros relacionados