Search for dissertations about: "QuickCheck"

Found 5 swedish dissertations containing the word QuickCheck.

2. 1. Lightweight verification of functional programs

   Author : Nicholas Smallbone; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : We have built several tools to help with testing and verifying functional programs. All three tools are based on QuickCheck properties. Our goal is to allow programmers to do more with QuickCheck properties than just test them. READ MORE

4. 2. Automating Black-Box Property Based Testing

   Author : Jonas Almström Duregård; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : Black-box property based testing tools like QuickCheck allow developers to write elegant logical specifications of their programs, while still permitting unrestricted use of the same language features and libraries that simplify writing the programs themselves. This is an improvement over unit testing because a single property can replace a large collection of testcases, and over more heavy-weight white-box testing frameworks that impose restrictions on how properties and tested code are written. READ MORE

5. 3. Testing Safety-Critical Systems using Fault Injection and Property-Based Testing

   Author : Benjamin Vedder; Magnus Jonsson; Andreas Johansson; Högskolan i Halmstad; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fault Injection; FaultCheck; Property-Based Testing; Simulation; Fault Model; Quadcopter; E2E;

   Abstract : Testing software-intensive systems can be challenging, especially when safety requirements are involved. Property-Based Testing (PBT) is a software testing technique where properties about software are specified and thousands of test cases with a wide range of inputs are automatically generated based on these properties. READ MORE

6. 4. Flexible and Practical Information-Flow Control

   Author : Daniel Schoepe; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; software security; information flow;

   Abstract : As more and more sensitive data is handled by software, itstrustworthiness becomes an increasingly important concern. This thesispresents work on ensuring that information that is processed bycomputing systems is not disclosed to third parties without the user'spermission; i.e. to prevent unwanted flows of information. READ MORE

7. 5. Targeted Property-Based Testing with Applications in Sensor Networks

   Author : Andreas Löscher; Konstantinos Sagonas; Thiemo Voigt; John Hughes; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software Testing; Search-Based Software Testing; Property-Based Testing; Datavetenskap; Computer Science;

   Abstract : Testing is a fundamental part of modern software development, as it unveils bugs in the system under test and gives confidence in their correctness. Testing is often a laborious task as it typically requires to write by hand a plethora of test cases to test a system thoroughly. READ MORE