Sökning: "Static code analysis"
Visar resultat 1 - 5 av 61 uppsatser innehållade orden Static code analysis.
- Master-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik; Blekinge Tekniska Högskola/Institutionen för programvaruteknik
Sammanfattning : Context: Static code analysis is a software verification technique that refers to the process of examining code without executing it in order to capture defects in the code early, avoiding later costly fixations. The lack of realistic empirical evaluations in software engineering has been identified as a major issue limiting the ability of research to impact industry and in turn preventing feedback from industry that can improve, guide and orient research. LÄS MER
- Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap
Sammanfattning : Identifying and eliminating security vulnerabilities in programs can be very time consuming. A way to automate and speed up the process is to integrate static code analysis tools in the development process. LÄS MER
- Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi
Sammanfattning : Modern CPUs rely on expensive branch predictors to speed up execution. Predictions nevertheless imply speculation, which is inherently costly, as mispredictions and re-execution of instructions can not only slow down execution but require extra energy expenditure. LÄS MER
- Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)
Sammanfattning : Embedded systems are a crucial part of modern vehicles today and are used widely by the automotive industry to control safety-critical functions. To verify that the software will work correctly, formal verification can be used to prove that the code will always behave correctly according to some specification. LÄS MER
- Master-uppsats, Blekinge Tekniska Högskola/Institutionen för kommunikationssystem
Sammanfattning : Context. In recent years, Software Quality Assurance (SQA) has become a crucial part of software development processes. Therefore, modern software development processes led to an increase in demand for manual and automated code quality assurance. Manual code quality reviews can be a time-consuming and expensive process with varying results. LÄS MER
BEVAKA DENNA SÖKNING
Få ett mail när det kommer in nya uppsatser på ämnet Static code analysis.