Search for dissertations about: "FaultCheck"

Found 1 swedish dissertation containing the word FaultCheck.

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