本文从系统级上研究了多机系统的算法可测试条件,提出了系统t-故障可测的各种充分、必要条件;进而提出用0-1线性规划的方法求解系统t-故障可检测的最小校验集,并给出了相应算法和计算实例.从而使多机系统中采用最少的校验算法实现系统t-故障可测,因而使系统的测试代价降到了最低. In this paper, the system test conditions for multi-machine systems are studied, and various sufficient and necessary conditions for the system t-fault detection are proposed. Furthermore, a 0-1 linear programming method is proposed to solve the problem of t- Minimum set of checksums, and gives the corresponding algorithm and calculation example, which makes the system t-fault detectable with the least number of verification algorithms in the multi-machine system, thus minimizing the test cost of the system.