In order to solve above problems, we use the static slice (the interprocedual slicing of KJOttenstein and LMOttenstein) in the prophase, so it reduces the code amount in the late period, making error explanation better.
本文针对以上问题,在前期使用静态切片(K.J.Ottenstein和L.M.Ottenstein的过程内切片),减少了后期处理的代码量,使得解释方法更有针对性。
参考来源 - 基于错误解释的故障定位方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐