Testing a Software Product Line