WEKO3
アイテム
正則な状態遷移図の全遷移を網羅するテストデータ生成アルゴリズム
https://ipsj.ixsq.nii.ac.jp/records/15873
https://ipsj.ixsq.nii.ac.jp/records/158736f355fc2-5beb-4949-b7fc-a49446a0682a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL2506008.pdf (698.5 kB)
|
Copyright (c) 1984 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1984-11-15 | |||||||
| タイトル | ||||||||
| タイトル | 正則な状態遷移図の全遷移を網羅するテストデータ生成アルゴリズム | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | An Algorithm to Generate Test Data for Covering All Transitions of Regular State - Transition Diagram | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| （株）日立製作所システム開発研究所第2部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| 2nd Department, Systems Development Laboratory, Hitachi, Ltd | ||||||||
| 著者名 |
渡辺, 坦
× 渡辺, 坦
|
|||||||
| 著者名(英) |
Tan, Watanabe
× Tan, Watanabe
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | プログラム仕様に基づくテストデータ自動生成は ソフトウエアの信頼性と生産性の向上のために強く望まれている.本論文では プログラム仕様を連接と場合分け 反復で構成される正則状態遷移図として書き 入出力を列挙型データとし 内部的制約条件を ある遷移に伴う内部出力が他の遷移を起動する内部入力となるという形で書くならば その遷移を網羅的にテストする入力系列の集合の自動生成がかなりの成功をおさめることを示す.自動生成の過程では 入口から出口に至る実行可能経路の探索のために 何段階かの副次目標を設定する.自動生成時間は 遷移数が数十個の場合 大型計算機で数秒から数十秒である. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 25, 号 6, p. 960-969, 発行日 1984-11-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
