File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Static slicing for pervasive programs

TitleStatic slicing for pervasive programs
Authors
KeywordsPervasive concurrent program
Static slicing
Issue Date2006
PublisherIEEE
Citation
Proceedings - International Conference On Quality Software, 2006, p. 185-192 How to Cite?
AbstractPervasive 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. © 2006 IEEE.
Persistent Identifierhttp://hdl.handle.net/10722/55043
ISSN
References

 

DC FieldValueLanguage
dc.contributor.authorLu, Hen_HK
dc.contributor.authorChan, WKen_HK
dc.contributor.authorTse, THen_HK
dc.date.accessioned2009-07-15T03:24:06Z-
dc.date.available2009-07-15T03:24:06Z-
dc.date.issued2006en_HK
dc.identifier.citationProceedings - International Conference On Quality Software, 2006, p. 185-192en_HK
dc.identifier.issn1550-6002en_HK
dc.identifier.otherDOI 10.1109/QSIC.2006.60-
dc.identifier.urihttp://hdl.handle.net/10722/55043-
dc.description.abstractPervasive 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. © 2006 IEEE.en_HK
dc.description.sponsorshipThis research is supported in part by a grant of the Research Grants Council of Hong Kong (project no. HKU 7175/06E), a grant of The University of Hong Kong, and a grant of City University of Hong Kong.en
dc.language.isoengen
dc.publisherIEEEen
dc.relation.ispartofProceedings - International Conference on Quality Softwareen_HK
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.subjectPervasive concurrent programen_HK
dc.subjectStatic slicingen_HK
dc.titleStatic slicing for pervasive programsen_HK
dc.typeConference_Paperen_HK
dc.identifier.openurlhttp://library.hku.hk:4550/resserv?sid=HKU:IR&isbn=0-7695-2718-3/06&spage=185&epage=192&date=2006&atitle=Static+Slicing+for+Pervasive+Programs-
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepublished_or_final_versionen_HK
dc.identifier.doi10.1109/QSIC.2006.60en_HK
dc.identifier.scopuseid_2-s2.0-34250700955en_HK
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-34250700955&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.spage185en_HK
dc.identifier.epage192en_HK
dc.identifier.scopusauthoridLu, H=53872817300en_HK
dc.identifier.scopusauthoridChan, WK=23967779900en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats