Made available in DSpace on 2013-08-07T18:43:42Z (GMT). No. of bitstreams: 1
000407757-Texto+Completo-0.pdf: 1892544 bytes, checksum: 1bac1747159590e341299a53c6807c04 (MD5)
Previous issue date: 2008 / Testing of a workflow management system is necessary when there is a need for error detection in the execution of systems which support business processes. Since it is not possible to carry out exhausting tests, this research uses statistical tests in order to have an acceptable reliability with a smaller testing set. Besides making the representation of statistical information possible, Petri nets provide a formalism very suitable to describe business processes. The information relevant to the workflow statistical test is represented by using Petri nets in order to generate test cases from a net. This dissertation aims at presenting a solution for test case generation of workflow management systems. The object of these test cases is to interact with the user interface. Thus, in this work, a description of workflow automation and the testing of these systems is provided. The requirements for the formalization of a Petri net dialect are determined from this description. The formalization of the dialect used in the research is presented soon afterward. Furthermore, the application of this solution is illustrated. Due to the similar needs verified in the performance test in relation to the workflow management system test, a study of the application of this research solution to the performance test is conducted. / O teste de um sistema de gerenciamento de workflow se faz necessário no momento em que há a necessidade de detecção de erros na execução de sistemas que apóiam processos de negócio. Como não é viável a realização de testes exaustivos, esta pesquisa faz uso de teste estatístico para que se tenha uma confiabilidade aceitável com um conjunto de testes menor. Sabe-se que as redes de Petri, além de possibilitarem a representação de informações estatísticas, são um formalismo muito indicado para descrever processos de negócio. As informações relevantes ao teste estatístico de workflow são representadas utilizando redes de Petri, para então gerar casos de teste a partir de uma rede. Este trabalho tem o objetivo de apresentar uma solução para a geração de casos de teste para sistemas de gerenciamento de workflows. Estes casos de teste visam a interação com a interface de usuário. Assim, neste trabalho, é apresentada uma descrição referente à automação de workflows e ao teste destes sistemas. A partir desta descrição, são determinados os requisitos para a formalização de um dialeto de redes de Petri, para então ser apresentada a formalização do dialeto utilizado na pesquisa. Além disso, é ilustrada a aplicação desta solução. Devido às similares necessidades verificadas no teste de desempenho em relação ao teste de sistemas de gerenciamento de workflows, um estudo da aplicação da solução desta pesquisa ao teste de desempenho é realizado
| Identifer | oai:union.ndltd.org:IBICT/urn:repox.ist.utl.pt:RI_PUC_RS:oai:meriva.pucrs.br:10923/1705 |
| Date | January 2008 |
| Creators | Vieira, Hugo Vares |
| Contributors | Ruiz, Duncan Dubugras Alcoba |
| Publisher | Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da PUC_RS, instname:Pontifícia Universidade Católica do Rio Grande do Sul, instacron:PUC_RS |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0031 seconds