Test environment using property checking of Java components with exception handling / Ambiente de testes utilizando verificação de componentes java com tratamento de exceções
AUTOR(ES)
Kleber da Silva Xavier
DATA DE PUBLICAÇÃO
2008
RESUMO
A software system that shows some failure at runtime execution may bring consequences that range from a simple user annoyance to great disasters such as the lost NASA probe on Mars. The test activities aim to find errors in software systems, preventing these undesirable consequences. However, tests may take between 30% and 40% of total development time, and on critical systems, its cost can be from 3 to 5 times greater than the combined cost of the other activities. In an effort to reduce these costs, we may automate some of the activities. In this work we intend to minimize test case manual generation, using a technique called model checking. This technique involves the checking of properties defined through the use of mathematical formulas, using a tool, that simulates code execution. In addition, a system with an efficient exception handling mechanism, has its maintainability, robustness and reliability enhanced. So, in this work we define exception handling related properties, as an input for model checking. We present a test tool created to allow checking of these properties using the Java PathFinder model checker, and to list the test coverage statistics, according to the selected test criteria. This tool makes easy the test execution, since it presents a graphical user interface that allows configuration and running of tests with no need to write any lines of code. We also show the results of running several tests with the GUI, using some programs implemented with concurrent code and several exception handling techniques and discuss the main features, pitfalls and limitations of the underlying tools.
ASSUNTO(S)
verificação formal programas java exception handling testes tratamento de exceções java programs object-oriented testing testing
Documentos Relacionados
- CONTEXT-SENSITIVE EXCEPTION HANDLING
- Projeto e implementação de um mecanismo de tratamento de exceções coordenadas para arquiteturas de componentes de serviços
- ANÁLISE DE ESTRATÉGIAS UTILIZANDO VERIFICAÇÃO FORMAL DE MODELOS
- Semi-automatic classification of Java components
- Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas