Sökning: "Property-Based Testing"

Visar resultat 1 - 5 av 13 avhandlingar innehållade orden Property-Based Testing.

1. 1. Property-based testing for functional programs

   Författare :Nicholas Smallbone; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; testing; Functional programming;

   Sammanfattning : This thesis advances the view that property-based testing is a powerful way of testing functional programs, that has advantages not shared by traditional unit testing. It does this by showing two new applications of property-based testing to functional programming as well as a study of the effectiveness of property-based testing. LÄS MER

3. 2. Targeted Property-Based Testing with Applications in Sensor Networks

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

5. 4. Automating Black-Box Property Based Testing

   Författare :Jonas Almström Duregård; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : 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. LÄS MER

7. 5. Theory Exploration for Programs and Proofs

   Författare :Sólrún Einarsdóttir; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theorem Proving; Automated Reasoning; Theory Exploration; Property-Based Testing; Functional Programming; Conjecture Generation; Artificial Intelligence; Coinduction;

   Sammanfattning : We have built two theory exploration systems, Cohipster and RoughSpec . Theory exploration is a method of automatically conjecturing properties about the functions and structures that appear in a computer program or a formalization of a mathematical theory. LÄS MER