Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
| Ano de defesa: | 2006 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Universidade Federal de Campina Grande
Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | http://dspace.sti.ufcg.edu.br:8080/jspui/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 |
UCB-2_4a3b5a8044b2d0faa3d6f4ed5f73d0dd |
|---|---|
| oai_identifier_str |
oai:localhost:riufcg/1537 |
| network_acronym_str |
UCB-2 |
| network_name_str |
Repositório Institucional da UCB |
| repository_id_str |
|
| spelling |
Geraçã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.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 SystemsCiência da Computação.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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGMACHADO, Patrícia Duarte de Lima.MACHADO, P. D. L.http://lattes.cnpq.br/2495918356675019GUERRERO, Dalton Dario Serey.MOTA, Alexandre Cabral.SILVA, Daniel Aguiar da.2006-05-262018-08-23T13:23:08Z2018-08-232018-08-23T13:23:08Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1537porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-23T18:25:08Zoai:localhost:riufcg/1537Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-23T18:25:08Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)false |
| dc.title.none.fl_str_mv |
Geraçã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. |
| 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. 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 Ciência da Computação. |
| 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.none.fl_str_mv |
MACHADO, Patrícia Duarte de Lima. MACHADO, P. D. L. http://lattes.cnpq.br/2495918356675019 GUERRERO, Dalton Dario Serey. MOTA, Alexandre Cabral. |
| dc.contributor.author.fl_str_mv |
SILVA, Daniel Aguiar da. |
| 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 Ciência da Computação. |
| topic |
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 Ciência da Computação. |
| 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.none.fl_str_mv |
2006-05-26 2018-08-23T13:23:08Z 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 |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1537 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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1537 |
| url |
http://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/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 Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
| publisher.none.fl_str_mv |
Universidade Federal de Campina Grande Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
| dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UCB instname:Universidade Católica de Brasília (UCB) instacron:UCB |
| instname_str |
Universidade Católica de Brasília (UCB) |
| instacron_str |
UCB |
| institution |
UCB |
| reponame_str |
Repositório Institucional da UCB |
| collection |
Repositório Institucional da UCB |
| repository.name.fl_str_mv |
Repositório Institucional da UCB - Universidade Católica de Brasília (UCB) |
| repository.mail.fl_str_mv |
sara.ribeiro@ucb.br |
| _version_ |
1834013137924259840 |