| Project/Area Number |
16H07031
|
|---|
| Research Category |
Grant-in-Aid for Research Activity Start-up
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
Zhao Jianjun 九州大学, システム情報科学研究院, 教授 (20299580)
|
|---|
| Project Period (FY) |
2016-08-26 – 2018-03-31
|
| Project Status |
Completed (Fiscal Year 2017)
|
| Budget Amount *help |
¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
Fiscal Year 2017: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
|---|
| Keywords | プログラム解析 / ソフトウェア理解 / リアクティブプログラム / プログラム理解 / ソフトウェアテスト / プログラム依存性解析 / ソフトウエアテスト |
|---|
| Outline of Final Research Achievements |
Since there existing multiple control flows and data flows in reactive programs, it is generally very difficult to predict the behaviors of the programs. For this reason, understanding, testing, and maintenance of reactive programs is expensive and time consuming. In this research, in order to establish a base of the development support environment for constructing reliable and efficient reactive programs, we proposed a new dependence model for explicitly representing various types of program dependences in reactive programs, which can be used to predict their behaviors. We also applied and evaluated the proposed dependence model in understanding, testing, and maintenance of reactive programs and demonstrated its effectiveness in the development of reliable and efficient reactive programs.
|
