Exportar registro bibliográfico

Teste e verificação formal do comportamento excepcional de programas Java (2014)

  • Authors:
  • Autor USP: MARTINS, ALEXANDRE LOCCI - IME
  • Unidade: IME
  • Sigla do Departamento: MAC
  • Assunto: ENGENHARIA DE PROGRAMAS
  • Language: Português
  • Abstract: Estruturas de tratamento de exceção são extremamente comuns em softwares desenvolvidos em linguagens modernas, como Java, e afetam de forma contundente o comportamento de um software quando exercitadas. Apesar destas duas características, as principais técnicas de verificação, teste de software e verificação formal, e as ferramentas a elas vinculadas, tendem a negligenciar o comportamento excepcional. Alguns dos fatores que levam a esta negligência são a não especificação do comportamento excepcional em termos de projeto e a consequente implementação das estruturas de tratamento com base no julgamento individual de cada programador. Isto resulta na não consideração de partes expressivas do código em termos de verificação e, consequentemente, a possibilidade de não serem detectados erros relativos tanto as próprias estruturas de tratamento quanto as estruturas de código vinculadas a estas. Afim de abordar este problema, propomos uma técnica, baseada em model checking, que automatiza o processo de exercício de caminhos excepcionais. Isto permite que seja observado o comportamento de um software quando da ocorrência de uma exceção. Pretendemos, com esta técnica, dar suporte para que seja aplicado aos caminhos que representam o comportamento excepcional de um software as mesmas técnicas de detec ção de erros que são aplicadas aos caminhos que representam o comportamento normal e, com isso, agregar um aumento na qualidade do desenvolvimento de software.
  • Imprenta:
  • Data da defesa: 09.06.2014
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MARTINS, Alexandre Locci; MELO, Ana Cristina Vieira de. Teste e verificação formal do comportamento excepcional de programas Java. 2014.Universidade de São Paulo, São Paulo, 2014. Disponível em: < http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106 >.
    • APA

      Martins, A. L., & Melo, A. C. V. de. (2014). Teste e verificação formal do comportamento excepcional de programas Java. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
    • NLM

      Martins AL, Melo ACV de. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
    • Vancouver

      Martins AL, Melo ACV de. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

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