| 基于圈复杂度的阶段动态符号执行 | |
| 所屬分類：技术论文 | |
| 上傳者：zhoubin333 | |
| 文檔大小：1504 K | |
| 標(biāo)簽： 圈复杂度 动态符号执行 阶段执行 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：为了缓解动态符号执行不可避免的路径爆炸等问题，提出了基于圈复杂度的阶段动态符号执行CCSDSEM优化算法。该算法通过计算约束判定条件为真的数量来衡量代码的圈复杂度，然后依据圈复杂度的阈值进行分阶段动态符号执行，使动态符号执行梯度进行，缓解路径选择指数爆炸，合理缩放符号执行。最后在KLEE中实现CCSDSEM框架，并对测试程序做了检测。CCSDSEM将符号执行的运行时间显著缩短，提升了生成测试用例的数量。 | |
| 現(xiàn)在下載 | |
| VIP會員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號-2