| 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)
|
|---|
| 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.
|
