| Project/Area Number |
15K11989
|
|---|
| Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Mathematical informatics
|
|---|
| Research Institution | Yamagata University |
|---|
Principal Investigator |
HIRANAKA Yukio 山形大学, 大学院理工学研究科, 教授 (40134465)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
TAKETA Toshihiro 山形大学, 大学院理工学研究科, 助教 (90236472)
|
|---|
| Research Collaborator |
MIURA Shinichi
INAFUNE Tetsuya
MONMA Yuta
|
|---|
| Project Period (FY) |
2015-04-01 – 2018-03-31
|
| Project Status |
Completed (Fiscal Year 2017)
|
| Budget Amount *help |
¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
Fiscal Year 2017: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2016: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
|---|
| Keywords | ソフトウェア安全性検証 / 逆方向シミュレーション / 逆実行モデル / 数値範囲分析 / シンボリック逆実行 / Java bytecode / 数値範囲分割 / 範囲分割逆モデル / Java機械語 / オーバフロー対応 / シミュレーション実行監視 / ケース分岐シミュレーション / GPU並列処理 / MapReduce分散処理 |
|---|
| Outline of Final Research Achievements |
We have studied a method to verify comprehensive safety of software by using backward simulation. Specifically, we realized a method of detecting bugs in programs and malfunction factors while sequentially executing bytecodes corresponding to machine language for Java programs in the backward direction. We have tried a numerical range division method and a symbolic analysis method as the backward execution method, and obtained knowledges about characteristics of each methods.
|
