DocumentCode :
2534965
Title :
Satisfying Test Preconditions through Guided Object Selection
Author :
Wei, Yi ; Gebhardt, Serge ; Meyer, Bertrand ; Oriol, Manuel
Author_Institution :
Dept. of Software Eng., ETH Zurich, Zurich, Switzerland
fYear :
2010
fDate :
6-10 April 2010
Firstpage :
303
Lastpage :
312
Abstract :
A random testing strategy can be effective at finding faults, but may leave some routines entirely untested if it never gets to call them on objects satisfying their preconditions. This limitation is particularly frustrating if the object pool does contain some precondition-satisfying objects but the strategy, which selects objects at random, does not use them. The extension of random testing described in this article addresses the problem. Experimentally, the resulting strategy succeeds in testing 56% of the routines that the pure random strategy missed; it tests hard routines 3.6 times more often; although it misses some of the faults detected by the original strategy, it finds 9.5% more faults overall; and it causes negligible overhead.
Keywords :
object-oriented programming; program testing; faults detection; guided object selection; random testing strategy; test preconditions; Computer science; Contracts; Embedded software; Fault detection; Object oriented modeling; Packaging; Performance evaluation; Software engineering; Software testing; Vehicle crash testing; linear constraint solving; precondition satisfaction; random testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
Conference_Location :
Paris
Print_ISBN :
978-1-4244-6435-7
Type :
conf
DOI :
10.1109/ICST.2010.34
Filename :
5477072
Link To Document :
بازگشت