JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案

鷲尾, 和則; 松下, 誠; 井上, 克郎

このアイテムのアクセス数:73件（2018-12-11 21:22 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/26711

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr102_370_13	pdf	579 KB	32

論文情報

タイトル	JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案
別タイトル	Syntax Verification Technique Using Data Flow Analysis for JavaScript Embedded HTML Documents
タイトル (ヨミ)	Java　Script　ヲ　フクンダ　HTML　ブンショ　ニ　タイスル　データフロー　カイセキ　ヲ　モチイタ　コウブン　ケンショウ　シュホウ　ノ　テイアン
著者	鷲尾, 和則鷲尾, 和則
	松下, 誠松下, 誠
	井上, 克郎井上, 克郎
著者の別表記	Washio, Kazunori
	Matsushita, Makoto
	Inoue, Katsuro
著者 (ヨミ)	ワシオ, カズノリ
	マツシタ, マコト
	イノウエ, カツロウ
キーワード等	HTML
	XHTML
	XML
	JavaScript
	ECMAScript
	妥当性検証
	データフロー解析
	validation
	data flow analysis
抄録	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.
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻	102
号	370
開始ページ	13
終了ページ	18
刊行年月	2002-10-04
ISSN	09135685
NCID	AN10013287
URL	http://hdl.handle.net/11094/26711
権利情報	Copyright © 2002 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.102(370) P.13-P.18
DC.title	JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案
DCTERMS.alternative	Syntax Verification Technique Using Data Flow Analysis for JavaScript Embedded HTML Documents
DC.creator	鷲尾, 和則
	松下, 誠
	井上, 克郎
DC.creator	Washio, Kazunori
	Matsushita, Makoto
	Inoue, Katsuro
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2002-10-04
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/26711
DC.subject	HTML
	XHTML
	XML
	JavaScript
	ECMAScript
	妥当性検証
	データフロー解析
	validation
	data flow analysis
DCTERMS.abstract	JavaScriptを含んだHTML文書に対して, DTDに基づいたタグ付けが行われているかどうか, データフロー解析を用いてその構文を検証する手法を提案する. この手法では, JavaScript部分に対して, 出力文に含まれる変数のデータフロー解析を行い, 構文解析の結果と合わせて, 出力される文字列を正規表現を用いてパターン化する. そしてそのパターンについて正規表現の包含関係を判定するなどして構文の検証を行う.
DCTERMS.abstract	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.
DC.rights	Copyright © 2002 IEICE
DC.rights	本文データはCiNiiから複製したものである
citation_title	JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案
citation_author	鷲尾, 和則
	松下, 誠
	井上, 克郎
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2002-10-04
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	102
citation_issue	370
citation_firstpage	13
citation_lastpage	18
citation_issn	09135685
citation_public_url	http://hdl.handle.net/11094/26711
citation_keywords	HTML
	XHTML
	XML
	JavaScript
	ECMAScript
	妥当性検証
	データフロー解析
	validation
	data flow analysis

閲覧可能ファイル

論文情報

論文詳細を表示