Zvyšování kvality kódu pomocí statické analýzy a syntézy programů
| Název práce v češtině: | Zvyšování kvality kódu pomocí statické analýzy a syntézy programů |
|---|---|
| Název v anglickém jazyce: | Improving code quality based on static program analysis and synthesis |
| Klíčová slova anglicky: | code quality, debugging, refactoring, static analysis, program synthesis |
| Akademický rok vypsání: | 2015/2016 |
| Typ práce: | disertační práce |
| Jazyk práce: | |
| Ústav: | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
| Vedoucí / školitel: | doc. RNDr. Pavel Parízek, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 03.10.2016 |
| Datum zadání: | 03.10.2016 |
| Datum potvrzení stud. oddělením: | 03.10.2016 |
| Zásady pro vypracování |
| 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. |
| Seznam odborné literatury |
| 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 |