ALGEBRAIC MODEL-BASED PROGRAM ANALYSIS AND TESTING |
| 5 | |
| 2011 |
| scientific article | 681.518.5 | ||
| 185-190 | software, verification, testing, automation, symbolic execution, semantic analysis |
| Software testing automation based on the structural criterion and the program symbolic execution is considered. A program algebraic model is proposed on whose basis the algorithms of the control graph building and the symbolic execution have been developed and a software testing automation system has been implemented. |
 |