X-47B UCAS in Proof Test Fixture