缺陷查找相关论文
嵌入式系统是一种专用的计算机系统,通过裁剪、结合软硬件的资源,可以满足用户各项性能指标的要求,包括功能需求、可靠性、成本、......
随着计算机技术的发展,软件在经济、工业、军事等重要领域的应用日益广泛,人们对其安全性的需求也越来越迫切。近年来动态符号执行......
本文重点介绍了2011年8月18日至10月08日,2＃机组在首次A修中,通过对中压调门疏水管座缺陷产生的位置、原因进行分析、制订方案等方......
电力变压器冲击合闸故障后,现场缺陷查找和判定及试验方法进行了比较分析,提出了变压器怀疑内部故障应注意的问题和应采用的试验方......
摘要：众所周知，差动保护是牵引变电所中主保护之一，也是牵引变电所保护主变压器中的最重要的保护，差动保护动作将直接引起主断路器跳闸......
叙述了通过定子铁心试验。用红外热成像仪发现和确定TBB-800-2EY3发电机定子铁心过热部位的全过程;在用传统方法修复未能奏效情况......
为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了针对文件格式数据块约束的符号执行分析方法(FFCBSE,File Format Const......
符号执行中约束求解所占的时间比例非常高.同时,不同复杂度约束的求解时间开销差距悬殊,这一现象在对包含复杂数值计算的程序进行......
本文阐述了局部放电检测原理，介绍了瞬时接地电压检测、超声波检测两种技术方案，并结合实际介绍了局部放电检测技术在配电设备缺陷查......
为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了基于输入约束的符号执行(ICBSE)优化框架。该方法通过分析程序代码自动......
由于JavaScript自身的语言特性,JavaScript程序中可能存在与运行时变量类型不匹配的缺陷,这类缺陷往往难以被察觉,只有在运行时报......
期刊
