A tool for testing a software combinational circuit (algorithm)?

Question

Software testing

With the help of which you can implement a quick check of such a mechanism.
There is a certain black box, at the input there are N values ​​of variables, at the output there are M values ​​of variables.
Inside the black box, combinational logic is implemented with the usual logical and simple mathematical functions.
The source code for the insides of the black box is known.
It is necessary, simulating the supply of all possible values ​​for N input variables, to obtain a set of correct M values ​​of variables at the output. How to implement these tables in a simple way, let's say truth?
Of course, if you write a utility for testing, then it can be developed on what is convenient for someone and how they are used to (C, C ++, ASM, Java, Basic, VB, etc.). But maybe there are some ready-made solutions or already open-source projects for such test manipulations?
After all, the task is trivial and often encountered.

Answer 1

testing is when these "truth tables" are already known and it needs to be confirmed that the unit under test respects them. That's what I wanted to say, ask!
this is exactly what needs to be confirmed.
in fact, apply / set all kinds of combinations to the input signals (variables) and control the result at the output, on the output variables