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
|
Project Status |
Completed (Fiscal Year 2014)
|
Budget Amount *help |
¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2013: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2012: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
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.
|
Report
(4 results)
Research Products
(13 results)