Teste e verificação formal do comportamento excepcional de programas Java
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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade de São Paulo
2014
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106/ |