Scaling modified condition/decision coverage using distributed concolic testing for Java programs

摘要

Object-Oriented languages such as Java language introduce advantageous features which overcome the demerits of procedural languages to some extent. Therefore, Java language is now going to be used by the industries to develop their critical safety system software products. In this paper, we propose some code transformation methodologies, which are implemented in Java language to test Java written code. We apply Java Distributed Concolic testing technique to improve the code coverage, which is more powerful than non-distributed concolic testing in terms of speed of test case generation. We develop a Java coverage analyzer according to the test cases produced by Java distributed concolic testers. This version of the MC/DC analyzer is more powerful than that of procedural languages. Our core idea is to integrate the existing and developed modules to produce a single tool for measuring MC/DC score. This novel idea automates the flow of testing 100%. Our experimental results present different scenarios, and suggest the stronger one. On an average, for forty-five Java programs using three nodes in the client–server architecture, we achieved higher MC/DC score.