Static slicing for pervasive programs

Abstract:Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code analysis techniques, can clarify the dependence between program artifacts and observable system states to facilitate debugging, testing, and other analyses. Existing program slicing techniques, however, do not take the contextual environment into account, resulting in incomplete slices for such kind of program. To tackle this problem, this paper proposes a novel static slicing approach. It develops a graphic representation that captures the context-triggered invocations and the pervasive concurrency features. We have also developed an algorithm to check the propagation dependence in processing inter-thread data dependence. Further optimizations are discussed.
Grants:HKU 7175/06E
Citation:Heng Lu, W.K. Chan, and T.H. Tse, "Static slicing for pervasive programs", in Proceedings of the 6th International Conference on Quality Software (QSIC 2006), pages 185-192, IEEE Computer Society Press, Los Alamitos, California ( 2006).
Remarks:[Selected by the Program chair for journal extension. Acceptance rate: 27.7%, 50 out of 181]
Related Papers:-

Selected Tags

Tag Groups


ACM SigSoft
IEEE Software Engineering Online