| 講演名 | 2002/10/4 JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案 鷲尾 和則, 松下 誠, 井上 克郎, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | JavaScriptを含んだHTML文書に対して,DTDに基づいたタグ付けが行われているかどうか,データフロー解析を用いてその構文を検証する手法を提案する.この手法では,JavaScript部分に対して,出力文に含まれる変数のデータフロー解析を行い,構文解析の結果と合わせて,出力される文字列を正規表現を用いてパターン化する.そしてそのパターンについて正規表現の包含関係を判定するなどして構文の検証を行う. |
| 抄録(英) | This paper proposes that the technique of whether tag attachment based on DTD has been performed and verifying the syntax using data flow analysis is proposed to the HTML document containing Java Script. By this technique, data flow analysis of the variable contained in an output sentence is performed to a Java Script portion, the character sequence outputted is patternized together with the result of syntactic analysis using a regular expression, the inclusive relation of a regular expression is judged about the pattern, and syntax is verified. |
| キーワード(和) | HTML / XHTML / XML / JavaScript / ECMAScript / 妥当性検証 / データフロー解析 |
| キーワード(英) | HTML / XHTML / XML / JavaScript / ECMAScript / validation / data flow analysis |
| 資料番号 | KBSE2002-8 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2002/10/4(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案 |
| サブタイトル（和） | |
| タイトル（英） | Syntax Verification Technique Using Data Flow Analysis for JavaScript Embedded HTML Documents |
| サブタイトル（和） | |
| キーワード(1)（和/英） | HTML / HTML |
| キーワード(2)（和/英） | XHTML / XHTML |
| キーワード(3)（和/英） | XML / XML |
| キーワード(4)（和/英） | JavaScript / JavaScript |
| キーワード(5)（和/英） | ECMAScript / ECMAScript |
| キーワード(6)（和/英） | 妥当性検証 / validation |
| キーワード(7)（和/英） | データフロー解析 / data flow analysis |
| 第 1 著者 氏名（和/英） | 鷲尾 和則 / Kazunori WASHIO |
| 第 1 著者 所属（和/英） | 大阪大学大学院基礎工学研究科情報数理系 Division of Software Science Department of Informatics and Mathematical Science, Graduate School of Engineering Science, Osaka University |
| 第 2 著者 氏名（和/英） | 松下 誠 / Makoto MATSUSHITA |
| 第 2 著者 所属（和/英） | 大阪大学大学院情報科学研究科コンピュータサイエンス Graduate School of Information Science and Technology, Osaka University |
| 第 3 著者 氏名（和/英） | 井上 克郎 / Katsuro INOUE |
| 第 3 著者 所属（和/英） | 大阪大学大学院情報科学研究科コンピュータサイエンス Graduate School of Information Science and Technology, Osaka University |
| 発表年月日 | 2002/10/4 |
| 資料番号 | KBSE2002-8 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 371 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |