论文部分内容阅读
§1 概述由于计算机的规模越来越大,组件的集成度越来越高,逻辑结构越来越复杂,借助于计算机来测试插件的要求也越来越显得迫切。我们从七九午六月份开始,研究了国内外关于测试生成的许多算法,包括经典的一维通路敏化法、D——算法、布尔差分法以及新近的图论法,九值算法等等,特别是学习了中国科学院计算所魏道政同志提出的通路敏化法,和计算所三室同志们的系统介绍,使我们在理论和实践上都受到很大的启发。由于我们的插件规模较大,组件集成度较高,结构比较复杂,在许多方面,针对我
§1 Overview Due to the increasing size of computers, the increasing integration of components and the complexity of logical structures, the requirement of testing plug-ins with computers has become more and more urgent. Starting from June, 1979, we have studied many algorithms for test generation at home and abroad, including classical one-dimensional path sensitization method, D-algorithm, Boolean difference method, and recent graph theory, nine-valued algorithm, etc. In particular, we have studied the path sensitization method put forward by Comrade Wei Daozheng, which is calculated by the Chinese Academy of Sciences, and the systematic introduction of calculating the three rooms of comrades, so that we are greatly inspired both in theory and in practice. Because of our larger plug-ins, higher level of component integration, and more complicated structures, in many ways, for me