A black-box testing strategy based on Zweben et al.?s specification-based test data adequacy criteria is explored. The approach focuses on generating a flowgraph from a component?s specification and applying analogues of white-box strategies to it. An experimental assessment of the fault-detecting ability of test sets generated using this approach was performed for three of Zweben?s criteria using mutation analysis. By using precondition, postcondition, and invariant checking wrappers around the component under test, fault detection ratios competitive with white-box techniques were achieved. Experience with a prototype test set generator used in the experiment suggests that practical automation may be feasible.
Platform Windows 95/98/ME
Operating Systems Windows 95/98/ME,Windows NT/2000,Windows XP,Windows NT/2000/2003/SBS2003,Windows Vista,Windows 7
Date added 16 Apr 2012
Last Updated 24 Apr 2012
Tags automatic testing, object-oriented testing, test data adequacy, formal specification, programming by contract, interface violation detection, self-checking software