WEKO3
アイテム
誤りの効果的な説明のための反例空間解析
https://ipsj.ixsq.nii.ac.jp/records/191716
https://ipsj.ixsq.nii.ac.jp/records/1917169489af72-b0ef-41b3-9add-dd6e56cfeec2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-AL18170011.pdf (720.2 kB)
|
Copyright (c) 2018 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-11-05 | |||||||||
| タイトル | ||||||||||
| タイトル | 誤りの効果的な説明のための反例空間解析 | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| 電気通信大学 | ||||||||||
| 著者所属 | ||||||||||
| 日本電信電話株式会社 | ||||||||||
| 著者名 |
戸田, 貴久
× 戸田, 貴久
× 井上, 武
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | モデル検査はハードウェアやソフトウェアの検証のための自動推論技術である．システムのモデルに不具合がある場合，モデル検査器は，誤りの説明として違反状態に陥るシステムの動作例 (反例) を返す．反例はモデルにおける不具合を特定するための有用な手がかりであるが，反例計算と不具合特定の間には大きな隔たりがある．本研究では，効果的な誤りの説明のために，反例の集合を対象にして，その構造的な特徴を解析する一般的な計算の枠組みを提案する．反例の集合は，変数ドメインから継承された構造をもつ一種の幾何学空間とみなされる．これを反例空間と呼ぶ．本研究では，反例空間の上の区間構造に焦点を当て，最長区間問題を定式化する．最長区間は，空間の局所領域における顕著な特徴を表すものと考えられ，誤りをより良く理解するために役立つことが期待される．主結果として，最長区間問題を解くアルゴリズムを与え，その計算量を解析する． | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN1009593X | |||||||||
| 書誌情報 |
研究報告アルゴリズム（AL） 巻 2018-AL-170, 号 11, p. 1-8, 発行日 2018-11-05 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8566 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
