Essays about: "Property-based Testing"

Showing result 1 - 5 of 9 essays containing the words Property-based Testing.

  1. 1. Java Auto Grader

    University essay from Högskolan i Halmstad/Akademin för informationsteknologi

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

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

  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

    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

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

    University essay from Lunds universitet/Institutionen för elektro- och informationsteknik

    Author : Nishant Gupta; [2019]
    Keywords : Formal Verification; JasperGold; Hardware Verification; Technology and Engineering;

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

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

    University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Author : Yuhao Min; Shengcong Cai; [2018]
    Keywords : Android Testing; Visual GUI testing; Property-based GUI testing;

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

  6. 5. Javista Automated Assessment of Imperative Programs

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

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

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