排序方式: 共有91条查询结果,搜索用时 148 毫秒
61.
62.
软件测试中的路径划分技术 总被引:1,自引:0,他引:1
路径覆盖测试准则要优于其它已知的覆盖准则,但由于对一般的软件,路径数目太大,以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序P和给定模块的最大路径数目k,按就近原则,现给出了一种划分P的算法,使得每个划分后的模块所包含的路径数目都少于等于k。同时也给出了最佳划分的度量标准和最佳划分方法。 相似文献
63.
64.
在部队军营,河南省温县籍战士常以故乡是司马懿故里和太极拳发源地而自豪。古代三国时期,司马父子与诸葛亮逐鹿争雄而威震天下;今天,温县太极神功艺惊武坛而名扬四海。1985年8月,古城西安举行的五大洲14个国家武术国 相似文献
65.
通过分析故障模拟算法的发展及其现状,在理论和对ISCAS实验的基础上,给出各种算法的复杂性分析结果,并比较了各种故障模拟方法的优劣。 相似文献
66.
提出了一种网络节点双机容错系统中的重构算法,详细叙述了重构时序和内存数据的一致性,并给出了算法流程。 相似文献
67.
提出了一种故障模拟方法——多故障信息标志的临界路径跟踪。虽然其基本概念类似于临界路径跟踪(CPT)和故障信息跟踪(FIT),但是这种方法能大大减少扇出源的分析数量,故障在FFR中的传播比CPT中更加有效。本算法已用C语言在386微机上实现,并给出了ISCAS’85的十个组合电路的实验结果。 相似文献
68.
提出了建立德育考核指标体系的基本依据和重要原则,明确了在考核过程中应把握的问题,使用计算机软件对德育考核指标体系进行了分析评估. 相似文献
69.
根据军内外计算机课程改革的形势,并结合新制定的“全军计算机课程教学基本要求”,提出了我院计算机课程改革的设想. 相似文献
70.
对不可测故障进行测试产生是影响时序电路测试产生效率的一个重要因素。文中提出了一种基于简化可控性计算的识别时序电路中不可测故障的算法,运用该算法无须搜索便可识别出时序电路中相当一部分不可测故障。针对ISCAS89电路的实验结果也验证了其有效性。 相似文献