Sökning: "Runtime verification"

Visar resultat 1 - 5 av 10 uppsatser innehållade orden Runtime verification.

  1. 1. SeqLTL and ωLTL

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

    Författare :Oskar Grekula; [2023-10-19]
    Nyckelord :Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Sammanfattning : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. LÄS MER

  3. 2. Investigating the applicability of execution tracing techniques for root causing randomness-related flaky tests in Python

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

    Författare :Norrestam Held Erik; [2021]
    Nyckelord :software testing; flaky; flaky tests; flakiness; test flakiness; python; pytest; randomness; tracing; root causing;

    Sammanfattning : Regression testing is an essential part of developing and maintaining software. It helps verify that changes to the software have not introduced any new bugs, and that the functionality still works as intended. However, for this verification to be valid, the executed tests must be assumed to be deterministic, i.e. LÄS MER

  4. 3. μSPL - Proprietary Graphics Language Transpiler : Asserting translation correctness using runtime verification

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

    Författare :Henrik Andersson Glass; [2021]
    Nyckelord :Cockpit Display System; Compiler Correctness; Compiler; Transpiler; Computer Graphics; Cockpitpresentationssystem; Kompilatorkorrekthet; Kompilator; Transpilator; Datorgrafik;

    Sammanfattning : The Swedish Armed Forces are currently considering extending the operational life of the Saab JAS 39 Gripen C/D multirole fighter aircraft by an additional 10 to 20 years. This has resulted in a need to upgrade many of the hardware components originally developed in the late 1980s and early 1990s. LÄS MER

  5. 4. Secure Self-Reconfiguring Services to Mitigate DoS Attacks

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

    Författare :Silvan Zeller; [2019]
    Nyckelord :Rule-Based IDS; Runtime Verification; Domain Attacks; Self-Reconfiguring Systems;

    Sammanfattning : Protecting web services from cyber attacks is a complex problem requiring many layers of defense and mitigation strategies. Out of the diverse range of attacks, denial of service (DoS) attacks on the business logic – or the domain – are poorly studied and no widely accepted general-purpose software product to prevent these attacks exists today. LÄS MER

  7. 5. Regression Test Selection för snabb återkoppling när utveckling görs för Androidplatformen

    Kandidat-uppsats, Lunds universitet/Högskoleingenjörsutbildning i datateknik

    Författare :Ali Mahmoud Muthanna; Ludwig Hellgren Winblad; [2018]
    Nyckelord :regression test selection rts ; android; regression testing; Technology and Engineering;

    Sammanfattning : The work for this thesis was conducted at a department of Sony Mobile Communications, with the purpose of incorporating regression testing into the daily workflow of developers. Today regression testing is conducted by executing a test suite of approximately 58 000 tests to verify modifications done to code. LÄS MER