{"id":69718,"updated":"2025-01-20T06:26:06.544476+00:00","links":{},"created":"2025-01-18T23:29:07.107113+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00069718","sets":["934:935:6064:6119"]},"path":["6119"],"owner":"11","recid":"69718","title":["Traceglasses：欠陥の効率良い発見手法を実現するトレースに基づくデバッガ"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-06-16"},"_buckets":{"deposit":"6e178d54-ad86-45ca-8bfa-d0086ed96a05"},"_deposit":{"id":"69718","pid":{"type":"depid","value":"69718","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"Traceglasses：欠陥の効率良い発見手法を実現するトレースに基づくデバッガ","author_link":["362974","362971","362970","362975","362973","362972"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Traceglasses：欠陥の効率良い発見手法を実現するトレースに基づくデバッガ"},{"subitem_title":"Traceglasses: A Trace-based Debugger for Realizing Efficient Navigation","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"通常論文（優秀論文賞）","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2010-06-16","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"芝浦工業大学大学院工学研究科"},{"subitem_text_value":"東京大学大学院総合文化研究科"},{"subitem_text_value":"芝浦工業大学大学院工学研究科"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Engineering, Shibaura-Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Arts and Sciences, The University of Tokyo","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Engineering, Shibaura-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/69718/files/IPSJ-TPRO0303002.pdf","label":"IPSJ-TPRO0303002"},"date":[{"dateType":"Available","dateValue":"2012-06-16"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO0303002.pdf","filesize":[{"value":"953.9 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":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"47b0c622-1816-46f9-b92e-2a5a6b6d3ddc","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2010 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"櫻井, 孝平"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"増原, 英彦"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"古宮, 誠一"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kouhei, Sakurai","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hidehiko, Masuhara","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Seiichi, Komiya","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464814","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7802","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"現状のデバッグはプログラムの不正な動作を理解するために多くの時間とコストを必要とする．本研究は実行トレースを使った新たな欠陥の発見手法を提案することでデバッグの効率化を図り，トレースに基づく Java のためのデバッガである Traceglasses として実装する．Traceglasses は，プログラムの実行中のイベントを記録したトレースの対話的な表示と検索が可能で，利用者がプログラムの動作を遡って欠陥を発見することを支援する． Traceglasses は，トレースをメソッド呼び出し関係により木構造に変換し，ブレークポイントデバッガに見られるようなステップ操作を行わずに，トレースの表示を行う．また，指定されたオブジェクトに対する操作のみを抽出したトレースを表示できる．これらの特徴により，利用者は，実行順に並んだ膨大なトレースに対して局所的および大域的に，必要な部分だけを理解し，効率良く欠陥を発見できる．Traceglasses の実装は，木構造を持つ膨大なトレースを効率良く探索し表示するために，専用のデータ構造を構築する．本発表では，Traceglasses の実装により実際のテキスト整形プログラムの欠陥をプログラムの出力から遡り発見する事例を説明し，提案した欠陥の発見手法と実装について実用上の有用性を示す．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Debugging requires considerable time and effort to understand incorrect behavior of a program. We developed a trace-based debugger called Traceglasses for Java. It provides the programmer a better means of navigating an execution history so that he or she can efficiently spot a defect in the program. First, the developers can browse an execution trace namely a sequence of events in the execution, with a view of local trace information, and a function to jump to a distant point in the trace. A local trace information is shown as a tree structure of method call, which liberate the programmers from stepped program executions, which are inevitable with breakpoint-based debuggers. In order to globally jump to a distant point in a trace the programmer can restrict a trace view to an object. Our implementation achieved efficient recording and displaying of traces by designing a dedicated data structure. In this presentation, we demonstrate usefulness of our debugger through a case study that is to find a defect in a practical text-formatiing program.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"17","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2010-06-16","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicVolumeNumber":"3"}]},"relation_version_is_last":true,"weko_creator_id":"11"}}