The root cause of these problems is analyzed and concluded to be that the current symbolic execution methods try best to achieve high code coverage without enough pertinence as to defects.
经分析,其问题根源是:现有符号执行类方法单纯追求代码覆盖率而缺陷针对性不强。
参考来源 - 多重循环程序内存访问越界增量检测方法Expansibility, code coverage and regression test also possesses great importance.
扩展性、代码覆盖率和回归测试等也在测试中占有很重要的地位。
参考来源 - 超大规模集成电路设计流程中的验证技术及实践·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐