Towards verification and testing of Java programs

Authors:
Ana C. V. de Melo;Paulo R. F. Nunes;Kleber S. Xavier
Affiliations:
University of São Paulo, São Paulo -- Brazil;University of São Paulo, São Paulo -- Brazil;University of São Paulo, São Paulo -- Brazil
Venue:
Proceedings of the 2008 ACM symposium on Applied computing
Year:
2008

Citing 15
Cited 0

The evaluation of program-based software test data adequacy criteria

Communications of the ACM
Integrated object-oriented testing and development processes

Communications of the ACM
A deadlock detection tool for concurrent Java programs

Software—Practice & Experience
Using model checking to generate tests from requirements specifications

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Bandera: extracting finite-state models from Java source code

Proceedings of the 22nd international conference on Software engineering
Analysis and Testing of Programs with Exception Handling Constructs

IEEE Transactions on Software Engineering
Tool-supported program abstraction for finite-state verification

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Model Checking Programs

Automated Software Engineering
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Cadena: an integrated development, analysis, and verification environment for component-based systems

Proceedings of the 25th International Conference on Software Engineering
Augmenting data flow criteria for class testing

CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Criteria for Testing Exception-Handling Constructs in Java Programs

ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
Testing Object-Oriented Programs An Integrated Approach

ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Using Model Checking to Generate Tests from Specifications

ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Object State Testing for Object-Oriented Programs

COMPSAC '95 Proceedings of the 19th International Computer Software and Applications Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Testing object-oriented programs is still a hard task, despite many studies on criteria to better cover the test space. Test criteria establish requirements one want to achieve in testing programs to help in finding software defects. On the other hand, program verification guarantees that a program preserves its specification but it is not very straightforwardly applicable in many cases. Both program testing and verification are expensive tasks and could be used to complement each other. This paper presents a study on using formal verification to reduce the space of program testing. As properties are checked using program model checkers, programs are traced. Information from these traces can be used to realize how much testing criteria have been satisfied, reducing the further program test space. The present work is a study on how much the test space of concurrent Java programs can be reduced if DeadlockFreedom is checked prior to testing.