Sökning: "static code analyzer"

Hittade 5 uppsatser innehållade orden static code analyzer.

  1. 1. Code Quality and Large Language Models in Computer Science Education : Enhancing student-written code through ChatGPT

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Oscar Backström; Annie Kihlert; [2023]
    Nyckelord :;

    Sammanfattning : The increased digitization amplifies the significance of code quality in software development. Yet, it is often difficult for novice programmers to understand and produce high-quality code. This study aims to explore the effects of large language models (LLMs), more precisely ChatGPT, on the code quality exhibited by computer science students. LÄS MER

  3. 2. Contributions to the usability of Sorald for repairing static analysis violations

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Henry Luong Phu; [2021]
    Nyckelord :Software quality; static analysis; rule violation; automated repair; Kvalitetssäkring; statiskt analys; regelbrott; automatisk reparation;

    Sammanfattning : Automated static analysis tools are important in modern software quality assurance. These tools scan the input source or binary code for a set of rules to detect functional or maintainability problems and then warn developers about the found rule violations. LÄS MER

  4. 3. Automated checking of programming assignments using static analysis

    Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Kenneth Sterner; [2021]
    Nyckelord :;

    Sammanfattning : Computer science and software engineering education usually contain programming courses that require writing code that is graded. These assignments are corrected through manual code review by teachers or course assistants. The large amount of assignments motivates us to find ways to automatically correct certain parts of the assignments. LÄS MER

  5. 4. 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

  7. 5. Information Visualization and Machine Learning Applied on Static Code Analysis

    Master-uppsats, Blekinge Tekniska Högskola/Avdelningen för programvarusystem

    Författare :Denis Kacan; Darius Sidlauskas; [2008]
    Nyckelord :Software validation; static analyzer; normalized compression distance; source code visualization;

    Sammanfattning : Software engineers will possibly never see the perfect source code in their lifetime, but they are seeing much better analysis tools for finding defects in software. The approaches used in static code analysis emerged from simple code crawling to usage of statistical and probabilistic frameworks. LÄS MER