Question(s)

[Grant Edwards]

On 2023-10-24, o1bigtenor via Python-list <python-list at python.org> wrote:

> Is there a way to verify that a program is going to do what it is
> supposed to do even before all the hardware has been assembled and
> installed and tested?

It depends on what you mean by "verify ...".  If you want to prove a
program correct (in the mathematical sense), then the practical answer
is no. It's possible to prove _some_ programs correct, but they tend to
be uselessly trivial.

For real programs, the best you can do is choose a good set of test
cases and test them.  If you can simulate the various inputs and
collect the outputs, then you can do testing before you have real
target hardware.