Sökning: "Static code analysis"

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

  1. 1. Formativ feedback i programmering med tillämpning av statisk kodanalys : Utveckling av ett verktyg

    Kandidat-uppsats, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Olof Stålnacke; [2017]
    Nyckelord :Static code analysis; Automatic Grading Systems; formative feedback; assessment of programming assignments; educational programming aid; assess programming code; Action Design Research ADR ; Statisk kodanalys; automatiska bedömningsverktyg; formativ feedback; bedömning av programmeringsuppgifter; hjälpmedel i programmeringsundervisning; bedöma programmeringskod; Action Design Research ADR ;

    Sammanfattning : Aim Develop an IT artifact that provides formative feedback for students based on their programming assignments. Background One of the best methods to learn programming is by practice. LÄS MER

  2. 2. Prediction of Code Lifetime

    Master-uppsats, Linköpings universitet/StatistikLinköpings universitet/Tekniska fakulteten

    Författare :Per Nordfors; [2017]
    Nyckelord :machine learning; support vector machines; neural networks; code analysis; version control; open-source;

    Sammanfattning : There are several previous studies in which machine learning algorithms are used to predict how fault-prone a piece of code is. This thesis takes on a slightly different approach by attempting to predict how long a piece of code will remain unmodified after being written (its “lifetime”). LÄS MER

  3. 3. Computing component specifications from global system requirements

    Master-uppsats, KTH/Teoretisk datalogi, TCS

    Författare :Carl Björkman; [2017]
    Nyckelord :control flow analysis; tableau system; theoretical computer science; program verification; compositional verification; static analysis; control flow;

    Sammanfattning : If we have a program with strict control flow security requirements and want to ensure system requirements by verifying properties of said program, but part of the code base is in the form of a plug-in or third party library which we do not have access to at the time of verification, the procedure presented in this thesis can be used to generate the requirements needed for the plug-ins or third party libraries that they would have to fulfil in order for the final product to pass the given system requirements. This thesis builds upon a transformation procedure that turns control flow properties of a behavioural form into a structural form. LÄS MER

  4. 4. Programvaror för arbetet med höghastighetsjärnväg - Statiska och dynamiska analyser för bank och undergrund

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Trafik och väg

    Författare :Ina Söderbäck; [2017]
    Nyckelord :höghastighetsjärnväg; programvaror; sättningar; höghastighetsfenomen; dynamik; Technology and Engineering;

    Sammanfattning : At present there is an ongoing investigation of a Swedish high-speed rail. It is decided that the railway will be constructed with a slab track and mainly be founded on an embankment. There is an uncertainty in how to conduct stability and settlement calculations for the embankment and subgrade and how dynamic effects should be considered. LÄS MER

  5. 5. Lightweight Software Isolation via Flow-Sensitive Capabilities in Scala

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

    Författare :Erik Reimers; [2017]
    Nyckelord :Scala; LaCasa; flow-sensitive; aliasing;

    Sammanfattning : Aliasing is a potential source of problems in software development and can, for example,lead to data races in concurrent programs. More recent programming languages includealiasing control in order to catch more errors at compile time. However, this does notexist for most widely-used languages.LaCasa introduces aliasing control to Scala. LÄS MER


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

Din email-adress: