{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00095242","sets":["1164:2735:7088:7267"]},"path":["7267"],"owner":"11","recid":"95242","title":["OOJ上に構築するソフトウェアV&Vのためのテスト環境の提案と実装"],"pubdate":{"attribute_name":"公開日","attribute_value":"2013-09-19"},"_buckets":{"deposit":"bbd90d17-d004-420d-9d52-e1886c064503"},"_deposit":{"id":"95242","pid":{"type":"depid","value":"95242","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"OOJ上に構築するソフトウェアV&Vのためのテスト環境の提案と実装","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"OOJ上に構築するソフトウェアV&Vのためのテスト環境の提案と実装"},{"subitem_title":"A proposal and its implementation of test environment for software V&V based on OOJ","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2013-09-19","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":"Presently with Technical Support Center for Education and Research, Gunma National College of Technology","subitem_text_language":"en"},{"subitem_text_value":"Presently with Faculty of Engineering, Ibaraki University","subitem_text_language":"en"},{"subitem_text_value":"Presently with Department of Computer and Information Sciences, Ibaraki University","subitem_text_language":"en"},{"subitem_text_value":"Presently with Faculty of Engineering, Ibaraki 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/95242/files/IPSJ-MPS13095009.pdf"},"date":[{"dateType":"Available","dateValue":"2015-09-19"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-MPS13095009.pdf","filesize":[{"value":"529.0 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":"17"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"d3390f7a-9748-4f17-98bd-05f2d2c826a0","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2013 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":"Mikio, Ohki","creatorNameLang":"en"},{"creatorName":"Yousuke, Ikeda","creatorNameLang":"en"},{"creatorName":"Yoshikazu, Ueda","creatorNameLang":"en"},{"creatorName":"Masayuki, Hatakeyama","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10505667","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":"個人規模のプログラム開発を目的として記述言語系 OOJ が構築されてきた．この OOJ は 4 つの内部サブ言語に分けて任意に詳細な追跡性を備えている． OOJ は一つにはプログラムがユーザの狙いや目的を正確に反映していること、および計算結果の妥当性を検証できる仕組みの実現を狙っているからである．本研究では OOJ 上にソフトウェア V&V のためのテスト環境を構築した事を報告する。具体的には客観的な検証のために IEEE Std 1012，829 等に準拠するテストケースを生成する仕組みを提案すると共にそのテスト環境の一部の実装を試みた．その結果，構造テストのテストケースとして利用可能なドキュメントを生成することが出来た．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"A descriptive language system OOJ and its descriptive environment for personal use has been developed. OOJ contains 4 inner sub-languages and the function for any detailed traceability. OOJ has been developed to attain the aims that the user-made program always reflect the user objectives and to confirm the validity of the calculated results. In the present paper, we will report on the test environments for the software V&V tests that we have developed. To attain this aim, we have proposed the mechanism to generate the test cases based on the IEEE Std 1012, 829, and a part of these test environment have been tried to implement. As the results, we have succeeded in generating some usable documents as the test cases of the structure test.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"6","bibliographic_titles":[{"bibliographic_title":"研究報告数理モデル化と問題解決（MPS）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2013-09-19","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"9","bibliographicVolumeNumber":"2013-MPS-95"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":95242,"updated":"2025-01-21T13:59:35.464466+00:00","links":{},"created":"2025-01-18T23:42:23.215049+00:00"}