SMT-based Debugging Support for Context-oriented Programming

DOI

Bibliographic Information

Other Title
  • SMTソルバーを用いたコンテキスト指向プログラミングのためのデバッグ支援

Abstract

COP (Context-Oriented Programming) languages such as ContextJ* enable programmers to describe the context-aware behavior elegantly. The primary system behavior can be separated from the context-aware behavior. On the other hand, unfortunately, it becomes difficult to debug the programs due to the complexity of COP execution and the dependence between objects and contexts. To deal with this problem, this paper proposes CJAdviser, SMT-based debugging support for ContextJ*. In CJAdviser, the execution trace of a ContextJ* program is converted to a context dependence graph that can be analyzed by the SMT solver Yices. Using CJAdviser, we can check a variety of object-context dependencies.

Journal

  • Computer Software

    Computer Software 29 (3), 3_108-3_114, 2012

    Japan Society for Software Science and Technology

Related Projects

See more

Details 詳細情報について

  • CRID
    1390282679715271168
  • NII Article ID
    130004549270
  • DOI
    10.11309/jssst.29.3_108
  • ISSN
    02896540
  • Text Lang
    ja
  • Data Source
    • JaLC
    • CiNii Articles
    • KAKEN
  • Abstract License Flag
    Disallowed

Report a problem

Back to top