Sökning: "compiler testing"

Visar resultat 1 - 5 av 23 uppsatser innehållade orden compiler testing.

  1. 1. Develop a Graphical User Interface for the assembler for SiLago Platform

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

    Författare :Yuxuan Wang; [2023]
    Nyckelord :Graphic intermediate representation; Graphical analytic system; High-level synthesis tool; Grafisk mellanrepresentationen; Grafiskt analytiskt system; Högnivå syntes verktyg;

    Sammanfattning : Vesyla-II is developed as the High-Level Synthesis (HLS) tool serving the SiLago platform. The assembler Manas is a part of the Coarse Grain Reconfigurable Architectures (CGRA) compiler in Vesyla-II, which is used to transform the information from source code into the target language. LÄS MER

  3. 2. Compiler Testing by Random Source Code Generation

    Master-uppsats, Linköpings universitet/Programvara och system

    Författare :Victor Löfgren; [2023]
    Nyckelord :Compiler testing; random testing; fuzz testing; random program generation; automated testing;

    Sammanfattning : Most software projects today are written using programming languages. Compilers in turn translate programs written in these higher level languages into machine code, executable on actual hardware. Ensuring that these compilers function correctly is therefore paramount. LÄS MER

  4. 3. Thread Scheduling for Hardware Stress Testing on Bare-metal Devices

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

    Författare :Youssef Sawaya; [2022]
    Nyckelord :;

    Sammanfattning : Testing a compiler is an important, but complicated task, especially when compiling and running concurrent programs using C11 atomic operations. This thesis is dedicated to developing a compiler tester for the atomic operations and memory models introduced in the C11 standard. LÄS MER

  5. 4. Compiler Testing of C11 Atomics for Arm and RISC-V

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Datorteknik

    Författare :Hampus Adolfsson; [2022]
    Nyckelord :compiler; compiler testing; atomics; c11 atomics; arm; risc-v;

    Sammanfattning : The C11 standard introduced atomic types and operations, with an accompanying memory model, to enable the use of shared variables in concurrent programs. In this thesis, I demonstrate how compilers can be tested, in a way that is deterministic and covers the entire set of atomic operations, to ensure they correctly implement C11 atomics and the C11 memory model. LÄS MER

  7. 5. A Front-End for Daison

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :CHRISTOFFER KALTENBRUNNER; ALEXANDER NELDEFORS; HUGO STEGRELL; PHILIP VEDIN; [2021-09-07]
    Nyckelord :Database; Daison; Glasgow Haskell Compiler; Haskell;

    Sammanfattning : Daison is a database written in the functional programming language Haskell. It has no built-in visual representation of data and using it in an interactive Haskell environment such as GHCi is inconvenient since it requires boilerplate code. LÄS MER