
(3):
Design Verification. This is part of the "test" component of the design activity.
That is, whether a candidate design delivers the functions and satisfies any other
relevant constraints. In most cases, it can be done by straightforward compiled
computational methods
(e.g.,
"add weights of components and check that it is less
than x") or by invoking possibly complex mathematical methods, such as a finite
element analysis, that do not involve problem-solving. In some cases, additional
problem-solving may be needed to complete the verification. For instance, qualitative
simulation of a piece of machinery to decide if any of its parts wil