Título: | GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI | |||||||
Autor: |
RAQUEL JAUFFRET GUILHON |
|||||||
Colaborador(es): |
ARNDT VON STAA - Orientador |
|||||||
Catalogação: | 30/ABR/2015 | Língua(s): | PORTUGUÊS - BRASIL |
|||||
Tipo: | TEXTO | Subtipo: | TESE | |||||
Notas: |
[pt] Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio. [en] All data contained in the documents are the sole responsibility of the authors. The data used in the descriptions of the documents are in conformity with the systems of the administration of PUC-Rio. |
|||||||
Referência(s): |
[pt] https://www.maxwell.vrac.puc-rio.br/projetosEspeciais/ETDs/consultas/conteudo.php?strSecao=resultado&nrSeq=24513&idi=1 [en] https://www.maxwell.vrac.puc-rio.br/projetosEspeciais/ETDs/consultas/conteudo.php?strSecao=resultado&nrSeq=24513&idi=2 |
|||||||
DOI: | https://doi.org/10.17771/PUCRio.acad.24513 | |||||||
Resumo: | ||||||||
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.
|
||||||||