Circuit/System Verification
WARNING: This page is about a different car, the 2009 Saturn Vue. However, it is still accessible from the selected car via links, so may be relevant.
Ignition ON, with a scan tool to observe the EBCM Brake Switch Status parameter while applying and releasing the brake pedal. The reading should change between Applied and Released.