动态依赖图相关论文
故障注入是研究软错误故障传播的传统手段,但随着程序复杂性不断增加,采用故障注入对大量软错误的故障传播进行研究将花费巨大的时间......
针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的个基于覆盖测试的动态依赖图,它既利用动态执......