280 likes | 433 Views
High Volume Automated Testing for Software Components. Harry Robinson Doug Szabo Microsoft. High Volume Test Automation.
E N D
High Volume Automated Testing for Software Components Harry Robinson Doug Szabo Microsoft
High Volume Test Automation The essence of HVTA techniques is automated execution and evaluation of large numbers of tests, for the purpose of exposing functional errors that are otherwise hard to find. Experiments with High Volume Test Automation, 2004 McGee & Kaner
Subtle Bugs Only weak bugs have a logic to them and are amenable to exposure by strictly logical means. Subtle bugs have no definable pattern - they are wild cards. Software Testing Techniques 2nd Edition, 1990 Beizer
Bounded Exhaustive Testing Bounded exhaustive testing (BET) is a verification technique in which software is automatically tested for all valid inputs up to specified size bounds. Software assurance by bounded exhaustive testing, 2005 Coppitet al
Typical Biases • Developers – “happy paths” • Testers – “a nose for bugs”
Pre-Oracled Data shuffle compare sort
Distribution of Buggy Array Sizes Bug is not detected at array size 1000