トレース情報とプログラム解析による開発支援環境の研究開発

資料種別: 文書・図像類

著者: 櫻井, 孝平ほか

出版者: 金沢大学理工研究域電子情報通信学系

出版年: 2013-05-17

資料形態: デジタル

ページ数・大きさ等: -

NDC: -

すべて見る

資料に関する注記

一般注記：: 本研究ではトレース情報に基づくデバッガを改良し、現実的なプログラムの実行履歴の取得を実現した。さらにこのデバッガ上に、デバッグ対象プログラムの解析を行う枠組みを開発・実装した。このデバッガと枠組みを応用して、潜在的に起こりうる欠陥の発見支援を可能にした。さらにソフトウェアテストにも応用し、プログラム...

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

金沢大学学術情報リポジトリKURA
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
金沢大学学術情報リポジトリKURAのサイトでこの本を確認

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

デジタル

資料種別: 文書・図像類
タイトル: トレース情報とプログラム解析による開発支援環境の研究開発
著者・編者: 櫻井, 孝平
Sakurai, Kohei
著者標目: 櫻井, 孝平
Sakurai, Kohei
出版事項: 金沢大学理工研究域電子情報通信学系
出版年月日等: 2013-05-17
出版年（W3CDTF）: 2013-05-17
並列タイトル等: Research of A New Environment for Supporting Software Developers by Trace Information and Program Analysis
タイトル（掲載誌）: 平成24(2012)年度科学研究費補助金若手研究(B) 研究成果報告書 = 2012 Fiscal Year Final Research Report
巻号年月日等（掲載誌）: 2011-2012
掲載巻: 2011-2012
掲載ページ: 4p.-
本文の言語コード: jpn
件名標目: ソフトウェアデバッグ
プログラム解析
プログラムトレース
対象利用者: 一般
一般注記: 本研究ではトレース情報に基づくデバッガを改良し、現実的なプログラムの実行履歴の取得を実現した。さらにこのデバッガ上に、デバッグ対象プログラムの解析を行う枠組みを開発・実装した。このデバッガと枠組みを応用して、潜在的に起こりうる欠陥の発見支援を可能にした。さらにソフトウェアテストにも応用し、プログラムの未実行箇所の解析によって品質向上につながるテストデータの生成を達成した。
In this research, we improved a trace-based debugger and achieved recording execution of realistic programs. Moreover, we developed the new framework for analyzing the debugged program on top of the debugger. We realized finding potential faults in the program by the framework and the debugger. It also applied to software testing, and we realized generating additional test inputs for improving software quality.
研究課題/領域番号:23700041, 研究期間(年度):2011-2012
出典：研究課題「トレース情報とプログラム解析による開発支援環境の研究開発」課題番号23700041（KAKEN：科学研究費助成事業データベース（国立情報学研究所））（https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-23700041/23700041seika/）を加工して作成
DOI: 10.24517/00052189
一次資料へのリンクURL: https://kanazawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=45855&item_no=1&attribute_id=26&file_no=1
https://kanazawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=45855&item_no=1&attribute_id=26&file_no=1
オンライン閲覧公開範囲: 限定公開
著作権情報: CC BY-NC-ND
関連情報: https://kaken.nii.ac.jp/search/?qm=80597021
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23700041/
https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-23700041/23700041seika/
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 金沢大学 : 金沢大学学術情報リポジトリKURA