I see no alternative but to devise all-up tests that evaluate the software's overall ability to fulfill its design basis criteria, as that criteria is described throughout the design documentation.
In the world of nuclear-grade software, the twin questions of``Did you build the right thing? ``