Essays about: "software test formal"

Showing result 1 - 5 of 27 essays containing the words software test formal.

  1. 1. Model Based Testing for Programmable Data Planes

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Gustav Rixon; [2023]
    Keywords : Model Based Testing; Programmable Data Planes; P4; Software- Defined Networking;

    Abstract : The advent of Software Defined Networking (SDN) and programmable data planes has revolutionized the networking domain, enabling the programming of networking functions down to the silicon level responsible for data packet switching. Unfortunately, while this programmability offers greater flexibility and control, it also increases the likelihood of introducing software bugs. READ MORE

  3. 2. Decentralized Validation of Reproducible Builds : A protocol for collaborative and decentralized validation of package reproducibility

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Johan Moritz; [2023]
    Keywords : Blockchain; Reproducible builds; Collaborative intelligence; Model checking; Hyperledger Fabric; TLA ; Blockkedjor; Reproducerbara byggen; Kollaborativ intelligens; Modeltestning; Hyperledger Fabric; TLA ;

    Abstract : As the threat of supply-chain attacks grows, the need for techniques to protect software integrity likewise increases. The concept of reproducible builds is one such protection. READ MORE

  4. 3. A SYSTEMATIC MAPPING STUDY ON ONLINE MODEL-BASED TESTING

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Blerta Vuthaj; [2023]
    Keywords : ;

    Abstract : Background: Testing is an integral component of the software development process. It demands both time and resources. Model-based testing (MBT) is a testing strategy that automates the testing process and generates test cases using formal models. READ MORE

  5. 4. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Mark Håkansson; [2022]
    Keywords : RTIC; symbolic execution; embedded systems; software verification; software analysis; schedulability;

    Abstract : In this thesis, the proof-of-concept tool RAUK for automatically analyzing RTIC applications for schedulability using symbolic execution is presented. The RTIC framework provides a declarative executable model for building embedded applications, which behavior is based on established formal methods and policies. READ MORE

  6. 5. Automated Annotation of Simulink Generated C Code Based on the Simulink Model

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Sreeya Basu Roy; [2020]
    Keywords : ;

    Abstract : There has been a wave of transformation in the automotive industry in recent years, with most vehicular functions being controlled electron- ically instead of mechanically. This has led to an exponential increase in the complexity of software functions in vehicles, making it essential for manufactures to guarantee their correctness. READ MORE