[pt] GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI

Detalhes bibliográficos
Autor(a) principal: RAQUEL JAUFFRET GUILHON
Data de Publicação: 2015
Tipo de documento: Outros
Idioma: por
Título da fonte: Repositório Institucional da PUC-RIO (Projeto Maxwell)
Texto Completo: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=24513@1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=24513@2
http://doi.org/10.17771/PUCRio.acad.24513
Resumo: [pt] Na etapa de testes de software, as falhas podem ser reveladas e em seguida diagnosticadas a fim de identificar os defeitos que a causaram. Os testes devem idealmente ser aplicados desde o nível da unidade até o nível mais elevado do software, como o teste de sistema. Em um destes níveis está o teste da interface gráfica, ou Graphical User Interface (GUI). Garantir o correto funcionamento da GUI quanto ao estado de seus elementos após diversos eventos de usuário, é tão importante quanto o teste de outras camadas, pois a GUI é um meio direto de interação com a aplicação, sendo o recurso que mais influencia em como será qualificada a experiência pelo usuário final. Este trabalho propõe uma abordagem de teste baseado em modelo, ou Model-Based Testing (MBT), utilizando Redes de Petri (RP) de alto nível para representar a interface gráfica. A Rede de Petri é uma ferramenta de modelagem e uma linguagem de especificação de base matemática que define graficamente a estrutura de sistemas especialmente concorrentes. Uma característica importante das RPs é que elas podem ser simuladas, permitindo que se observe o comportamento do sistema e que se obtenha a geração de casos de teste a partir dos caminhos executados na simulação. Foi investigada a geração de suítes de teste para interface gráfica a partir do modelo Rede de Petri. Para isso, considerou-se a relação entre as ações do usuário e os estados resultantes na GUI, percebendo como uma RP pode modelá-los. Uma ferramenta de apoio foi desenvolvida para que, a partir das simulações realizadas na Rede de Petri, suítes de teste fossem geradas na linguagem C mais mais, tornando possível a execução automática em um software de estudo. Por fim, o critério de teste Análise de Mutantes, que mede a eficácia da suíte gerada a partir da RP, foi empregado como um dos meios de validação deste trabalho.
id PUC_RIO-1_a3c1a48c0f849692c90fe4d80ce17ecb
oai_identifier_str oai:MAXWELL.puc-rio.br:24513
network_acronym_str PUC_RIO-1
network_name_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository_id_str 534
spelling [pt] GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI [en] GUI TEST SUITE AUTOMATIC GENERATION FROM PETRI NET [pt] REDE DE PETRI[pt] TESTE BASEADO EM MODELO[pt] TESTE DE GUI[pt] Na etapa de testes de software, as falhas podem ser reveladas e em seguida diagnosticadas a fim de identificar os defeitos que a causaram. Os testes devem idealmente ser aplicados desde o nível da unidade até o nível mais elevado do software, como o teste de sistema. Em um destes níveis está o teste da interface gráfica, ou Graphical User Interface (GUI). Garantir o correto funcionamento da GUI quanto ao estado de seus elementos após diversos eventos de usuário, é tão importante quanto o teste de outras camadas, pois a GUI é um meio direto de interação com a aplicação, sendo o recurso que mais influencia em como será qualificada a experiência pelo usuário final. Este trabalho propõe uma abordagem de teste baseado em modelo, ou Model-Based Testing (MBT), utilizando Redes de Petri (RP) de alto nível para representar a interface gráfica. A Rede de Petri é uma ferramenta de modelagem e uma linguagem de especificação de base matemática que define graficamente a estrutura de sistemas especialmente concorrentes. Uma característica importante das RPs é que elas podem ser simuladas, permitindo que se observe o comportamento do sistema e que se obtenha a geração de casos de teste a partir dos caminhos executados na simulação. Foi investigada a geração de suítes de teste para interface gráfica a partir do modelo Rede de Petri. Para isso, considerou-se a relação entre as ações do usuário e os estados resultantes na GUI, percebendo como uma RP pode modelá-los. Uma ferramenta de apoio foi desenvolvida para que, a partir das simulações realizadas na Rede de Petri, suítes de teste fossem geradas na linguagem C mais mais, tornando possível a execução automática em um software de estudo. Por fim, o critério de teste Análise de Mutantes, que mede a eficácia da suíte gerada a partir da RP, foi empregado como um dos meios de validação deste trabalho.[en] In software testing stage, faults can be revealed and then diagnosed to identify defects that caused it. Tests should ideally be applied from the unit level to the higher level of software, such as system testing. In one of these levels resides GUI (Graphical User Interface) testing. Ensuring the correct operation of the GUI on the state of its elements after various user events is as important as the other layers tests, since GUI is a direct way to interact with the application, being the feature that most influences how the experience will be qualified by the end user. This paper proposes a Model-Based Testing (MBT) approach using high-level Petri Nets (RP) to represent graphical user interface. Petri Net is a modeling tool and a mathematical specification language that graphically defines the structure of systems, specially the concurrent ones. An important feature of RPs is that they can be simulated, allowing one to observe the behavior of the system and to obtain the generation of test cases from the paths executed in the simulation. The generation of test suites for GUI from the Petri Net model was investigated. For this, we considered the relationship between user actions and resulting states in the GUI, realizing how an RP can model them. A support tool was developed so that, from the simulations of Petri Net, test suites were generated in C plus plus language, making it possible to auto-run them on a study software. Finally, the Mutation Analysis test criterion, which measures the effectiveness of the suite generated from RP, was employed as a means of validation of this work.MAXWELLARNDT VON STAARAQUEL JAUFFRET GUILHON2015-04-30info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/otherhttps://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=24513@1https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=24513@2http://doi.org/10.17771/PUCRio.acad.24513porreponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)instacron:PUC_RIOinfo:eu-repo/semantics/openAccess2019-08-08T00:00:00Zoai:MAXWELL.puc-rio.br:24513Repositório InstitucionalPRIhttps://www.maxwell.vrac.puc-rio.br/ibict.phpopendoar:5342019-08-08T00:00Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)false
dc.title.none.fl_str_mv [pt] GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI
[en] GUI TEST SUITE AUTOMATIC GENERATION FROM PETRI NET
title [pt] GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI
spellingShingle [pt] GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI
RAQUEL JAUFFRET GUILHON
[pt] REDE DE PETRI
[pt] TESTE BASEADO EM MODELO
[pt] TESTE DE GUI
title_short [pt] GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI
title_full [pt] GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI
title_fullStr [pt] GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI
title_full_unstemmed [pt] GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI
title_sort [pt] GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI
author RAQUEL JAUFFRET GUILHON
author_facet RAQUEL JAUFFRET GUILHON
author_role author
dc.contributor.none.fl_str_mv ARNDT VON STAA
dc.contributor.author.fl_str_mv RAQUEL JAUFFRET GUILHON
dc.subject.por.fl_str_mv [pt] REDE DE PETRI
[pt] TESTE BASEADO EM MODELO
[pt] TESTE DE GUI
topic [pt] REDE DE PETRI
[pt] TESTE BASEADO EM MODELO
[pt] TESTE DE GUI
description [pt] Na etapa de testes de software, as falhas podem ser reveladas e em seguida diagnosticadas a fim de identificar os defeitos que a causaram. Os testes devem idealmente ser aplicados desde o nível da unidade até o nível mais elevado do software, como o teste de sistema. Em um destes níveis está o teste da interface gráfica, ou Graphical User Interface (GUI). Garantir o correto funcionamento da GUI quanto ao estado de seus elementos após diversos eventos de usuário, é tão importante quanto o teste de outras camadas, pois a GUI é um meio direto de interação com a aplicação, sendo o recurso que mais influencia em como será qualificada a experiência pelo usuário final. Este trabalho propõe uma abordagem de teste baseado em modelo, ou Model-Based Testing (MBT), utilizando Redes de Petri (RP) de alto nível para representar a interface gráfica. A Rede de Petri é uma ferramenta de modelagem e uma linguagem de especificação de base matemática que define graficamente a estrutura de sistemas especialmente concorrentes. Uma característica importante das RPs é que elas podem ser simuladas, permitindo que se observe o comportamento do sistema e que se obtenha a geração de casos de teste a partir dos caminhos executados na simulação. Foi investigada a geração de suítes de teste para interface gráfica a partir do modelo Rede de Petri. Para isso, considerou-se a relação entre as ações do usuário e os estados resultantes na GUI, percebendo como uma RP pode modelá-los. Uma ferramenta de apoio foi desenvolvida para que, a partir das simulações realizadas na Rede de Petri, suítes de teste fossem geradas na linguagem C mais mais, tornando possível a execução automática em um software de estudo. Por fim, o critério de teste Análise de Mutantes, que mede a eficácia da suíte gerada a partir da RP, foi empregado como um dos meios de validação deste trabalho.
publishDate 2015
dc.date.none.fl_str_mv 2015-04-30
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/other
format other
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=24513@1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=24513@2
http://doi.org/10.17771/PUCRio.acad.24513
url https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=24513@1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=24513@2
http://doi.org/10.17771/PUCRio.acad.24513
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 MAXWELL
publisher.none.fl_str_mv MAXWELL
dc.source.none.fl_str_mv reponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)
instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
instname_str Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron_str PUC_RIO
institution PUC_RIO
reponame_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
collection Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository.name.fl_str_mv Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
repository.mail.fl_str_mv
_version_ 1814822590482481152