Essays about: "Mjukvarukonstruktion"

Found 1 essay containing the word Mjukvarukonstruktion.

  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

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

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

    Abstract : 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. READ MORE