期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于深度学习的混合模糊测试方法 被引量:13
1
作者 高凤娟 王豫 +1 位作者 司徒凌云 王林章 《软件学报》 EI CSCD 北大核心 2021年第4期988-1005,共18页
随着软件技术的快速发展,面向领域的软件系统在广泛使用的同时带来了研究与应用上的新挑战.由于领域应用对安全性、可靠性有着很高的要求,而符号执行和模糊测试等技术在保障软件系统的安全性、可靠性方面已经发展了数十年,许多研究和被... 随着软件技术的快速发展,面向领域的软件系统在广泛使用的同时带来了研究与应用上的新挑战.由于领域应用对安全性、可靠性有着很高的要求,而符号执行和模糊测试等技术在保障软件系统的安全性、可靠性方面已经发展了数十年,许多研究和被发现的缺陷表明了它们的有效性.但是,由于两者的优劣各有不同,将这两者相结合仍是近期热门研究的话题.目前的结合方法在于两者相互协助,例如,模糊测试不可达的区域交给符号执行求解.但是,这些方法只能在模糊测试(或符号执行)运行时判定是否应该借助符号执行(或模糊测试),无法同时利用这两者的优势,从而导致性能不足.基于此,提出基于深度学习,将基于符号执行的测试与模糊测试相结合的混合测试方法.该方法旨在测试开始之前就判断适合模糊测试(或符号执行)的路径集,从而制导模糊测试(或符号执行)到达适合它们的区域.同时,还提出混合机制实现两者之间的交互,从而进一步提升整体的覆盖率.基于LAVA-M中程序的实验结果表明,所提方法相对于单独符号执行或模糊测试,能够提升20%+的分支覆盖率,增加约1~13倍的路径数目,多检测出929个缺陷. 展开更多
关键词 软件测试 深度学习 路径表示 符号执行 模糊测试 混合测试
下载PDF
QED中传播子的链近似展开
2
作者 朱善华 徐在新 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 1997年第2期108-110,共3页
关键词 量子电动力学 传播子 链近似展开 路径积分表示
下载PDF
CRITICAL BEHAVIOR OF S -3/2 ISING MODEL IN RANDOM LONGITUDINAL AND TRANSVERSE FIELDS
3
作者 宋为基 《苏州大学学报(自然科学版)》 CAS 1995年第2期41-46,共6页
The phase diagrams and the other crtical properties of S-3/2 Ising model in random longitudinal and transverse fields(RLIM) are dicussed with the approximate scheme combined by mean-field renormalization group theory(... The phase diagrams and the other crtical properties of S-3/2 Ising model in random longitudinal and transverse fields(RLIM) are dicussed with the approximate scheme combined by mean-field renormalization group theory(MFRG) and the discretized path-integral representation(DPIR). 展开更多
关键词 平均数领域 重正化群理论 离散路径-积分表示 临界行为 随机纵横领域 RLIM MFRG DPIR 伊辛模型
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部