Sökning: "Static code analysis"

Visar resultat 1 - 5 av 61 uppsatser innehållade orden Static code analysis.

  1. 1. Static Code Analysis: A Systematic Literature Review and an Industrial Survey

    Master-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik; Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Författare :Bilal Ilyas; Islam Elkhalifa; [2016]
    Nyckelord :Static code analysis; systematic literature review; empirical evaluation; industrial survey;

    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

  2. 2. Evaluating the ability of static code analysis tools to detect injection vulnerabilities

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Alexander Ramos; [2016]
    Nyckelord :;

    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

  3. 3. Early evaluation of branches via decoupled access-execute to enable super-block optimizations

    Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Andreas Scherman; [2016]
    Nyckelord :;

    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

  4. 4. Formal Requirement Models for Automotive Embedded Systems

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :John Eriksson; [2016]
    Nyckelord :automotive; system; formal; verification; static analysis; specification;

    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

  5. 5. Instant Feedback Loops – for short feedback loops and early quality assurance

    Master-uppsats, Blekinge Tekniska Högskola/Institutionen för kommunikationssystem

    Författare :Mehrdad Mehraban; [2016]
    Nyckelord :Software Quality Assurance; software metrics; static code analyzer; Ericsson; Lizard and SWAT.;

    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


Få ett mail när det kommer in nya uppsatser på ämnet Static code analysis.

Din email-adress: