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

Material type: 文書・図像類

Author: 櫻井, 孝平ほか

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

Publication date: 2013-05-17

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

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

Related materials as well as pre- and post-revision versions

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/

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Kanazawa University Repository for Academic Resources
Digital
You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
Kanazawa University Repository for Academic Resources

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: トレース情報とプログラム解析による開発支援環境の研究開発
Author/Editor: 櫻井, 孝平
Sakurai, Kohei
Author Heading: 櫻井, 孝平
Sakurai, Kohei
Publication, Distribution, etc.: 金沢大学理工研究域電子情報通信学系
Publication Date: 2013-05-17
Publication Date (W3CDTF): 2013-05-17
Alternative Title: Research of A New Environment for Supporting Software Developers by Trace Information and Program Analysis
Periodical title: 平成24(2012)年度科学研究費補助金若手研究(B) 研究成果報告書 = 2012 Fiscal Year Final Research Report
No. or year of volume/issue: 2011-2012
Volume: 2011-2012
Pages: 4p.-
Text Language Code: jpn
Subject Heading: ソフトウェアデバッグ
プログラム解析
プログラムトレース
Target Audience: 一般
Note (General): 本研究ではトレース情報に基づくデバッガを改良し、現実的なプログラムの実行履歴の取得を実現した。さらにこのデバッガ上に、デバッグ対象プログラムの解析を行う枠組みを開発・実装した。このデバッガと枠組みを応用して、潜在的に起こりうる欠陥の発見支援を可能にした。さらにソフトウェアテストにも応用し、プログラムの未実行箇所の解析によって品質向上につながるテストデータの生成を達成した。
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
Access Restrictions: 限定公開
Related Material: 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/
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 金沢大学 : 金沢大学学術情報リポジトリKURA