【S2】明日から使えるテスト技法勉強会_6_境界値分析＆ドメイン分析

View Slide

©2023 VeriServe Corporation
会社名・製品名・サービス名は、各社の登録商標または商標です。
自己紹介
名前
所属
経歴
田上諭 (
たのうえさとし)
静的解析、セキュリティテスト、自動テスト1
年ほど
2019
年 ~
現在
株式会社ベリサーブ研究企画開発部
2018
年度に新卒で入社
ソリューション事業部
研究企画開発部で GIHOZ
開発

View Slide

アジェンダ
GIHOZ
について
境界値分析・ドメイン分析の解説
GIHOZ
を使った境界値分析・ドメイン分析のハンズオン
おわりに

View Slide

境界値分析・ドメイン分析の解説

View Slide

同値分割法とは
すべての入力をテストするのは難しいので、入力される可能性のある値をグループ化
して、それぞれのグループから代表値となる値を選びテストする方法
同値分割したときにできる同値なグループのことを同値パーティションと呼ぶ
（同値クラスと呼ばれることもある）
有効な値を取るパーティションを有効同値パーティション
無効な値を取るパーティションのことを無効同値パーティションと呼ぶ
同値分割パーティションの境界に対して境界値分析していく

View Slide

境界値分析とは
何かしらの値に境界が存在する場合に、境界付近を狙うテストケースを作成する技法
仕様の解釈の誤り(
「以上」「より大きい」、「以下」「未満」といった言葉の解釈の誤りなど)
が起きやすい
境界付近では、人間が間違いを犯しやすく、
その結果として不具合が埋め込まれることが多い
境界値分析では、境界の内側と外側の両方をカバーするようにテストケースを
作成する
コーディングのミス(>=
と>
、<=
と<
といった比較演算子のミスなど)
が起きやすい

View Slide

境界値分析・ドメイン分析で使う用語
定義
On
ポイント:
仕様で指定されている境界上の値
Off
ポイント:On
ポイントに隣接しつつ、境界の反対側の領域（同値パーティション）に属する値
テスト対象にOff
ポイントの値を入力すると、On
ポイントを入力したときとは異なる動作をする
In
ポイント:On
ポイント/Off
ポイント以外の、有効な値
※
よくある間違い：On
ポイントであっても、必ず有効同値パーティションではない

View Slide

境界値分析でのテストケースの作成方法
Beizer
の方法とJorgensen
の方法という２つの方法がある
Jorgensen
の方法では、On
ポイントの前後を加えた3
つのポイントをテストケースとする
Beizer
の方法では、On
ポイントとOff
ポイントをテストケースにする
>=
を>
の誤り、>
を>=
の誤り
<=
を<
の誤り、<
を<=
の誤り
を見つけることができる
Beizer
の方法に加えて、==
に書き間違えていた方法を見つけ
ることができる
間違えやすい間違えにくい
Jorgensen
の方法
Beizer
の方法
1
つのon
ポイントごとに２つ選ぶ
見つけることのできるバグ
テストデータの選択ミス
1
つのon
ポイントごとに３つ選ぶ
テストケース数
※Beizer
氏は、「<=
」や「>=
」を「==
」に書き間違えたケースを見つけたい場合は、
　in
ポイントを1
つ追加しなさいと、言っている。

View Slide

境界値分析の例:
パスワード入力欄の入力文字数
仕様：パスワードは、8
文字以上12
文字以下であれば入力可能です
Beizer
の方法で、境界値分析を行いテストケースを作成しなさい

View Slide

仕様：パスワードは、8
文字以上12
文字以下であれば入力可能です
8
文字以上
On
ポイント: 8
Off
ポイント: 7
In
ポイント:10
12
文字以下
On
ポイント: 12
Off
ポイント: 13
In
ポイント: 10

View Slide

仕様を図で整理して、境界値分析でテストすべき値を検討すると以下のようになる
暗黙の境界値として0
もある

View Slide

Jorgensen
の方法の場合

View Slide

境界値分析の注意点
以下のように個数1
つずつに対して条件判定を行っていた場合、0
、1
、2
、・・・と
すべての値をテストする必要がある
2
値だけでは、「==
」となっている箇所を検出できない
if (
個数 == 0) {
//0
個における処理
} else if (
個数 == 1) {
//
１個における処理
} else if (
個数 == 2) {
//2
}
・
・
・
} else if (
個数 == n) {
//n
}

View Slide

ドメイン分析とは
複数の関連する変数に対する境界値を同時にテストする方法
通常の境界値分析は「一次元の境界値分析」、ドメイン分析は「多次元の境界値分析」というイメージ
ISTQB
や国際規格でのドメイン分析の取り扱い
ドメイン分析が紹介されている書籍
一次元=
直線
多次元=
平面や立体や、4
次元以上の領域
ISTQB:
用語集に記載なし
ISO/IEC/IEEE29119-4:
テスト技法として記載なし。
ただし、「ドメイン分析は同値分割と境界値分析の組み合わせとして分類される」という一文のみ記載がある
『実践的プログラムテスト入門』ボーリス・バイザー著
『はじめて学ぶソフトウェアテストの技法』リー・コープランド著
『ソフトウェアテスト技法ドリル』秋山浩一著

View Slide

ドメイン分析のテストケースの作成方法
諸説あるようだが、Binder
が提唱した「ドメイン分析テストマトリクス」を作成するのが分かりやすい
下表のように各変数に対してOn
ポイント・Off
ポイントを指定し、残りの変数はIn
ポイントを指定する
http://www.jasst.jp/archives/jasst11t/pdf/s2-
1.pdf
より引用

View Slide

ドメイン分析の例:
試験と実習の点数に応じた合否判定
テスト対象の仕様は以下の通りです
合計点に応じた判定結果の表示が正しいか確認するためのテストケースをドメイン分析を用いて
作成してください
試験の点数は0~75
点、実習の点数は0~25
点の範囲で入力可能とし、それ以外は入力できない
合計点が80
点以上の場合は「合格」、それ以外は「不合格」と判定結果を表示する

View Slide

合計点が80
0<=
試験の点数 <= 75
0<=
実習の点数 <= 25
80 <=
合計点
合計点 =
試験の点数+
実習の点数
On
ポイント: 0, 75 Off
ポイント: -1, 76
On
ポイント: -1, 26
On
ポイント: 80 Off
ポイント: 79
それぞれの条件式ごとに考慮する

View Slide

先ほどの例でのドメインテストマトリクス
まず、各変数に対してOn
ポイント・Off
ポイントの値を入力する
0<=
試験の点数 <= 75
0<=
実習の点数 <= 25
80 <=
合計点
On
ポイント: -1, 76
On
ポイント: -1, 26
On
ポイント: 80 Off
ポイント: 79

View Slide

先ほどの例でのドメインテストマトリクス
次に、In
ポイントの値を入力して、期待結果を入力する

View Slide

ドメインテストマトリクスを使う場合の注意点
In
ポイントの選び方によって、テストできる領域が変わる
合格の領域(
ピンク色の三角形)
の境界をすべてテストするには、適切にIn
ポイントを選ぶ必要がある

View Slide

その他のドメイン分析のやり方
「境界の線の傾きが間違っている」などの不具合を検出できるように、On
ポイントを複数選ぶという
考え方もある
その場合、2
次元(2
変数)
では、境界の線1
本に対して2
個のOn
ポイントと1
個のOff
ポイントを選ぶ。
N
次元では、境界1
つに対してN
個のOn
ポイントと1
個のOff
ポイントを選ぶ →
「N×1
法」と呼ぶ

View Slide

境界の線上の値(
黒丸)
がOn
ポイント、その値に隣接し境界の反対側にある値(
白丸)
がOff
ポイント
緑色の線=
試験の点数の境界、青色の線=
実習の点数の境界、赤色の線=
合計点の境界

View Slide

GIHOZ
について

View Slide

GIHOZ
のコンセプト
『GIHOZ
』は、ベリサーブが開発しているテスト技法ツールです

View Slide

GIHOZ
を使うには
検索&
アカウント登録(
無料)
GIHOZ
名前の由来
テスト技法が集まっている　→
　技法s
（複数形）→
　ギホーズ → GIHOZ

View Slide

GIHOZ
で利用可能なテスト技法

View Slide

GIHOZ
を使った境界値分析・ドメイン分析のハンズオン

View Slide

GIHOZ
の境界値分析の使い方
GIHOZ
には「ドメイン分析」はありませんが、
境界値分析の画面でドメイン分析テストマトリクスと
同等のテストケースを作成できるので、
この勉強会では境界値分析の使い方を紹介します
変数を追加する（数直線を作る）
数直線に境界値を配置する
同値パーティション名を入力する、有効・無効を設定する（任意）
同値パーティション一覧を生成する
テストケースを生成する
1.
2.
3.
4.
5.
GIHOZ
での境界値分析のやり方

View Slide

GIHOZ
の境界値分析
GIHOZ
では数値の境界値のみ分析可能
同値分割・境界値分析のテストケースを生成可能。ただし、2
値式のみ。

View Slide

GIHOZ
の境界値分析でのOn
ポイントとOff
ポイント
On
ポイント・Off
ポイントという用語は使っていないが、数直線上の数値の背景色で区別している

View Slide

問題
①:
境界値分析
試験の点数に応じた判定結果の表示が正しいか確認するためのテストケースを、境界値分析を用いて
作成してください
試験の点数が60

View Slide

問題
①
の解答例
GIHOZ
の境界値分析を使うと以下のように数直線からテストケースを作成できる

View Slide

問題
②:
ドメイン分析
合計点に応じた判定結果が正しいか確認するためのテストケースを、Binder
のドメイン分析テストマトリクスを
用いて作成してください
合計点が80
※GIHOZ
にはドメイン分析テストマトリクスを作成する機能はありませんが、境界値分析の画面で同等のテストケースを作成することができます。
GIHOZ
をどのように使ったらドメイン分析テストマトリクス相当のテストケースを作ることができるかも考えてみてください。

View Slide

【参考】GIHOZ
の境界値分析における、代表値の自動生成ルール
同値パーティションに上限と下限が両方ある場合は、中間付近の値 ※
下図の
①
が該当
同値パーティションに上限・下限のどちらかしか存在しない場合は、
「下限値」 +
「値の増減幅の10
倍」 ※
下図の
②
が該当
または「上限値」 -
「値の増減幅の10
倍」 ※
下図の
③
が該当

View Slide

ドメインテストマトリクスとGIHOZ
で作成したテストケース
同等のテストケース(
今回の例だと10
件分)
となっている

View Slide

おわりに

View Slide

まとめ
境界値分析・ドメイン分析について解説&
ハンズオンを行いました
GIHOZ
を使って境界値分析・ドメイン分析の理解を深めてもらえると嬉しいです
境界値にはバグが潜んでいる可能性が高いので、境界値をきちんとテストする必要がある
変数が1
次元の場合は境界値分析、2
次元以上の場合はドメイン分析を使う
ドメイン分析を行う際は、Binder
のドメインテストマトリクスを作る方法がある
GIHOZ
の境界値分析を使って、ドメインテストマトリクス相当のテストケースを作成することができる

View Slide

　会社名・製品名・サービス名は、各社の登録商標または商標です。
ご参加いただきありがとうございました。
Thank you for your time today.
Q
＆A
へ行く

View Slide

【S2】明日から使えるテスト技法勉強会_6_境界値分析＆ドメイン分析

【S2】明日から使えるテスト技法勉強会_6_境界値分析＆ドメイン分析

GIHOZ SUPPORT TEAM

More Decks by GIHOZ SUPPORT TEAM

Other Decks in Education

Featured

Transcript