软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则，但由于对一般的软件，路径数目太大，以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ，按就近原则，现给出了一种划分Ｐ的算法，使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。     

饮食装备可靠性建设探讨

正饮食装备是后勤装备的重要组成部分,是战场饮食保障至关重要的物资基础。探讨饮食装备可靠性建设,对饮食装备保障效能的正常发挥具有重要意义。     

古拳新曲——访太极拳发源地陈家沟

在部队军营,河南省温县籍战士常以故乡是司马懿故里和太极拳发源地而自豪。古代三国时期,司马父子与诸葛亮逐鹿争雄而威震天下;今天,温县太极神功艺惊武坛而名扬四海。1985年8月,古城西安举行的五大洲14个国家武术国     

数字电路故障模拟方法复杂性分析

通过分析故障模拟算法的发展及其现状,在理论和对ISCAS实验的基础上,给出各种算法的复杂性分析结果,并比较了各种故障模拟方法的优劣。     

网络节点双机容错系统中的重构算法

提出了一种网络节点双机容错系统中的重构算法,详细叙述了重构时序和内存数据的一致性,并给出了算法流程。     

多故障信息标志的临界路径跟踪

提出了一种故障模拟方法——多故障信息标志的临界路径跟踪。虽然其基本概念类似于临界路径跟踪（CPT）和故障信息跟踪（FIT）,但是这种方法能大大减少扇出源的分析数量,故障在FFR中的传播比CPT中更加有效。本算法已用C语言在386微机上实现,并给出了ISCAS’85的十个组合电路的实验结果。     

德育考核指标体系的建立与评估

提出了建立德育考核指标体系的基本依据和重要原则,明确了在考核过程中应把握的问题,使用计算机软件对德育考核指标体系进行了分析评估.     

我院计算机课程改革的设想

根据军内外计算机课程改革的形势,并结合新制定的“全军计算机课程教学基本要求”,提出了我院计算机课程改革的设想.     

时序电路故障可测性分析

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