アスペクト指向プログラミング言語の言語拡張に対する新たな枠組みの導入

引入面向方面编程语言的语言扩展新框架

• 批准号: 06J02115
• 负责人: 櫻井 孝平
• 金额: $ 1.79万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2006
• 资助国家: 日本
• 起止时间: 2006 至 2008
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06J02115/
• 关键词: アスペクト指向プログラミング; テストに基づいたポイントカット; AspectJ; 単体テスト; テストに基づいたポイントカード

当該年度は、前年度の芝浦工業大学の古宮研究室と共同研究の成果を英語論文化し、国際会議JCKBSE'08で発表した。この研究は単体テストから不要なオブジェクトへの依存性を排除するための表明機構Traversal Assertの提案と評価である。Traversal Assertは、後述するテストに基づくポイントカットが利用するような単体テストケースの記述を改善することができる。実際のオープンソースソフトウェアに対して意図的に欠陥を埋め込む変異テストを実施した結果、Traversal Assertを使うことでテストケースからの他のクラスへの不要な依存性を排除しつつ、正しく欠陥を発見できることを確認した。また、初年度に提案した、テストに基づくポイントカット(Test-based Pointcuts)に関する更なる実装の改善および博士論文執筆を行った。テストに基づくポイントカットはアスペクト指向プログラミングのソフトウェア進化発展への対応という問題の解決を目標とし、プログラムの単体テストケースを利用することで自動的な進化発展への対応を可能にする。また実行履歴の概念によるポイントカットの指定を、テスト実行によって可能にする。このような特定の実行履歴の指定は既存の技術では不可能であった。テストに基づくポイントカットは、単体テストケースをテストとして実行し、その際に実行履歴を記録することで、ポイントカットが期待する実行履歴の一例を得る。その実行履歴とプログラムの実行中に観測される実行履歴を対応づけることで、特定の実行履歴の指定を達成する。当該年度の実装の改善により、実行履歴の指定をより正確にすることが可能になった。

The results of joint research conducted by the Furumiya Laboratory of Shibaura University of Technology were presented at the International Conference JCKBSE'08. This study is based on the evaluation of the proposal of Traverse Assert. Traversal Assert is the last to be mentioned. In fact, the solution is to eliminate the dependency of the target, and to confirm the result of the implementation of the variant, the Traverse Assert, and the other variant. In the first year of the year, the proposal was submitted to the Ministry of Science and Technology, and the proposal was submitted to the Ministry of Education. The solution of the problem of the evolution of the system is to use the system of the system. The concept of implementation is to specify, implement and implement the This is a specific implementation of the existing technology is impossible. The first step is to make sure that you have a good record of your performance. The implementation of the test, specific implementation of the specified When the year's implementation of the improvement, implementation of the specified, correct, and possible

项目成果

アスペクト指向プログラミングにおけるテストに基づいたポイントカットの提案

面向方面编程中基于测试的切入点建议

• 发表时间: 2007
• 期刊: コンピュータソフトウェア (印刷中)
• 作者: Ri;S.;Matsunaga;Y.;Fujigaki;M.;Matui;T.;Morimoto;Y.;櫻井 孝平
• 通讯作者: 櫻井 孝平

An Assertion Mechanism for Software Unit Testing to Remain Unaffected by Program Modification-The Mechanism to Eliminate Dependency from/to Unnecessary Object

一种软件单元测试不受程序修改影响的断言机制——消除不必要对象依赖的机制

• 发表时间: 2008
• 期刊: 8th Joint Conference on Knowledge-Based Software Engineering 2008 (JCKBSE 08) 8
• 作者: Masanori Sakakibara;Kouhei Sakurai;Seiichi Komiya
• 通讯作者: Seiichi Komiya

プログラムの変更に強い単体テストのための表明機構-不要なオブジェクトとの間の依存関係を排除する方法-

抵抗程序变更的单元测试的断言机制 - 如何消除不必要的对象之间的依赖关系 -

• 发表时间: 2009
• 期刊: 日本ソフトウェア科学会コンピュータソフトウェア 26
• 作者: 榊原正天;櫻井孝平;古宮誠一
• 通讯作者: 古宮誠一

Test-based Pointcuts : A Robust Pointcut Mechanism Based on Unit Test Cases for Software Evolution

基于测试的切入点:一种基于单元测试用例的稳健的软件演化切入点机制

• 发表时间: 2007
• 期刊: LATE '07 : The workshop on Linking Aspect Technology and Evolution revisited
• 作者: 藤垣元治;李志遠;松井剛一;森本吉春;Kouhei Sakurai;Kouehi Sakurai
• 通讯作者: Kouehi Sakurai

Test-based pointcuts for robust and fine-grained join point specification.

基于测试的切入点，用于实现稳健且细粒度的连接点规范。

• 发表时间: 2008
• 期刊: Proceedings of the 7th International Conference on Aspect-Oriented Software Development (AOSD'08)
• 作者: 当山学;増原英彦;Hidehiko Masuhara;Kouhei Sakurai and Hidehiko Masuhara
• 通讯作者: Kouhei Sakurai and Hidehiko Masuhara