| Project/Area Number |
20H04166
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 60050:Software-related
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
Higo Yoshiki 大阪大学, 大学院情報科学研究科, 教授 (70452414)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
丸山 勝久 立命館大学, 情報理工学部, 教授 (30330012)
松本 真佑 大阪大学, 大学院情報科学研究科, 助教 (90583948)
|
|---|
| Project Period (FY) |
2020-04-01 – 2024-03-31
|
| Project Status |
Completed (Fiscal Year 2023)
|
| Budget Amount *help |
¥16,770,000 (Direct Cost: ¥12,900,000、Indirect Cost: ¥3,870,000)
Fiscal Year 2023: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
Fiscal Year 2022: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2021: ¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000)
Fiscal Year 2020: ¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
|
|---|
| Keywords | 欠陥限局 / 自動プログラム修正 / ソースコード解析 / テスト自動生成 / プログラム解析 / テストケース選択 / テストケース重み付け / テストケース生成 / テスト生成 |
|---|
| Outline of Research at the Start |
自動プログラム修正において利用可能な高精度の欠陥限局技術の開発が本研究の目的である．本研究は以下の2つのサブテーマからなる．
A: 与えられたテストが欠陥限局を行うにあたりどの程度十分かを計測する技術を開発する．この技術を既存のテスト自動生成技術と組み合わせることで，欠陥限局を行うのに必要十分なテストケースを得ることができる．
B: プログラム内のデータの流れを考慮した欠陥限局手法技術を開発する．この技術を利用することで，さらに高精度で欠陥限局できることが期待される．
|
| Outline of Final Research Achievements |
In this research project, we have worked to develop fault localization techniques that have a high affinity with automated program repair techniques. Specifically, we worked on "improving fault localization accuracy through automated test case generation", "improving fault localization accuracy through test case weighting", "developing a mechanism for quantitatively evaluating the affinity between the target program and fault localization techniques", and "investigating the relationship between test cases to check exception handling and fault localization accuracy".
|
| Academic Significance and Societal Importance of the Research Achievements |
発生したバグを完全に自動で修正する自動プログラム修正技術が注目を集めているが，現在の技術レベルでは修正可能なバグは少なく，この技術を実システムで利用するのは現実的ではない．本研究では，自動プログラム修正技術の中で利用する欠陥限局技術に注目し，その高精度化を行った．本研究成果を用いることにより，自動プログラム修正技術の精度向上や高速化もある程度達成されるため，自動プログラム修正技術を実用的な技術として高める一助になる．
|
