Extração de casos de teste utilizando redes de Petri hierárquicas e validação de resultados utilizando OWL (2015)
- Authors:
- Autor USP: BAUMGARTNER NETO, AUGUST - EP
- Unidade: EP
- Sigla do Departamento: PMR
- Subjects: REDES DE PETRI; WEB SEMÂNTICA; ONTOLOGIA
- Language: Português
- Abstract: Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (“bottom-up”), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (“Web Ontology Language”) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um “reasoner” para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente.O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa-branca.
- Imprenta:
- Data da defesa: 27.04.2015
-
ABNT
BAUMGARTNER NETO, August. Extração de casos de teste utilizando redes de Petri hierárquicas e validação de resultados utilizando OWL. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22062016-075239/. Acesso em: 16 abr. 2024. -
APA
Baumgartner Neto, A. (2015). Extração de casos de teste utilizando redes de Petri hierárquicas e validação de resultados utilizando OWL (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22062016-075239/ -
NLM
Baumgartner Neto A. Extração de casos de teste utilizando redes de Petri hierárquicas e validação de resultados utilizando OWL [Internet]. 2015 ;[citado 2024 abr. 16 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22062016-075239/ -
Vancouver
Baumgartner Neto A. Extração de casos de teste utilizando redes de Petri hierárquicas e validação de resultados utilizando OWL [Internet]. 2015 ;[citado 2024 abr. 16 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22062016-075239/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
