Proteum-RS/PN: uma ferramenta para a validação de Redes de Petri baseada na análise de mutantes (2000)
- Authors:
- Autor USP: SIMAO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- Sigla do Departamento: SCE
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Abstract: Sistemas reativos caracterizam-se por reagir continuamente a estímulos externos e internos e controlar atividades humanas. A ocorrência de falhas nesses sistemas pode resultar em grandes prejuízos. Dessa forma, o uso de métodos e técnicasrigorosas para a especificação do comportamento desse tipo de sistema é essencial, buscando-se evitar inconsistências e ambiguidades no modelo. Redes de Petri é uma das técnicas que têm sido usadas para a especificação de sistemas reativos.Teste e validação são atividades essenciais na produção dessa classe de sistemas. Por isso, o critério Análise de Mutantes, um critério de teste baseado em erros normalmente aplicado ao teste de programas, tem sido explorado no contexto de testede especificações de sistemas reativos. É necessário o desenvolvimento de ferramentas que apóiem sua utilização, visto que a aplicação manual do critério é impraticável. O objetivo deste trabalho é a implementação da ferramenta PROTEUM-RS/PN,que apóia a aplicação do critério Análise de Mutantes para validar especificações baseadas em Redes de Petri
- Imprenta:
- Publisher place: São Carlos
- Date published: 2000
- Data da defesa: 17.03.2000
-
ABNT
SIMÃO, Adenilso da Silva. Proteum-RS/PN: uma ferramenta para a validação de Redes de Petri baseada na análise de mutantes. 2000. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2000. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/. Acesso em: 05 out. 2024. -
APA
Simão, A. da S. (2000). Proteum-RS/PN: uma ferramenta para a validação de Redes de Petri baseada na análise de mutantes (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/ -
NLM
Simão A da S. Proteum-RS/PN: uma ferramenta para a validação de Redes de Petri baseada na análise de mutantes [Internet]. 2000 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/ -
Vancouver
Simão A da S. Proteum-RS/PN: uma ferramenta para a validação de Redes de Petri baseada na análise de mutantes [Internet]. 2000 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/ - Inferring FSM models of systems without reset
- This volume contains the papers presented at SBMF 2010... [Prefácio]
- Generating asynchronous test cases from test purposes
- Formal methods: foundations and applications
- Checking sequence generation using state distinguishing subsequences
- Model-based testing of web service compositions
- Experimental comparison of test case generation methods for finite state machines
- Model partitions and compact test case suites
- A holistic approach to model-based testing of Web service compositions
- Iterative minimization of partial finite state machines
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas