ソフトウェアテスト 　　 [4] ブラックボックステス ト Software Testing [4] Black Box Testing Techniques あまん ひろひさ ひろひさ 阿萬 裕久 裕久（ AMAN Hirohisa ） aman@ehime-u.ac.jp (C) 2007-2022 Hirohisa AMAN テスト工程 （ウォータフォールモデルの場合）場合） 開 発 プ ロ セ ス  要求分析  設計  外部設計  内部設計  実装（プログラミング）  テスト  運用・保守 (C) 2007-2022 Hirohisa AMAN テストの場合）目的と内容と内容内容  目的と内容 ソフトウェアに存在するかもしれないエ存在するかもしれないエするかもしれないエエ ラー（誤り，バグ）を見つけ出すり，バグ）を見つけ出すバグ）を見つけ出す見つけ出すつけ出す出すす  内容 ソフトウェアを見つけ出す実行し，バグ）を見つけ出す仕様通りの正しりの場合）正しし いエ動ききを見つけ出すするの場合）かを見つけ出す確認するする また，バグ）を見つけ出す仕様に存在するかもしれないエないエ状況に対しても障害がに存在するかもしれないエ対しても障害がしても障害がが 起こらないこらないエこと内容を見つけ出す可能な限り確認するな限り確認するり確認するする (C) 2007-2022 Hirohisa AMAN テストの場合）難しさしさ  設計者・開発者は，バグ）を見つけ出すもと内容もと内容仕様通りの正しりの場合）も の場合）を見つけ出す作ろうとしたろうと内容した  仕様通りの正しりかどうかは，バグ）を見つけ出す仕様書に沿って確認に存在するかもしれないエ沿って確認って確認する できる（ただし，バグ）を見つけ出すそれでも網羅は難しいは難しさしいエ）  仕様外に存在するかもしれないエついエては，バグ）を見つけ出すそもそも想定外であっ たり，バグ）を見つけ出す気付かなかったりかなかったりするの場合）でチェック は大変 (C) 2007-2022 Hirohisa AMAN テストの場合）大事さ：さ： テスト次第では防げたかもしれない事例では防げたかもしれない事例げたかもしれないエ事さ：例  AT&T の場合）ネットワークが全面停止でで７５０ 万件の電話が不通の場合）電話が不通が不通りの正し（ 1990 年） 原因： 更新時にプログラムを１行追加しただけに存在するかもしれないエプログラムを１行追加しただけを見つけ出す１行追加しただけ行追加しただけしただけ出す だった  Ariane ロケットが空中で爆発で爆発（ 1996 年） 原因： 64 ビットの場合）数字をを見つけ出す 16 ビットで扱っていっていエ た ※ 開発費 80 億ドル以上（１兆円近い）ドル以上（１行追加しただけ兆円近い）いエ）  火星調査機がが火星面へ墜落墜落 （ 1999 年） (C) 2007-2022 Hirohisa AMAN 原因： 着陸のためのエンジン噴射の推力についの場合）ための場合）エンジン噴射の推力についの場合）推力についに存在するかもしれないエ ついエ 用語： テストケース，バグ）を見つけ出すテストスイート，バグ）を見つけ出すテスト 空間  テストケース（ Test Case Case ） ある特定の場合）入力についデータ・条件の電話が不通（と内容期待される出される出す 力につい）  テストスイート（ Test Case Suit Casee ） テストケースの場合）集合で，バグ）を見つけ出す一連のテストを実行するの場合）テストを見つけ出す実行する もの場合）  テスト空間（ Test Caseing Domain Domain ） プログラムを１行追加しただけに存在するかもしれないエ誤り，バグ）を見つけ出すりが無いことを保証できるいエこと内容を見つけ出す保証できるできるような テストケースの場合）全集合 (C) 2007-2022 Hirohisa AMAN テストの場合）例（１行追加しただけ）：長さの変換さの場合）変換 ※ １行追加しただけキロメートル = 0.621371 マイル 「キロメートル → マイル」変換プログラム マイル」変換プログラム変換プログラムを１行追加しただけ 【入力につい】 以上 10000 未満の実数とし，の場合）実数と内容し，バグ）を見つけ出す 小数点以下は は 桁まで有効まで有効（それより下は の場合）桁まで有効は 無いことを保証できる視） 【出す力につい】 マイルに存在するかもしれないエ変換した値で，小数点以下 で，バグ）を見つけ出す小数点以下は 桁まで有効 に存在するかもしれないエ切り捨てたものり捨てたものてたもの場合） 入力につい 期待される出される出す 力につい 入力につい 期待される出される出す 力につい 0.000 9.99 6.207 9999.99 6213.703 10 6.213 0.621 -1 エラー 1.001 0.621 10000 エラー (C) 2007-2022 Hirohisa AMAN 他にも例外的に存在するかもしれないエも例外的と内容 な場合（数値で，小数点以下 以外を見つけ出す入力につい） もあると内容よいエ （※有名な問題）な問題） テストの場合）例（２） ：三角形問題 つの場合）整数を見つけ出す入力についと内容し，バグ）を見つけ出すそれぞれを見つけ出す辺の長さの場合）長さの変換さ と内容した三角形を見つけ出す考える．そこで出来上がるのえる．そこで出す来上がるの場合） が  二等辺の長さ三角形  正し三角形  不等辺の長さ三角形 の場合）いエずれなの場合）かを見つけ出す判定するプログラムを１行追加しただけに存在するかもしれないエついエ て，バグ）を見つけ出すテストケースを見つけ出す考える．そこで出来上がるのえよ． (C) 2007-2022 Hirohisa AMAN 三角形問題に存在するかもしれないエ対しても障害がするテストケース例 入力につい 期待される出される出す力につい (2, 5, 5) 二等辺の長さ三角形 (5, 5, 5) 正し三角形 (3, 4, 5) 不等辺の長さ三角形 (0, 0, 0) エラー ※点に存在するかもしれないエなってしまう (3, 4, 7) エラー ※線分に存在するかもしれないエなってしまう (2, 5, 8) エラー ※最長さの変換辺の長さの場合）長さの変換さ ＞ 他の辺の長さの和 他にも例外的の場合）辺の長さの場合）長さの変換さの場合）和 (1.3, 4, 5) エラー ※実数がある（三角形と内容しての場合）不等式は成は成 立） (-2, 4, 5) エラー ※負の数があるの場合）数がある ※ 三角形と内容しての場合）不等式は成： 最長さの変換辺の長さの場合）長さの変換さ ＜　他の辺の長さの和 他にも例外的の場合）辺の長さの場合）長さの変換さの場合）和 さらに存在するかもしれないエは数値で，小数点以下 の場合）入力につい順序を入れ替えたものもあるとよいを見つけ出す入れ替えたものもあるとよいえたもの場合）もあると内容よいエ (C) 2007-2022 Hirohisa AMAN 【演習１行追加しただけ】 整数の場合）ソーティングプログラムを１行追加しただけを見つけ出すテスト せよ  いエま，バグ）を見つけ出す N 個の整数をソーティングするプロの場合）整数を見つけ出すソーティングするプロ グラムを１行追加しただけが与えられているえられていエる  ０ ≦ N ≦ １行追加しただけ００００  入力についは（数列が格納されている）ファイルかが格納されている）ファイルかされていエる）ファイルか ら  この場合）プログラムを１行追加しただけの場合）ための場合）テストケース（こ こでは入力についだけ出すでよいエ）を見つけ出す考える．そこで出来上がるのえなさいエ (C) 2007-2022 Hirohisa AMAN 10