GECOJAP: A novel source-code preprocessing technique to improve code coverage

doi:10.1016/j.csi.2017.04.003

2018-01-01

PRE

Sangharatna Godboley *

Arpita Dutta

Durga Prasad Mohapatra

Rajib Mall

DOI：10.1016/j.csi.2017.04.003

原文链接

原文求助

摘要

En 中文

Safety critical standards such as DO178B/DO178C/ RTCA (Radio Technical Commission for Aeronautics) mandates coverage based testing in Aerospace applications. These standards mandate Level A certification for Modified Condition/Decision Coverage (MC/DC). To perform exhaustive and rigorous testing, concolic testing is used in the testing phase of the software development life cycle. But, still some concolic testers need to improve their performance, so that they can achieve higher coverage. We present an automated Java code transformation technique that can be used as a front-end to concolic testing tool for achieving high coverage. We have developed our tool using four modules. The tool named GEaring COverage for JAva Program (GECOJAP) for implementation of our approach. The first module shows a source code preprocessing technique called JEX-NCT (Java Exclusive-NOR Code Transformer) that inserts dummy branches according to Modified Condition / Decision Coverage (MC/DC) criterion. The second module represents a concolic tester named jCUTE (an open source tool) we used to generate test cases. The third module presents computation of MC/DC% using the generated test cases and original program. The fourth module shows the speed calculator that measures speed of test case generation, GECOJAP is more powerful and efficient in comparison to the existing techniques in terms of code transformation. Using GECOJAP one can, achieve higher code coverage. Also, GECOJAP results in the time and speed of the test case generation process. Our experimentation on ten Java programs for thirty executions shows that our approach achieves higher Branch Coverage and MC/DC over traditional concolic testers by 13.79% and 19% respectively. (C) 2017 Elsevier B.V. All rights reserved.

Keyword:

Concolic testing

Branch coverage

Modified condition/decision coverage