Sökning: "Property-based Testing"

Visar resultat 1 - 5 av 9 uppsatser innehållade orden Property-based Testing.

  1. 1. Java Auto Grader

    Uppsats för yrkesexamina på grundnivå, Högskolan i Halmstad/Akademin för informationsteknologi

    Författare :Shahm Abdulrazzak; Tor Mattsson; [2023]
    Nyckelord :Property-based Testing. JUnit Quick-Check. Automation. Auto grader. Test generator. Programming. Java.;

    Sammanfattning : The process of grading code submissions in programming courses is time-consuming and error-prone. To address this issue, we propose a project that automates the testing and grading process for Java code submissions at Halmstad University. LÄS MER

  3. 2. 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

  4. 3. Exploration of formal verification in GPU hardware IP

    Master-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknik

    Författare :Nishant Gupta; [2019]
    Nyckelord :Formal Verification; JasperGold; Hardware Verification; Technology and Engineering;

    Sammanfattning : Today, digital circuits are part of every ones daily life in form of mobile phones, computers, television, smart cards etc. The advent of new technologies such as internet of things, 5G etc. are continuously making the digital circuits more and more complex in design. LÄS MER

  5. 4. Comparing Different Approaches of GUI Testing for Mobile Applications on Android Platform

    Master-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Författare :Yuhao Min; Shengcong Cai; [2018]
    Nyckelord :Android Testing; Visual GUI testing; Property-based GUI testing;

    Sammanfattning : Background. With the development and popularization of mobile Internet, smartphones are becoming more and more popular. Android is one of the most popular platforms of smartphones.  And application is one of the most important part of a smartphone. LÄS MER

  7. 5. Javista Automated Assessment of Imperative Programs

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

    Författare :Joel Mazdak Hultin Maximilian Farrokhzad Aleksander Algehed Stern Kaar; Simon Boij; [2017-08-09]
    Nyckelord :Automated Assessment; Normalisation; Strategies; Property Based Testing; Programming;

    Sammanfattning : This thesis presents a methodology and a tool for automated assessment of programming exercises, with the purpose of reducing the workload of teachers. Our aim is for the tool to provide accurate and useful assessment given an exercise specification. Using the tool could allow teachers to spend more time helping students. LÄS MER