Testing based on an analysis of the specification of the component of the system