Testing and Validation of a Dual-Computer Small Spacecraft