Verification the sum of 2 numbers

I want to write the test for a verilog program. The program is calculate the sum of a+b and return c. ( a and b are 2 binary numbers with n digits)

The test should understand if the calculation of a+b is true. It should do this verification in O(1).

How can I write the test? the order of that is important here.