Method sequence generation for multiple object states using dynamic symbolic execution | IEEE Conference Publication | IEEE Xplore

Method sequence generation for multiple object states using dynamic symbolic execution


Abstract:

Software testing in object-oriented programming requires not only test input data, but also method sequences. Method sequences create new instances and change object stat...Show More

Abstract:

Software testing in object-oriented programming requires not only test input data, but also method sequences. Method sequences create new instances and change object states as desired. Method sequence generation to get desired object states is challenging. Seeker is one of the state-of-the-art implementation to generate test cases with method sequences. However, the technique generates method sequences to change a value of only a single variable. Therefore, it cannot cover the branches that need to modify values of multiple variables. In this paper, we extend the technique in order to cover branches which require multiple desired object states. The proposed approach detects all related variables in uncovered branches and uses a fitness function to give method sequences an evaluation value to reduce candidate methods. We applied Seeker and the proposed approach to four open source projects. The result shows a 1-5% improvement of branch coverage over Seeker and also indicates that the effectiveness of the proposed approach varies depending on some specific features of projects.
Date of Conference: 05-08 October 2014
Date Added to IEEE Xplore: 04 December 2014
Electronic ISBN:978-1-4799-3840-7
Print ISSN: 1062-922X
Conference Location: San Diego, CA, USA

References

References is not available for this document.