Proceedings of the 6th International Conference on Quality Software (QSIC '06),
IEEE Computer Society Press, Los Alamitos, CA, pp. 185-192 (2006)

Static Slicing for Pervasive Programs 1

Heng Lu 2 , W.K. Chan 3 , and T.H. Tse 4

[paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2006-09]


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.

Keywords: Pervasive concurrent program, static slicing

1. This research is supported in part by a grant of the Research Grants Council of Hong Kong (project no. 717506), a grant of The University of Hong Kong, and a grant of City University of Hong Kong.
2. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.
3. Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong.
4. (Corresponding author.)
Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.


  Cumulative visitor count