TY - JOUR ID - 4528 TI - A novel approach for automatic model-based test case generation JO - Scientia Iranica JA - SCI LA - en SN - 1026-3098 AU - Rezaee, Amin AU - Zamani, Bahman AD - MDSE Research Group, Department of Software Engineering, University of Isfahan, Isfahan, Iran Y1 - 2017 PY - 2017 VL - 24 IS - 6 SP - 3132 EP - 3147 KW - Model Based Testing KW - Automated Testing KW - UML State Machine KW - AMPL KW - Constraint Solver DO - 10.24200/sci.2017.4528 N2 - This paper proposes a new method for automatic generation of test cases using model based testing. As test model, class and state diagrams are used, and constraints are expressed using OCL. First, the state machineis converted into a mathematical representation in AMPL. Then, using a search algorithm and based upon coverage criteria, the abstract paths are selected from state machine. Second, using symbolic execution,the generated abstract path along with the constraints on this path is converted into the data of generated mathematical model. Third, the generated mathematical problem is solved with solvers that have interfacewith AMPL, and the test data is produced for each abstract test case. Finally, the generated test data and abstract paths are transformed into executable test cases. All-Transitions and All-States coverage criteria areused for conduct search algorithm, as well as the criteria for evaluate the quality of generated test cases. To validate the work, by utilizing various solvers, the test cases are generated for various problems.The proposed technique is implemented as a tool, named MoBaTeG. The tool shows good result in terms of test case generation execution time, test goals satisfaction rate, source code instructions coverage, andalso boundary values generation. UR - https://scientiairanica.sharif.edu/article_4528.html L1 - https://scientiairanica.sharif.edu/article_4528_e96df86a6aae84ce3fb28a1163aceff6.pdf ER -