Validação de especificações de sistemas reativos: definição e análise de critérios de teste (2000)
- Authors:
- Autor USP: SOUZA, SIMONE DO ROCIO SENGER DE - IFSC
- Unidade: IFSC
- Sigla do Departamento: FFI
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Abstract: Este trabalho investiga a aplicação de critérios de teste para o teste de especificações do aspecto comportamental de Sistemas Reativos, descritos em Estelle e em Statecharts. A utilização de Sistemas Reativos em várias atividades humanas, requer uma maior qualidade tanto do produto como do processo de desenvolvimento, pois falhas nesses sistemas podem ocasionar riscos para vidas humanas e perdas econômicas. Os critérios de teste propostos nesta tese visam a fornecer uma medida de cobertura dos testes, permitindo que a qualidade da atividade de teste possa ser mensurada e avaliada. Esta tese apresenta contribuições para as três atividades fundamentais no contexto de teste de software, que são: definição de critérios de teste, desenvolvimento de estudos teóricos/empíricos e desenvolvimento de ferramentas. Com relação à definição de critérios de teste, é proposta a aplicação do Teste de Mutação para Estelle e a aplicação de critérios de Fluxo de Controle para Estelle e Statecharts. Para o Teste de Mutação, são identificados os tipos de erros em especificações Estelle, definidos os operadores de mutação, estratégias de teste incrementais e critérios de mutação alternativa que visam a diminuir o custo de aplicação desse critério. Para os critérios de Fluxo de Controle, foram definidas duas famílias de critérios: FCCS - Família de Critérios de Cobertura para Statecharts e FCCE - Família de Critérios de Cobertura para Estelle. Estudos teóricos são realizadosvisando a analisar a complexidade do Teste de Mutação para Estelle e a relação de inclusão dos critérios FCCS e FCCE. Estudos empíricos são realizados visando a comparar os critérios de teste definidos e a analisar a sua aplicação durante a simulação de especificações Estelle e Statecharts. Com relação ao desenvolvimento de ferramentas, a família de ferramentas Proteum, que apóia a aplicação do teste de Mutação, e os ambientes para simulação de especificações ) Estelle (EDT) e Statecharts (StaSim) fornecem uma base essencial para o desenvolvimento das ferramentas. São apresentadas algumas ponderações que devem ser consideradas para a definição de ferramentas de apoio à aplicação dos critérios propostos
- Imprenta:
- Publisher place: São Carlos
- Date published: 2000
- Data da defesa: 14.12.2000
-
ABNT
SOUZA, Simone do Rocio Senger de. Validação de especificações de sistemas reativos: definição e análise de critérios de teste. 2000. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2000. Disponível em: http://www.teses.usp.br/teses/disponiveis/76/76132/tde-27112008-085629/. Acesso em: 24 fev. 2026. -
APA
Souza, S. do R. S. de. (2000). Validação de especificações de sistemas reativos: definição e análise de critérios de teste (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/76/76132/tde-27112008-085629/ -
NLM
Souza S do RS de. Validação de especificações de sistemas reativos: definição e análise de critérios de teste [Internet]. 2000 ;[citado 2026 fev. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/76/76132/tde-27112008-085629/ -
Vancouver
Souza S do RS de. Validação de especificações de sistemas reativos: definição e análise de critérios de teste [Internet]. 2000 ;[citado 2026 fev. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/76/76132/tde-27112008-085629/ - Abordagem flipped classroom em comparação com o modelo tradicional de ensino: uma investigação empírica no âmbito de teste de software
- Search-based mutation testing para programas concorrentes
- Construção de plataformas digitais durante o ensino de engenharia de software: um relato de experiência
- Evaluating the user acceptance testing for multi-tenant cloud applications
- Construção de aplicativos sociais durante o ensino de engenharia de software: um relato de experiência
- Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes
- Evaluating the impact of different testers on model-based testing
- Uma experiência sobre a aplicação de aprendizagem baseada em projetos com revisão por pares no ensino de gestão de sistemas de informação
- Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes
- Achievements, challenges and opportunities on mutation testing of concurrent programs
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
