摘要: 三、系统级测试系统级测试的研究对象是多机系统。这个课题的研究虽然早已开始35,但目前仍处于理论研究,还没有实践性结果。多机系统的各种系统模型都是图的模型。用图G=(V,E)表示系统,V是节点集,表示各单机,E是边集,表示单机间的通讯线,因通讯线都是双向的,故系统图是个无向图。目前的各种算法可归结为有硬核(hardcore)和无硬核两类。在有硬核的算法中,各机要把