WEKO3
アイテム
オブジェクト指向一貫記述言語系OOJにおけるトレーサの開発
https://ipsj.ixsq.nii.ac.jp/records/74102
https://ipsj.ixsq.nii.ac.jp/records/7410283a05f72-c2d4-4126-b08b-3cddca9dd54a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE11171006.pdf (1.8 MB)
|
Copyright (c) 2011 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2011-03-07 | |||||||
| タイトル | ||||||||
| タイトル | オブジェクト指向一貫記述言語系OOJにおけるトレーサの開発 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Development of Tracer for Object-oriented, Integrally Consistent Description Language OOJ | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 学生セッション：分析・テスト | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 茨城大学大学院理工学研究科 | ||||||||
| 著者所属 | ||||||||
| 茨城大学大学院理工学研究科 | ||||||||
| 著者所属 | ||||||||
| 茨城大学大学院理工学研究科 | ||||||||
| 著者所属 | ||||||||
| 茨城大学工学部情報工学科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Science and Engineering, Ibaraki University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Science and Engineering, Ibaraki University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Science and Engineering, Ibaraki University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer and Information Sciences, Ibaraki University | ||||||||
| 著者名 |
沼崎, 隼一
池田, 陽祐
三塚, 恵嗣
畠山, 正行
× 沼崎, 隼一 池田, 陽祐 三塚, 恵嗣 畠山, 正行
|
|||||||
| 著者名(英) |
Toshikazu, Numazaki
Yousuke, Ikeda
Keishi, Mitsuka
Masayuki, Hatakeyama
× Toshikazu, Numazaki Yousuke, Ikeda Keishi, Mitsuka Masayuki, Hatakeyama
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 我々の研究グループでは，以前より主としてシミュレーションプログラムの開発支援を目的としたオブジェクト指向一貫記述言語系OOJの研究を行って来た．従来のシミュレーションプログラムの開発では，分析，設計，実装の各段階において，個人規模の開発ではプログラムの実行結果が分析と同等内容のプログラムに変換されていることを検証するのは難しい．そこで本論文では，分析段階の記述と実装段階の記述の相似性を検証するための仕組みとしてトレーサの実装を提案する．それにより実際の記述例を用いての一貫相似性の検証を行うことが出来るようなった．実際の具体例として「一次元衝撃波管の流れ」という記述例を用いて一貫相似性の検証を行った．その結果，対応関係を用いての記述の変換過程の追跡により，記述が正しく変換できているのかの確認に有用であることが確認できた． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Our reseach group has been developed an Object-oriented description language OOJ for the purpose of developing a simulation program. The OOJ composed of the analysis stage, the design stage and the implementation stage. We have designed and implemented the mechanism of the Integrally Consistent and Similar Processes(ICSP) to verify the traceability and the similarity of the program using the OOJ. We have actualy verified the ICSP using the example description ”one-dimensional shock tube flow”. As the result, we have confirmed that the description example program has shown the traceability and the similarity by following the correspondent relationship. We could not demonstrate the effectiveness of the tracer because of the small scale example description. We will test and confirm the ICSP by using a large scale ones. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2011-SE-171, 号 6, p. 1-10, 発行日 2011-03-07 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
