Applying Test Data Generation Using SMT Solver to COBOL

Summary form only given. In this study, we propose a novel technique to generate the test data for COBOL programs using an SMT solver. The proposed technique can consider the comparison between a character string and a numerical value. The technique can also consider the significant figures for each variable. With the experiment, we confirmed that our technique can correctly generate test data for COBOL programs of a real enterprise system.