Component Specification to test Component-based Software