1. A method for testing a functional unit within an arithmetic logic unit (ALU) of a flight control system, the functional unit having a predetermined structural implementation and configured to generate a result based on at least one data input, the method comprising: generating a plurality of test vectors based on the predetermined structural implementation of the functional unit, each test vector comprising a test value for each data input to the functional unit and an expected result value; and for each one of the plurality of test vectors: providing each test value to the functional unit; and verifying that the expected result value is generated by the functional unit.