{"created":"2025-01-19T00:44:35.046856+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00174376","sets":["6164:6165:6522:8893"]},"path":["8893"],"owner":"11","recid":"174376","title":["偽反例の出力を抑制するモデル検査支援環境"],"pubdate":{"attribute_name":"公開日","attribute_value":"2016-08-24"},"_buckets":{"deposit":"984de613-fd8e-4830-b566-ebfc4c39f86c"},"_deposit":{"id":"174376","pid":{"type":"depid","value":"174376","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"偽反例の出力を抑制するモデル検査支援環境","author_link":["357562","357566","357568","357580","357570","357565","357573","357560","357576","357583","357581","357557","357558","357567","357564","357578","357579","357561","357559","357572","357574","357571","357569","357575","357584","357577","357563","357582"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"偽反例の出力を抑制するモデル検査支援環境"},{"subitem_title":"Model Checking Assistance Environment to Prevent Spurious Counterexamples","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"モデル検査・テスト","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2016-08-24","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"},{"subitem_text_value":"株式会社日立製作所"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi, Ltd.","subitem_text_language":"en"}]},"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/174376/files/IPSJ-SES2016031.pdf","label":"IPSJ-SES2016031.pdf"},"date":[{"dateType":"Available","dateValue":"2018-08-24"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SES2016031.pdf","filesize":[{"value":"637.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":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"50ea5720-6aba-465c-a842-52a3c389947e","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2016 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"佐藤, 直人"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"芹沢, 一"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"前田, 浩光"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"高橋, 伸明"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"前川, 義之"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"四野見, 秀明"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"村尾, 直哉"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"大島, 豊"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"田代, 敦"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"黒川, 勇"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"八木沢, 育哉"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"高田, 豊"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"清永, 章彦"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"大橋, 正己"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Naoto, Sato","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Kazuyoshi, Serizawa","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hiromitsu, Maeda","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Nobuaki, Takahashi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yoshiyuki, Maekawa","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hideaki, Shinomi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Naoya, Murao","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yutaka, Ohshima","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Atsushi, Tashiro","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Isamu, Kurokawa","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Ikuya, Yagisawa","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yutaka, Takata","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Akihiko, Kiyonaga","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Masami, Ohashi","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"システムの仕様不具合を網羅的に検査する手段として，モデル検査がある．モデル検査とは，仕様を有限状態機械としてモデル記述し，その状態空間をモデル検査器と呼ばれるツールで機械的に網羅検査する技術である．検査により仕様不具合が検出された場合，モデル検査器はその不具合に至るまでの実行系列を反例として出力する．上流段階の設計では，仕様の簡略化のため，システムの振る舞いを抽象化して表現する場合がある．その場合，実際のシステムの振る舞いと一致しない反例が出力される可能性がある．これは偽反例と呼ばれ，不具合解析の障害になっている．偽反例を除去するためには，仕様が実システムの振る舞いと一致するように詳細化すればよい．しかし，上記のような目的で意図的に仕様を抽象化している場合は，その目的を達成できなくなる．そこで本稿では，仕様を詳細化せずに偽反例の出力を抑制する手法を提案する．さらに，提案手法に基づく作業を，形式言語を習得していない設計者でも実施可能にするモデル検査支援環境を提案する．本支援環境は，偽反例を入力として受け付け，その偽反例が出力されないように形式言語モデルを自動変更する．また本稿では，提案手法の実現性を確認するために行った適用実験結果も示す．","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"218","bibliographic_titles":[{"bibliographic_title":"ソフトウェアエンジニアリングシンポジウム2016論文集"}],"bibliographicPageStart":"211","bibliographicIssueDates":{"bibliographicIssueDate":"2016-08-24","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2016"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":174376,"updated":"2025-01-20T06:53:37.723099+00:00","links":{}}