{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00186611","sets":["1164:1384:9436:9437"]},"path":["9437"],"owner":"11","recid":"186611","title":["イベント処理を考慮した正確かつ高速なデータフロー解析"],"pubdate":{"attribute_name":"公開日","attribute_value":"2018-03-02"},"_buckets":{"deposit":"36acdc7c-6625-4cf8-ba5b-bdfa2661a252"},"_deposit":{"id":"186611","pid":{"type":"depid","value":"186611","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"イベント処理を考慮した正確かつ高速なデータフロー解析","author_link":["419154","419153","419155"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"イベント処理を考慮した正確かつ高速なデータフロー解析"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"プログラミング言語と解析","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2018-03-02","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京工業大学"},{"subitem_text_value":"東京工業大学"},{"subitem_text_value":"東京工業大学"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Tokyo Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Tokyo Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Tokyo Institute of Technology","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/186611/files/IPSJ-SE18198021.pdf","label":"IPSJ-SE18198021.pdf"},"date":[{"dateType":"Available","dateValue":"2020-03-02"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE18198021.pdf","filesize":[{"value":"997.8 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"1d5dfdad-ef26-48b4-8817-2785ed1dfae3","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2018 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"高野, 健太"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"荒堀, 喜貴"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"権藤, 克彦"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8825","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"JavaScript のデータフロー解析を難しくする要因に非同期に実行されるイベント処理が存在する．先行研究において非同期処理のモデル化は不正確であり，またイベントの発火順序を考慮したモデル上では解析自体がスケールしないという課題が存在する．本研究ではこのイベント処理の振る舞いを解析した結果を元に，精度を保ちつつ高速にデータフロー解析を行うための 2 つの簡約手法，イベント順序ベース簡約と類似操作ベース簡約を提案する．これらの簡約手法では，条件式の簡易な値解析によるイベント処理の枝刈りと，イベントの発火順序を考慮したデータフローの集約によって，データフロー解析をより正確かつ高速に行えるようにする．そして，これらの提案手法を実際にツールとして実装し，7 種類の小さいケースと 3 種類の実際のライブラリに対するデータフロー解析により評価実験を行い，提案手法を用いないベース手法との比較を行った．この評価の結果，小さいケースでは，7 種類の内の 4 種類のケースにおいてほぼ同様の解析時間でより良い精度の解析を行うことができた．また，ライブラリでは，3 種類の内の 1 種類のケースにおいて解析精度の向上が確認できた．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2018-03-02","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"21","bibliographicVolumeNumber":"2018-SE-198"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"updated":"2025-01-20T02:31:33.639795+00:00","created":"2025-01-19T00:53:33.157136+00:00","links":{},"id":186611}