WEKO3
アイテム
AOPを応用した実用的なソフトウェアモデル検査手法
https://ipsj.ixsq.nii.ac.jp/records/86194
https://ipsj.ixsq.nii.ac.jp/records/861946c5a9d89-c103-4004-92ef-1e4ca27a27b0
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2012 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2012-10-25 | |||||||
タイトル | ||||||||
タイトル | AOPを応用した実用的なソフトウェアモデル検査手法 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | A Practical Method for Software Model Checking Using AOP | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | 検証 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
(株)東芝ソフトウェア技術センター | ||||||||
著者所属 | ||||||||
国立情報学研究所 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Software Engineering Center, Toshiba Corporation | ||||||||
著者所属(英) | ||||||||
en | ||||||||
National Institute of Informatics | ||||||||
著者名 |
古賀, 陽一郎
× 古賀, 陽一郎
|
|||||||
著者名(英) |
Yoichiro, Koga
× Yoichiro, Koga
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 本報告では,ソフトウェアモデル検査に AOP を応用して実現する実用的なソフトウェアモデル検査手法を提案する.提案手法では検査内容に応じて検査対象プログラムを選択的にスタブ化する.スタブコード・検証コード,その他,検査にのみ必要なコードは全てアスペクト側に記述し,検査対象プログラムには一切手を加えない.これにより,ソースコード改変によるリグレッションの発生と検査時の状態爆発問題の軽減を試みる. | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | In this paper, we propose a practical method for software model checking using AOP (Aspect Oriented Programming). The proposed method provides selective code insertion/replacement for each test case. We do not make any changes in the original program. Code required only at testing, such as stub or assertion, is implemented on the aspect side. The method contributes to reducing regression and state explosion. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10112981 | |||||||
書誌情報 |
研究報告ソフトウェア工学(SE) 巻 2012-SE-178, 号 5, p. 1-8, 発行日 2012-10-25 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |