| Title |
Statinė CIL kodo analizė, remiantis simboliniu vykdymu / |
| Translation of Title |
Static CIL code analysis using symbolic execution. |
| Authors |
Neverdauskas, Tomas |
| Full Text |
|
| Pages |
64 |
| Keywords [eng] |
symbolic execution ; SMT ; automated unit test generation ; .Net platform ; model based testing |
| Abstract [eng] |
Testing complex safety critical software always was difficult task. Development of automated techniques for error detection is even more difficult. Well known techniques for checking software are model checking static analysis and testing. Symbolic execution is a technique that is being used to improve security, to find bugs, and to help in debugging. A symbolic execution engine is basically an interpreter that figures out how to follow all paths in a program. It is a static code analysis technique. This work presents symbolic execution background, current state, analysis the possibilities of implementation on the .Net framework and platform. The work describes the master project – bug tracking software “Crunchbug” and the tool – Symex (symbolic execution engine) for .Net platform. Symex is white box model based automatic unit test generator and it is evaluated against two other tools – Microsoft Pex and framework that generates unit test inputs random. Detailed experiments made to cover symbolic execution possibilities with proprietary benchmarks and real code from the master project. |
| Type |
Master thesis |
| Language |
Lithuanian |
| Publication date |
2010 |
