简介:详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。
简介:训练班/教导队/直接提干/抗大(中国人民抗日军事政治大学)/军队是所大学校/南京军事学院/国防大学/干部当兵代职/军地两用人才/干部"四化"/文职干部/技术干部/军校生/学生官/复合型人才/国防生/志愿兵/扛飞机/士官/干部轮训/交叉任职/干部考评/人才战略工程/考察学习/军事留学生/人才强军计划/非现役文职从建军那天起,这支军队就特别重视自己干部的选拔和人才的培养,并在长期的革命战争年代形成了一套特有的干部政策和制度:一方面坚持从优秀士兵中选拔干部,一方面接收地方干部、知识青年,同时也从国民党军队的起义、投诚人员和被俘人员中遴选。