WEKO3
アイテム
パステストに本質的な分岐に着目した網ら率尺度の提案
https://ipsj.ixsq.nii.ac.jp/records/16135
https://ipsj.ixsq.nii.ac.jp/records/16135b00b5680-0fa1-4306-9e42-c6547d093a91
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL2305012 (578.7 kB)
|
Copyright (c) 1982 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1982-09-15 | |||||||
| タイトル | ||||||||
| タイトル | パステストに本質的な分岐に着目した網ら率尺度の提案 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Coverage Measure Based on Essential Branches for Path Testing | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文（論文賞受賞） | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 日立製作所システム開発研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Systems Development Laboratory, Hitachi Ltd | ||||||||
| 著者名 |
中所, 武司
× 中所, 武司
|
|||||||
| 著者名(英) |
Takeshi, Chusho
× Takeshi, Chusho
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | ソフトウェアのテストを効率的かつ効果的に行うために プログラム内の全分岐方向のテスト実行をめざす分岐テスト法に用いる新しい網ら率尺度を提案する.すなわち 従来の尺度では すべての分岐方向を対等に扱っているため 品質が過大評価されたり 冗長なテストケースが選択されやすいという欠点があった.そこで われわれは まず パス網ら性に本質的な分岐を意味する原始アークと そうでない分岐を意味する相続子アークの概念を導入した.そして 被テストプログラムの制御フローグラフから 原始アークのみから成る相続子簡約グラフを求めるアルゴリズムを導出するとともに 本アルゴリズムがアーク数最小の相続子簡約グラフを導くことを示した.さらに パス網ら性をこの相続子簡約グラフ上で考える方式が 従来方式よりも品質評価基準に適していることを実験的に確かめた. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 23, 号 5, p. 545-552, 発行日 1982-09-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
