{"created":"2025-01-18T23:29:25.517122+00:00","updated":"2025-01-21T23:35:38.293512+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00070124","sets":["1164:2822:5990:6147"]},"path":["6147"],"owner":"10","recid":"70124","title":["マルチプロセッサ対応RTOSを対象としたテストシナリオ記述法とテストプログラム生成ツール"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-08-02"},"_buckets":{"deposit":"222ef01e-980a-4700-a4ad-353f4d2b7865"},"_deposit":{"id":"70124","pid":{"type":"depid","value":"70124","revision_id":0},"owners":[10],"status":"published","created_by":10},"item_title":"マルチプロセッサ対応RTOSを対象としたテストシナリオ記述法とテストプログラム生成ツール","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"マルチプロセッサ対応RTOSを対象としたテストシナリオ記述法とテストプログラム生成ツール"},{"subitem_title":"A Method to Describe Test Scenarios and a Test Program Generator for Multiprocessor RTOS","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"リアルタイムシステム＋検証支援","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2010-08-02","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"名古屋大学"},{"subitem_text_value":"名古屋大学／現所属(株) デンソークリエイト"},{"subitem_text_value":"名古屋大学"},{"subitem_text_value":"名古屋大学"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Nagoya University","subitem_text_language":"en"},{"subitem_text_value":"Nagoya University / Presently with DENSO CREATE INC.","subitem_text_language":"en"},{"subitem_text_value":"Nagoya University","subitem_text_language":"en"},{"subitem_text_value":"Nagoya University","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/70124/files/IPSJ-EMB10018001.pdf"},"date":[{"dateType":"Available","dateValue":"2012-08-02"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-EMB10018001.pdf","filesize":[{"value":"235.6 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":"42"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"24ab2a8d-f6ea-4bda-8880-282488574a5e","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2010 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"鴫原, 一人"},{"creatorName":"眞弓, 友宏"},{"creatorName":"本田, 晋也"},{"creatorName":"高田, 広章"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kazuto, Shigihara","creatorNameLang":"en"},{"creatorName":"Tomohiro, Mayumi","creatorNameLang":"en"},{"creatorName":"Shinya, Honda","creatorNameLang":"en"},{"creatorName":"Hiroaki, Takada","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12149313","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_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"μITRON 仕様をベースとしたマルチプロセッサ対応 RTOS のテストスイート開発を効率化するために，テストシナリオを形式化して記述する TESRY 記法を定め，TESRY 記法を用いて作成したデータからテストプログラムを生成するツールを開発した．開発したツールを用いて，API のテストを約 3,000 件開発し，開発の効率化を確認した．また，31 件の不具合を検出した．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In this paper, we present a method to describe test scenarios (the TESRY notation) aimed at efficiently developing test suites for multiprocessor RTOS that support the μITRON specification. We developed a test program generator based on the TESRY notation, which was used to develop about 3,000 API test cases, and confirmed the efficiency of the proposed approach. We also detected 31 bugs in the RTOS.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告組込みシステム（EMB）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2010-08-02","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicVolumeNumber":"2010-EMB-18"}]},"relation_version_is_last":true,"weko_creator_id":"10"},"id":70124,"links":{}}