| 講演名 | 1998/11/5 残存エラー数の推定が可能なプログラムの試験法(4) : エラー数推定のための前提条件 若杉 忠男, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | フローグラフを試験項目でカバーすることによりエラー総数を推定する方法について, この方法が成立するためのプログラムに必要な性質, 対象とするエラーの種類, 試験に課すべき条件を考察する.また無限の試験項目を有限で近似するアイデアと, エラー数の推定値の計算法を示し, その推定精度を"ある条件xを満たす試験環境のもとで, ある指標の値がyであれば, エラー総数が推定値より多い危険率はz%以下である"という形で評価する.また試験しやすいプログラムの条件を考える. |
| 抄録(英) | Conceming the method of estimating the number of errors of program on the basis of path coverage of flowgraph, necessary characters of program, kind of errors, and conditions of testing are discussed. The relation between coverage test and error numbers is presented. The error number is estimated in the form ; "Under the condition x, if an index is y, then the level of significance of provability that the error number is greater than the estimated value is less than z"And the conditions for an easy testable program are presented. |
| キーワード(和) | パス分解法 / パスカバレジ / フローグラフ / プログラム試験 / エラー数の推定 |
| キーワード(英) | path decomposition method / path coverage / flowgraph / program test / estimation of no of errors |
| 資料番号 | KBSE98-16 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1998/11/5(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 残存エラー数の推定が可能なプログラムの試験法(4) : エラー数推定のための前提条件 |
| サブタイトル（和） | |
| タイトル（英） | On a software test method capable of estimating the number of programming errors(4) : The premises for error number estimation |
| サブタイトル（和） | |
| キーワード(1)（和/英） | パス分解法 / path decomposition method |
| キーワード(2)（和/英） | パスカバレジ / path coverage |
| キーワード(3)（和/英） | フローグラフ / flowgraph |
| キーワード(4)（和/英） | プログラム試験 / program test |
| キーワード(5)（和/英） | エラー数の推定 / estimation of no of errors |
| 第 1 著者 氏名（和/英） | 若杉 忠男 / Tadao Wakasugi |
| 第 1 著者 所属（和/英） | 若杉情報技術コンサルタントオフィス:湘南工科大:文教短大 WAKASUGI Information Technology Consultant Office |
| 発表年月日 | 1998/11/5 |
| 資料番号 | KBSE98-16 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 387 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |