一种嵌入式控制软件的可靠性测试

主要针对我国装备领域的一种嵌入式控制软件的数学仿真平台模拟测试，介绍了平台的结构及被测软件的设计，并对测试所收集的各项数据进行分析，同时简单讨论了可测试剖面及覆盖率的有关问题．

时序电路故障可测性分析

对不可测故障进行测试产生是影响时序电路测试产生效率的一个重要因素。文中提出了一种基于简化可控性计算的识别时序电路中不可测故障的算法,运用该算法无须搜索便可识别出时序电路中相当一部分不可测故障。针对ISCAS89电路的实验结果也验证了其有效性。