论文部分内容阅读
本文在讨论和分析现有PLA测试生成方法的基础上.综合比较了这些方法的各个特点,针对PLA测试的特殊性,提出了一个折衷的简洁、易理解、易实现的PLA测试生成算法──析优法的思想,以及合理的各种具体要求和启发式措施,便于增强算法的效率,并在VAX-11/780上用PASCAL实现。该算法还能辅助PLA的设计、验证和进行PLA可测试性设计的指导。
Based on the discussion and analysis of the existing methods of PLA test generation, a comprehensive comparison of the characteristics of these methods is presented. In view of the particularity of the PLA test, a compromise, easy to understand and easy to implement PLA test generation algorithm Analyze the idea of optimal method, and reasonable various concrete requirements and heuristic measures to facilitate the efficiency of the algorithm, and use PASCAL on the VAX-11/780. The algorithm also assists PLA in the design, verification, and guidance of PLA testability design.