15 August 2013 It is testing that bases on the analysis of specification of a component or a system functionality. Related posts: Software Infrastructure