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
-
ABNT
MARTINS, Alexandre Locci. Teste e verificação formal do comportamento excepcional de programas Java. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106. Acesso em: 16 abr. 2024. -
APA
Martins, A. L. (2014). Teste e verificação formal do comportamento excepcional de programas Java (Dissertação (Mestrado). 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. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 abr. 16 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106 -
Vancouver
Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 abr. 16 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
