有限回溯相关硕士博士期刊学术论文 - 搜论网

有限回溯相关论文

软件疑似缺陷的自动验证

人工方式验证包含大量误报的软件疑似缺陷集,耗时费力,难以发现真实的缺陷。本文提出一种基于有限回溯符号执行的软件疑似缺陷自动......

会议

软件缺陷疑似缺陷符号执行获得路径有限回溯验证方法人工方式耗时费力发现真实触发条件有效性误报测试

论有限回溯测试模式产生方法

该文首先剖析了ＦＢＴＰＧ方法的实质，然后在深入分析三种ＡＴＰＧ系统的Ｃ－Ｂ曲线的实验数据的基础上，提出故障模拟对测试生成的综合调节效应理论，为ＦＢＴＰＧ方法的有......

会议

有限回溯测试模式确定性测试生成方法综合调节效应理论系统实验数据时序电路基础故障模拟超大规模比较结果商用曲线剖析论证处理

看过本文同时还关注