搜索筛选:
搜索耗时0.6157秒,为你在为你在102,267,441篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：王仲,官云战,
来源：贵州工业大学学报(自然科学版) 年份：2002
对不可测故障进行测试产生是影响时序电路测试产生效率的一个重要因素。提出了一种基于简化可控性计算的识别时序电路中不可测故障的算法，运用该算法无须搜索便于识别出时序电......
[会议论文] 作者：王仲,官云战,
来源：全国第八届CAD/CG学术年会 年份：1994
...
[会议论文] 作者：王仲,官云战,康葳,
来源：大连--香港国际计算机会议 年份：1998
该文针对基于模拟的时序电路测试生成方法特点，提出了基于结构分析的电路初始化方法，及增加伪初级输出作为测试观察点和伪矢量的合理利用等作为改进时序电路测试生成效率的策略......
[会议论文] 作者：胡成杰,官云战,金大海,
来源：第六届中国测试学术会议 年份：2010
静态测试是软件测试的一种，它是在不运行源程序的基础上，通过对源程序或者中间代码进行抽象和理解，抽取程序的属性并预测其运行时行为和状态来完成测试．本文通过对DTSJava系统的......
[会议论文] 作者：金大海,官云战,杨朝红,肖庆,
来源：第六届中国测试学术会议 年份：2010
提出一种结合运行时异常的静态-刹试方法，将故障检测及控制流扩展交替重复执行：故障检测导致控制流上添加代表运行时异常的边，额外添加的边又导致检测到更多的故障，这个过程重复迭代到控制流不再扩展为止．应用异常模式状态机描述运行时异常的特性，通过其故障状态发现......
相关搜索：
