scholarly journals SYSTEMATIC PROPERTY RISK: QUANTIFYING UK PROPERTY BETAS 1983-2005

2006 ◽  
Keyword(s):  
Systematic Property

scholarly journals Programming and execution models for parallel bounded exhaustive testing

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-28
Author(s):  
Nader Al Awar ◽  
Kush Jain ◽  
Christopher J. Rossbach ◽  
Milos Gligoric
Keyword(s):  
Data Structures ◽  
Test Generation ◽  
Stress Test ◽  
Software Bugs ◽  
Hybrid Test ◽  
Execution Models ◽  
Systematic Property

Bounded-exhaustive testing (BET), which exercises a program under test for all inputs up to some bounds, is an effective method for detecting software bugs. Systematic property-based testing is a BET approach where developers write test generation programs that describe properties of test inputs. Hybrid test generation programs offer the most expressive way to write desired properties by freely combining declarative filters and imperative generators. However, exploring hybrid test generation programs, to obtain test inputs, is both computationally demanding and challenging to parallelize. We present the first programming and execution models, dubbed Tempo, for parallel exploration of hybrid test generation programs. We describe two different strategies for mapping the computation to parallel hardware and implement them both for GPUs and CPUs. We evaluated Tempo by generating instances of various data structures commonly used for benchmarking in the BET domain. Additionally, we generated CUDA programs to stress test CUDA compilers, finding four bugs confirmed by the developers.

Systematic Property Registration

10.1596/26048 ◽  
2016 ◽  
Author(s):  
Tony Lamb ◽  
Victor Endo
Keyword(s):  
Property Registration ◽  
Systematic Property
Sign in / Sign up

Export Citation Format

Share Document