Aspect-oriented modularization of assertion crosscutting objects
Aspect-oriented modularization of assertion crosscutting objects
复制标题
断言横切对象的面向方面模块化
DOI:
10.1109/apsec.2005.43
复制
发表时间:
2005
期刊:
影响因子:
--
通讯作者:
Toshihiro Kamiya
中科院分区:
文献类型:
--
作者:
T. Ishio;S. Kusumoto;Katsuro Inoue;Toshihiro Kamiya
Assertion checking is a powerful tool to detect software faults during debugging, testing and maintenance. Although assertion documents the behavior of one component, it is hard to document relations and interactions among several objects since such assertion statements are spread across the modules. Therefore, we propose to modularize such assertion as an aspect in order to improve software maintainability. In this paper, taking Observer pattern as an example, we point out that some assertions tend to be crosscutting, and propose a modularization of such assertion with aspect-oriented language. We show a limitation of traditional assertion and effectiveness of assertion aspect through the case study, and discuss various situations to which assertion aspects are applicable.
DOI:
10.1007/bfb0053381
发表时间:
1997-01-01
期刊:
ECOOP'97: OBJECT-ORIENTED PROGRAMMING
影响因子:
--
作者:
Kiczales, G;Lamping, J;Irwin, J
通讯作者:
Irwin, J
DOI:
--
发表时间:
2005
期刊:
International Conference on Software Engineering
影响因子:
--
作者:
Takako Nakatani;Masaaki Hashimoto;et al.;Kiyoshi Yamada
通讯作者:
Kiyoshi Yamada
DOI:
--
发表时间:
2005
期刊:
IPSJ Transactions on Programming(in Japanese) Vol.46, No.PRO46(in press)
影响因子:
--
作者:
Kiyoshi Yamada;Takuo Watanabe
通讯作者:
Takuo Watanabe