The behavior of a program in a limited number of test cases

Choose to execute the usual infinite domain, the reason for objection.

Expected behavior "[1]- used to gain confidence.

Almost all developed software. Various static methods

It is used to gain more confidence, but most people believe it.

Only dynamic testing can provide correct confidence.

Run the software in a predetermined environment.