Zvyšování kvality kódu pomocí statické analýzy a syntézy programů
Thesis title in Czech: | Zvyšování kvality kódu pomocí statické analýzy a syntézy programů |
---|---|
Thesis title in English: | Improving code quality based on static program analysis and synthesis |
English key words: | code quality, debugging, refactoring, static analysis, program synthesis |
Academic year of topic announcement: | 2015/2016 |
Thesis type: | dissertation |
Thesis language: | |
Department: | Department of Distributed and Dependable Systems (32-KDSS) |
Supervisor: | doc. RNDr. Pavel Parízek, Ph.D. |
Author: | hidden - assigned and confirmed by the Study Dept. |
Date of registration: | 03.10.2016 |
Date of assignment: | 03.10.2016 |
Confirmed by Study dept. on: | 03.10.2016 |
Guidelines |
Improving code quality is an important objective of software engineering.
A promising research direction is the development of automated methods and tools that provide results to developers in a timely fashion, on-the-fly while they are editing the source code. The goal of this work is to design new efficient methods for continuous detection of bugs, suggesting possible repairs, and source code refactoring, which are based on static program analysis and synthesis. Proposed techniques will support mainstream object-oriented programming languages, and in particular their more advanced features such as concurrency and data containers. |
References |
1. F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer 1999
2. A.V. Aho, M.S. Lam, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 2nd edition, 2006 3. A. Zeller. Why Programs Fail: A Guide to Systematic Debugging. Morgan Kaufmann, 2nd edition, 2006 |