TheNSFCKeyResearchPlanonTrustworthySoftware.pptVIP

Zhang and his students have also worked on the automatic detection of memory leak problems in C programs. * * We show the main points in the introduction. (1 min) * Here is AutoLog’s architecture shown as the animation of the workflow. (2 min) * (0.5 min) * Here we illustrate the relations between different slices and introduce log refinement. (1.5 min) * 1. In general, concurrency bugs can be categorized into two groups, shared-memory access-related bugs and lock-related bugs. All of these bugs are sensitive to thread interleavings. 2. (click) The testing and bug detection of multithreaded programs are usually extremely difficult due to the existing of non-deterministic behaviors, which causes the state-space explosion of thread interleaving. That is to say, all feasible paths within a thread should be covered, all feasible pairs of concurrent paths should be covered, and all feasible thread interleaving of a given pair of concurrent paths should be covered as well. 3. (click) During the last decade, many efforts have been made to develop effective and efficient approaches to detection of concurrency bugs. Especially, effective means bugs can be distinguished from huge number of thread interleavings, efficient means the detection approach is scalable or will not cause heavy overhead. 4. (click) Our contributions are …. * 1. In general, concurrency bugs can be categorized into two groups, shared-memory access-related bugs and lock-related bugs. All of these bugs are sensitive to thread interleavings. 2. (click) The testing and bug detection of multithreaded programs are usually extremely difficult due to the existing of non-deterministic behaviors, which causes the state-space explosion of thread interleaving. That is to say, all feasible paths within a thread should be covered, all feasible pairs of concurrent paths should be covered, and all feasible thread interleaving of a given pair of concurrent paths should be covered as well. 3. (click) During the last decad