WEKO3
アイテム
外部イベント駆動型システムの試験系列生成手法
https://ipsj.ixsq.nii.ac.jp/records/13911
https://ipsj.ixsq.nii.ac.jp/records/139116aa4fef6-9b04-42b2-b802-f35abc4c0db0
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL3606020.pdf (979.1 kB)
|
Copyright (c) 1995 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1995-06-15 | |||||||
| タイトル | ||||||||
| タイトル | 外部イベント駆動型システムの試験系列生成手法 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Test Sequence Generation for External Event Driven Systems | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| その他タイトル | ||||||||
| その他のタイトル | ソフトウェア工学 | |||||||
| 著者所属 | ||||||||
| 日本電信電話株式会社 | ||||||||
| 著者所属 | ||||||||
| 日本電信電話株式会社 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT Corporation | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT Corporation | ||||||||
| 著者名 |
高木, 浩則
× 高木, 浩則
|
|||||||
| 著者名(英) |
Hironori, Takaki
× Hironori, Takaki
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本稿では、決定性有限状態機械でモデル化される外部イベント駆動型システムの動作仕様から、各状態遷移の停在およびその遷移先状態の確認を含む、試験実施コストの少ない試験系列を生成する手法を提案する。試験実施コストとしては、試験実施時間、または系列長のいずれかを用いることができる。状態確認系列はUIO系列（UniqueInput／Outputsequence）を用いる。本手法は、i）各状態の最小コストのUIO系列、およびii）各状態間の最小コストのUIO経路を用いて試験系列を重ねることにより、試験実施コストを減少させることを特徴とする。いくつかの例題に適用して本手法およびUIO系列を用いた従来手法の評価を行った結果、本手法は、一般に従来手法よりもコストの少ない試験系列を生成することが明らかになった。 | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 36, 号 6, p. 1456-1466, 発行日 1995-06-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
