3. The method of claim 1 , wherein said architectural knowledge is obtained from an architectural model including a formal description of the specification for said system-under-test, and wherein said testing knowledge is obtained from a testing knowledgebase including heuristics for testing desired aspects of said system-under-test.
3. The method of claim 1 , wherein said architectural knowledge is obtained from an architectural model including a formal description of the specification for said system-under-test, and wherein said testing knowledge is obtained from a testing knowledgebase including heuristics for testing desired aspects of said system-under-test. 4. The method of claim 3 , comprising selecting only a portion of said architectural model and of said testing knowledgebase to embed as data in said executable image, said selected portion including data relevant for supporting said test template to generate a test for the system-under-test; and whereby a size of the executable image of the hardware exercised is reduced.