XML表現を用いたプログラムの診断卒業発表 2008/2/7 海尻海谷研究室 M２劉英研究背景  プログラムの良形性は非常に重要だ。読解性、理解容易性が増す  保守性を高めることになる   プログラムの正しさには種々のレベルがある語彙レベル  構文レベル  静的意味レベル  動的意味レベル  語用論レベル  研究手法 Javaプログラムを対象とする事とし、 JavaMLというJavaプログラムのXML表現に着目し、XML表現を対象として良形性の診断を行うこととした。  JavaMLへの変換はJikesというフリーの Javaコンパイラを改造したツールを利用した。   診断：プログラムの良形性  プログラムのコピー   プログラムの診断として構成  クラス名を小文字で始めていないか  publicなインスタンスもしくはクラス変数いないか  set、getメソッドがあるか  変数名は有意な単語（辞書にあるような単語）  長すぎる行は避ける  プログラムの順序が理解安いかどうか  型と頭文字プログラム剽窃方法   プログラム剽窃：コピーするまたは少数のソースコード修正  語彙の変化：語彙の変化によって、原則として、テキストエディタによって実行されることができた変化を意味する。  コメントは言い換えられること、加えられること、省略されること  フォーマット化することは変わること  識別子名は修正されること  構造変化：  ループは代わられること（例えば、Pascalでwhile ループとuntilループは代わりになられる）  Nested if声明とcase声明は取り替えられる  プログラムの意味に影響を及ぼさないならば、声明命令は変わること手順への呼び出しは手順の量のコピーと取り替えられるかも  オペランドの命令は、変わるかも（例えば、 x ＜yは、y ＞= xになる）  プログラム検証方法  方法： • 情報を得って、ソフトウェア測定基準に基づく類似性を評価しているアルゴリズムを使用している 2つの文書の情報を比較する。 • 短所：支配フローのような構造特徴を反映することができない時から、それはソースコード剽窃を見つけることにふさわしくない  構造特徴を比較する • プログラムの論理的構造難しくて、もう一つの物を造る必要がある • 多くの方法がある（例えば：文字列、解析木、 token sequence）類似性検出手法  アルゴリズムにより i) 文字列マッチングによる類似性検出  ii) 構造の比較による類似性検出  iii) 意味的構造を用いた類似性検出  XML DOM  DOM:プログラムやスクリプトがXMLや HTMLのデータにアクセスし、それらを作するためのプログラムインターフェイス（API）と、そのインターフェイスが使用するオブジェクトモデルを定義する XMLデータとDOMツリーの関係  ＜?xml version=“1.0” encoding=“shiftJIS” ?> <Dog> <Name>ポチ＜/Name＞ <Age>2</Age> <Dog> Documentオブジェクト Elementオブジェクト (タグ名：Dog) Element オブジェクト (タグ名：Name) Element オブジェクト (タグ名：Age) Text オブジェクト（データ：ポチ） Text オブジェクト（データ：２）  ノードタイプの定数と数字 nodetype 定数要素（Element） ELEMENT_NODE 属性（Attr） ATTRIBUTE_NODE テキスト（Text） TEXT_NODE コメント COMMENT_NODE （Comment）文書 DOCUMENT_NODE （Document）文書型 DOCUMENT_TYPE_NODE （DocumentType）記法宣言 NOTATION_NODE （Notation）ノード種類 nodeName タグ名属性名 #text #comment nodeValue null 属性値テキストの内容コメントの内容 #document null 文書型の名前 null 記法の名前 null  DOMの名前空間関係のメソッドインターフェイス Document メソッド Element createElementNS Attr createAttributeNS Nodelist getElementByTagNameNS NameNodeMap Node getNamedｌtemNS Node setNamedｌtemNS Node removeNamedltemNS Element DOMString getAttributeNS 説明名前空間付きのElementの作成名前空間付きのAttrの作成指定した名前空間URIとローカル名を持つノードリストの返却指定した名前空間URIとローカル名を持つノードリストの取得名前空間付きのノードの追加指定した名前空間URIとローカル名を持つノードリストの除去指定した名前空間URIとローカル名を持つ属性の型の取得インターフェイス Element メソッド void setAttributeNS void removeAttributeNS Attr getAttributeNodeNS Attr setAttributeNodeNS NodeList getElementByTagNameNS boolean hasAttributeNS 説明名前空間で修飾された新しい属性の追加指定した名前空間URIとローカル名の属性の除去指定した名前空間URIとローカル名を持つAttrの取得名前空間で修飾された新しい Attrの追加 Elementの子孫から、指定した名前空間URIとローカル名のElementのノードリストを返す指定した名前空間URIとローカル名の属性が指定されているかまたはデフォルト値を持つかを調べる JavaML JavaMLはXMLの一種でJavaソースコード用のマークアップ言語  ソースコードの分析 XMLの分析   Public class Test <class name=“Test” visibility=“public”/>  JavaMLのコンパイラ jikes <javaソースファイル>  jikes ＋ulx <javaソースファイル>  プログラムの結果ルート要素のタグ名：java-source-program ***** ページリスト ***** クラス名 class2 ......先頭は小文字です。 public メソッド名 main ...... クラス名：class2 public クラスメソッド型：void 引数名 args[] ...... クラス名：class2 メソッド名：main 型：String ローカル変数名：rel[] ...... クラス名：class2 メソッド名：main 型：Rental ローカル変数名：i ...... クラス名：class2 メソッド名：main 型：int クラス名 Rental ...... public 変数名 price ...... クラス名：Rental public クラス変数型：int 変数名 title ...... クラス名：Rental インスタンス変数型：String メソッド名 set_price ...... クラス名：Rental public クラスメソッド型：void ->setメソッドである。引数名 p ...... クラス名：Rental メソッド名：set_price 型：int メソッド名 get_price ...... クラス名：Rental public インスタンスメソッド型：int ->getメソッドである。メソッド名 get_title ...... クラス名：Rental public インスタンスメソッド型：String->getメソッドである。お疲れ様でした