WEKO3
インデックスリンク
アイテム
トレース情報とプログラム解析による開発支援環境の研究開発
https://doi.org/10.24517/00052189
https://doi.org/10.24517/00052189c74ae336-5713-47a2-bba9-64b185c50dbd
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-SAKURAI-K-kaken 2013-4p.pdf (372.6 kB)
|
.png)
|
| Item type | 報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2018-10-01 | |||||
| タイトル | ||||||
| タイトル | トレース情報とプログラム解析による開発支援環境の研究開発 | |||||
| タイトル | ||||||
| タイトル | Research of A New Environment for Supporting Software Developers by Trace Information and Program Analysis | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
| 資源タイプ | research report | |||||
| ID登録 | ||||||
| ID登録 | 10.24517/00052189 | |||||
| ID登録タイプ | JaLC | |||||
| 著者 |
櫻井, 孝平
× 櫻井, 孝平 |
|||||
| 書誌情報 |
平成24(2012)年度 科学研究費補助金 若手研究(B) 研究成果報告書 en : 2012 Fiscal Year Final Research Report 巻 2011-2012, p. 4p., 発行日 2013-05-17 |
|||||
| 出版者 | ||||||
| 出版者 | 金沢大学理工研究域電子情報通信学系 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 本研究ではトレース情報に基づくデバッガを改良し、現実的なプログラムの実行履歴の取得を実現した。さらにこのデバッガ上に、デバッグ対象プログラムの解析を行う枠組みを開発・実装した。このデバッガと枠組みを応用して、潜在的に起こりうる欠陥の発見支援を可能にした。さらにソフトウェアテストにも応用し、プログラムの未実行箇所の解析によって品質向上につながるテストデータの生成を達成した。 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 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. | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 研究課題/領域番号:23700041, 研究期間(年度):2011-2012 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 出典：研究課題「トレース情報とプログラム解析による開発支援環境の研究開発」課題番号23700041 （KAKEN：科学研究費助成事業データベース（国立情報学研究所）） （https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-23700041/23700041seika/）を加工して作成 |
|||||
| 著者版フラグ | ||||||
| 出版タイプ | AM | |||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/search/?qm=80597021 | |||||
| 関連名称 | https://kaken.nii.ac.jp/search/?qm=80597021 | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23700041/ | |||||
| 関連名称 | https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23700041/ | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-23700041/23700041seika/ | |||||
| 関連名称 | https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-23700041/23700041seika/ | |||||
