2014 Fiscal Year Final Research Report
String Analysis for the Development of Web Software
| Project/Area Number |
24500028
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Keywords | ソフトウェア検証 / プログラム解析 / ウェブ / 文脈自由文法 / プッシュダウンシステム / HTML5 |
|---|
| Outline of Final Research Achievements |
To improve the reliability of HTML5 parsers, we check the conformance of HTML5 parsers by applying automated test generation. We translate a formalized specification into a conditional pushdown system and apply the reachability analysis of pushdown systems to automatically generate test cases.
To improve the precision of program analysis for Web Software, we give the semantics of regular expression matching based on list monads. We also develop a method that checks whether the matching of a regular expression runs in linear time. The method is based on the theory of tree transducers.
|
| Free Research Field |
ソフトウェア検証
|
