|
|
Lab tasks for dynamic code analysis
Košina, Petr ; Přinosil, Jiří (referee) ; Sysel, Petr (advisor)
The thesis focuses on static and dynamic analysis in software engineering. Static analysis involves examining the source code without executing it, whereas dynamic analysis focuses on executing the code and testing its runtime behavior. The thesis explores various techniques and tools for both types of analysis, including their advantages and limitations. Additionally, the content includes research on the implementation of dynamic code analysis methods across different operating systems. Emphasis is placed on comparing both methods and their application in real-world software environments. Specifically, it provides practical laboratory exercises designed to help students better understand the issues related to dynamic analysis.
|
|
|
Implementation of voice activity detectors using open-source libraries in C language
Mach, Václav ; Špiřík, Jan (referee) ; Míča, Ivan (advisor)
This diploma thesis discusses the issue of Voice Activity Detection. There are two types of detectors described: energetic and statistics. Their funktionality is proved in the Matlab environment. Further, the implemetation of VADs is made through C language with standard libraries and GSL open-source libraries. The realized algorithms are compared in the scope of processing time of computation, memory management and a single mathematical operations stress. Also a comparism of the processing time according to segment length was made.
|
|
|
Comparison of voice and audio codecs
Lúdik, Michal ; Sysel, Petr (referee) ; Míča, Ivan (advisor)
This thesis deals with description of human hearing, audio and speech codecs, description of objective measure of quality and practical comparison of codecs. Chapter about audio codecs consists of description of lossless codec FLAC and lossy codecs MP3 and Ogg Vorbis. In chapter about speech codecs is description of linear predictive coding and G.729 and OPUS codecs. Evaluation of quality consists of description of segmental signal-to- noise ratio and perceptual evaluation of quality – WSS and PESQ. Last chapter deals with description od practical part of this thesis, that is comparison of memory and time consumption of audio codecs and perceptual evaluation of speech codecs quality.
|
|
|
Dynamic Analysis for Finding Endianity Bugs
Kápl, Roman ; Parízek, Pavel (advisor) ; Yaghob, Jakub (referee)
When two computer systems communicate, for example over a network, they must agree on the ordering of bytes within numbers. This ordering is called endianess. Often one of the systems has to swap the order of bytes to the agreed standard. Results of this work help programmers to find places in their program where they forgot to swap the bytes. We have developed a dynamic data-flow analysis built upon the popular Valgrind tool. Compared to the static analysis currently used by the Linux kernel developers, our approach does not require annotation of variables with their endianess. Typically only few places in the program source code will need to be annotated. The analysis can also detect potential bugs that would only manifest if the program was run on computer with opposite endianess. Our approach has been validated on an existing program known to contain yet unfixed endianess problems (RadeonSI OpenGL driver). It has identified all endianess-related bugs and provided useful diagnostic messages together with their location.
|
|
|
Comparison of voice and audio codecs
Lúdik, Michal ; Sysel, Petr (referee) ; Míča, Ivan (advisor)
This thesis deals with description of human hearing, audio and speech codecs, description of objective measure of quality and practical comparison of codecs. Chapter about audio codecs consists of description of lossless codec FLAC and lossy codecs MP3 and Ogg Vorbis. In chapter about speech codecs is description of linear predictive coding and G.729 and OPUS codecs. Evaluation of quality consists of description of segmental signal-to- noise ratio and perceptual evaluation of quality – WSS and PESQ. Last chapter deals with description od practical part of this thesis, that is comparison of memory and time consumption of audio codecs and perceptual evaluation of speech codecs quality.
|
|
|
Implementation of voice activity detectors using open-source libraries in C language
Mach, Václav ; Špiřík, Jan (referee) ; Míča, Ivan (advisor)
This diploma thesis discusses the issue of Voice Activity Detection. There are two types of detectors described: energetic and statistics. Their funktionality is proved in the Matlab environment. Further, the implemetation of VADs is made through C language with standard libraries and GSL open-source libraries. The realized algorithms are compared in the scope of processing time of computation, memory management and a single mathematical operations stress. Also a comparism of the processing time according to segment length was made.
|
guest ::
