An Effective Procedure to Test Star Tracker Software Routines Using a Sensor Model