WEKO3
アイテム
プレース／トランジションネットに基づくソフトウェアネガティブテストのフレームワークの提案
https://ipsj.ixsq.nii.ac.jp/records/163891
https://ipsj.ixsq.nii.ac.jp/records/1638912c46e7d0-4142-4708-bc09-23e9b263243f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z77-5A-01.pdf (144.5 kB)
|
Copyright (c) 2015 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | National Convention(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2015-03-17 | |||||||
| タイトル | ||||||||
| タイトル | プレース／トランジションネットに基づくソフトウェアネガティブテストのフレームワークの提案 | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | ソフトウェア科学・工学 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 香川大 | ||||||||
| 著者名 |
高木, 智彦
× 高木, 智彦
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | ソフトウェアネガティブテストは，テスト工程においてソフトウェアの想定される特定の故障を発見するための手法である．特に広大な状態空間をもつ並行ソフトウェアでは全体を網羅的にテストすることが困難であるため，リスクのある故障に着目したネガティブテストを行うことは有効なテスト戦術のひとつと考えられる．そこで本稿では，並行ソフトウェアの期待される振舞いを形式的に表現するのに適したプレース／トランジションネットに基づいた，新たなネガティブテスト法のフレームワークについて考察する． | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00349328 | |||||||
| 書誌情報 |
第77回全国大会講演論文集 巻 2015, 号 1, p. 189-190, 発行日 2015-03-17 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
