Exportar registro bibliográfico

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
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      XAVIER, Kleber da Silva; MELO, Ana Cristina Vieira de. Ambiente de testes utilizando verificação de componentes java com tratamento de exceções. 2008.Universidade de São Paulo, São Paulo, 2008. Disponível em: < http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/ >.
    • APA

      Xavier, K. da S., & Melo, A. C. V. de. (2008). Ambiente de testes utilizando verificação de componentes java com tratamento de exceções. 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, Melo ACV de. Ambiente de testes utilizando verificação de componentes java com tratamento de exceções [Internet]. 2008 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/
    • Vancouver

      Xavier K da S, Melo ACV de. Ambiente de testes utilizando verificação de componentes java com tratamento de exceções [Internet]. 2008 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021