Abbreviated test language for avionics systems