Sökning: "uggelberg"

Hittade 2 uppsatser innehållade ordet uggelberg.

  1. 1. Increasing Trust in Software by Synthesizing Property-based Tests from Existing Unit Tests : A study on the expansion of existing test suites through the creation of property-based tests via invariants inferred from existing example-based unit tests

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

    Författare :Richard Uggelberg; [2022]
    Nyckelord :Software Testing; Software Engineering; Test Improvement; Property-based Testing; Invariant Detection; Mjukvarutestning; Mjukvarukonstruktion; Testförbättring; Egenskapsbaserad Testning; Invariantdetektion;

    Sammanfattning : Many software projects include an extensive suite of example-based unit tests. The examples in the test suite can be used as an implicit specification of the behavior of the software. Inferring invariants from these examples may aid in the creation of property-based tests. LÄS MER

  3. 2. Comparative Analysis of Weighted Pathfinding in Realistic Environments

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

    Författare :Richard Uggelberg; Andreas Lundblom; [2017]
    Nyckelord :;

    Sammanfattning : The general subject of this thesis concerns different weightings applied to Dijkstra’s pathfinding algorithm to balance performance versus accuracy in a simulated realistic environment. The algorithms used in this study are Dijkstra's pathfinding algorithm and A*. LÄS MER