Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Study of integrating random and symbolic testing for object-oriented software

: Dimjasevic, Marko; Howar, Falk; Luckow, Kapser; Rakamaric, Zvonimir


Furia, Carlo A.:
Integrated formal methods. 14th International Conference, IFM 2018 : Maynooth, Ireland, September 5-7, 2018; Proceedings
Cham: Springer International Publishing, 2018 (Lecture Notes in Computer Science 11023)
ISBN: 978-3-319-98937-2 (Print)
ISBN: 978-3-319-98938-9 (Online)
International Conference on integrated Formal Methods (iFM) <14, 2018, Maynooth>
Fraunhofer ISST ()

Testing is currently the main technique adopted by the industry for improving the quality, reliability, and security of software. In order to lower the cost of manual testing, automatic testing techniques have been devised, such as random and symbolic testing, with their respective trade-offs. For example, random testing excels at fast global exploration of software, while it plateaus when faced with hard-to-hit numerically-intensive execution paths. On the other hand, symbolic testing excels at exploring such paths, while it struggles when faced with complex heap class structures. In this paper, we describe an approach for automatic unit testing of object-oriented software that integrates the two techniques. We leverage feedback-directed unit testing to generate meaningful sequences of constructor+method invocations that create rich heap structures, and we in turn further explore these sequences using dynamic symbolic execution. We implement this approach in a tool called JDoop, which we augment with several parameters for fine-tuning its heuristics; such “knobs” allow for a detailed exploration of the various trade-offs that the proposed integration offers. Using JDoop, we perform an extensive empirical exploration of this space, and we describe lessons learned and guidelines for future research efforts in this area.