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: 07 fev. 2026. -
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 2026 fev. 07 ] 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 2026 fev. 07 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/ - Generating reduced tests for FSMs using a search-based testing approach
- Test case generation by EFSM extracted from UML sequence diagrams
- Teste baseado em modelos
- Fault-based testing for refinement in CSP
- Towards incremental FSM-based testing of software product lines
- This volume contains the short papers presented at SBMF 2011... [Prefácio]
- Proceedings of the 14. Brazilian Symposium on Formal Methods - SBMF 2011: short papers
- Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estados no contexto de sistemas embarcados
- Feature subset selection and instance filtering for cross-project defect prediction: classification and ranking
- Fault-based refinement-testing for CSP
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
