The Community for Technology Leaders
Quality Software, International Conference on (2006)
Beijing, China
Oct. 27, 2006 to Oct. 28, 2006
ISSN: 1550-6002
ISBN: 0-7695-2718-3
pp: 185-192
Heng Lu , The University of Hong Kong, Hong Kong
T.H. Tse , The University of Hong Kong, Hong Kong
W.K. Chan , City University of Hong Kong, Hong Kong
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 contexttriggered 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.
INDEX TERMS
Pervasive concurrent program, static slicing.
CITATION
Heng Lu, T.H. Tse, W.K. Chan, "Static Slicing for Pervasive Programs", Quality Software, International Conference on, vol. 00, no. , pp. 185-192, 2006, doi:10.1109/QSIC.2006.60
88 ms
(Ver )