Testing and validation of complex avionics systems including navigation, communication, and mission systems