Ambiente de testes utilizando verificação de componentes java com tratamento de exceções (2008)
- Authors:
- Autor USP: XAVIER, KLEBER DA SILVA - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: ENGENHARIA DE PRODUÇÃO
- Language: Português
- Abstract: Um sistema de software que apresente problemas em sua execução pode gerar conseqüências desde um simples incômodo ao usuário até desastres como a perda de uma sonda da NASA em Marte. As atividades de teste visam identificar erros nos sistemas de software, prevenindo estas conseqüências indesejáveis. Porém, os testes podem envolver entre 30% e 40% do esforço de desenvolvimento do sistema e, em sistemas críticos, seu custo pode ser de 3 a 5 vezes maior do que o custo combinado das demais atividades. Para tentar reduzir estes custos, podemos automatizar parte das atividades. No presente caso, pretende-se minimizar os casos de teste gerados manualmente, utilizando uma técnica denominadaverificação de modelos. Esta técnica consiste em verificar propriedades definidas formalmente através de expressões matemáticas, utilizando uma ferramenta de verificação que simula a execução do código. Além disso, um sistema que utilize um tratamento de condições excepcionais eficiente, tem sua manutenibilidade, robustez e confiabilidade melhoradas. Por isso, definimos propriedades relacionadas ao tratamento de exceções, como ponto de entrada para a verificação de modelos. Apresentamos um ambiente de testes criado para permitir a verificação destas propriedades com o verificador Java PathFinder e a exibição das estatísticas de cobertura de testes de acordo com o critério selecionado. Este ambiente facilita a execução dos testes, pois apresenta uma interface gráfica com ousuário que permite a configuração e execução dos testes sem que seja necessária a escrita de código pelo testador. Apresentamos também o resultado do uso deste ambiente para o teste de vários programas exemplo, utilizando desde código concorrente até diferentes estratégias de tratamento de exceção e discutimos as características, cuidados no uso e limitaçòes das feramentas utilizadas
- Imprenta:
- Data da defesa: 17.04.2008
-
ABNT
XAVIER, Kleber da Silva. Ambiente de testes utilizando verificação de componentes java com tratamento de exceções. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/. Acesso em: 27 fev. 2026. -
APA
Xavier, K. da S. (2008). Ambiente de testes utilizando verificação de componentes java com tratamento de exceções (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/ -
NLM
Xavier K da S. Ambiente de testes utilizando verificação de componentes java com tratamento de exceções [Internet]. 2008 ;[citado 2026 fev. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/ -
Vancouver
Xavier K da S. Ambiente de testes utilizando verificação de componentes java com tratamento de exceções [Internet]. 2008 ;[citado 2026 fev. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
