WEKO3
アイテム
E-AoSAS++ に基づく開発支援環境－実行前検査ツールの提案－
https://ipsj.ixsq.nii.ac.jp/records/61986
https://ipsj.ixsq.nii.ac.jp/records/6198618b3d74e-88e9-4667-9c64-f7282680c6b6
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE09163016 (1.5 MB)
|
Copyright (c) 2009 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2009-03-11 | |||||||
| タイトル | ||||||||
| タイトル | E-AoSAS++ に基づく開発支援環境－実行前検査ツールの提案－ | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Software Development Environment based on E-AoSAS++ - Design of the Pre-Execution Check Tool - | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 南山大学大学院数理情報研究科 | ||||||||
| 著者所属 | ||||||||
| 南山大学数理情報学部 | ||||||||
| 著者所属 | ||||||||
| 南山大学数理情報学部 | ||||||||
| 著者所属 | ||||||||
| 南山大学数理情報学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Mathematical Sciences and Information Engineering, Nanzan University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Mathematical Sciences and Information Engineering, Nanzan University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Mathematical Sciences and Information Engineering, Nanzan University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Mathematical Sciences and Information Engineering, Nanzan University | ||||||||
| 著者名 |
加藤, 大地
× 加藤, 大地
|
|||||||
| 著者名(英) |
Daichi, Kato
× Daichi, Kato
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本稿ではアスペクト指向設計されたソフトウェアの実行前検査の方法を提案する．われわれは組込みソフトウェアを並行状態遷移機械の集合ととらえて，組込みソフトウェアのためのアスペクト指向ソフトウェアアーキテクチャスタイル (E-AoSAS++) を提案している．アスペクト指向の問題点として，アスペクトが織り込まれたソフトウェアの動作を把握することが困難であることが挙げられる．個々のアスペクトに欠陥がなくとも織り込み後のプログラムには欠陥が含まれる可能性がある．本稿では，アスペクト指向ソフトウェアの検査をモデル検査に帰着させて，設計段階における実行前検査の方法を提案する．E-AoSAS++ に基づいて記述されたアーキテクチャを対象に，アスペクト指向ソフトウェアにおける問題を整理する．モデル検査を行うために，アーキテクチャを記述した UML 図と CSP 記述との対応関係を考察し，UML 図から CSP 記述への変換を行うツールを試作した．提案した方法がアスペクト指向ソフトウェアにおける問題の解決を支援できることを示す． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | We propose methods for pre-execution check of aspect-oriented software. We have proposed the aspect-oriented software architecture style E-AoSAS++ (Aspect- oriented Software Architecture Style for Embedded systems) in which a set of concurrent state transition machines organizes a software. In aspect-oriented software, it is difficult to understand behavior of software woven with aspects. Though software without aspects is designed correctly, woven software may fail on execution. In this article, we propose pre-execution checking methods for aspect-oriented software us- ing model checking techniques in a design phase. We summarize problems on architecture based on E-AoSAS++ and translation rules between UML diagrams and CSP codes for model checking. We implemented a tool generating CSP codes from UML design. We show that our methods are effective to detect defects on aspect-oriented software. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2009, 号 31(2009-SE-163), p. 121-128, 発行日 2009-03-11 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
