JaSST DO IT
JaSST’11 Hokkaido

JaSST’11 Hokkaido

3rd Stage

1

JaSST DO IT

JaSST北海道

出身：苫小牧市

Twitter@NoriyukiMizuno
LT

JaSST’11 Hokkaido

3rd Stage※お花やさんです

現所在：
兵庫県伊丹市2

JaSST DO IT

JaSST’11 Tokai
JaSST北海道

出身：苫小牧市※お花やさんです

チーム名は「あまがさきてすとくらぶ」です。

現所在：
兵庫県伊丹市

JaSST東海

JaSST’11 Hokkaido

3rd Stage

3

JaSST DO IT

JaSST’11 Tokai

JaSST’11 Hokkaido

3rd Stage

4

JaSST DO IT
概要：
概要：
要求仕様書をインプットとして、システムテストフェーズを対象とした任意のテスト設計方法、様式、分量にて、テスト設計書/テストデザインを提出※テストケース(項目)の作成ではありません

提出物：
提出物：
(1) テスト設計書 ※ 設計技法は問いません。
ex)独自の技法や、マインドマップ、HAYST法、ゆもつよメソッド、NGTなど（2) テスト設計におけるアピールポイント

テスト対象
テスト対象：
対象：
NPO法人 組込みソフトウェア管理者・技術者育成研究会 (SESSAME)「話題沸騰ポット要求仕様書 (GOMA-1015型) 第７版」
http://www.sessame.jp/ 参考です。

JaSST’11 Hokkaido

3rd Stage

5

JaSST DO IT

仕様分析
＆修正

JaSST’11 Hokkaido

テスト計画

3rd Stage

テスト
分析

テスト
設計

6

JaSST DO IT

仕様分析
＆修正

JaSST’11 Hokkaido

テスト計画

3rd Stage

テスト
分析

テスト
設計

7

JaSST DO IT

仕様分析
＆修正

テスト
計画

7

テスト
設計

テスト
分析

3※JaSST’11 Hokkaido

3rd Stage

8

JaSST DO IT
仕様分析
＆修正

テスト
計画

テスト
設計テスト
分析

＜要求仕様書-01＞
話題沸騰ポット要求仕様書（オリジナル）

テスト対象の理解

A) ３色ボールペン
マインドマップ

テスト向け機
能一覧検討

スープカ
レー検討

B) スープカレー
検討表D) テスト向け
機能一覧

仕様分析＆仕様分析＆修正フェーズのフェーズの（現場型）
現場型）PFD
JaSST’11 Hokkaido

要求仕様書
指摘表

テスト技法
での検討

C) テスト技法
検討結果

要求仕様書の改定

3rd Stage＜要求仕様書-02＞
話題沸騰ポット要求仕様書（改訂版）

9

JaSST DO IT
仕様分析
＆修正

テスト
計画

テスト
設計

テスト分析

＜要求仕様書-01＞
話題沸騰ポット要求仕様書（オリジナル）

仕様
オリジナル
（ 第７版）

テスト対
象の理解

A) ３色ボールペン
マインドマップ

テスト向け機
能一覧検討

スープカ
レー検討

B) スープカレー
検討表D) テスト向け
機能一覧

仕様分析＆
仕様分析＆修正フェーズのフェーズの（現場型）
現場型）PFD
JaSST’11 Hokkaido

要求仕様書指摘表

テスト技法での検討

C) テスト技法
検討結果

仕様
勝手に勝手に改定（第８版もどき）
もどき）

要求仕様書の改定

3rd Stage＜要求仕様書-02＞
話題沸騰ポット要求仕様書（改訂版）

10

JaSST DO IT
仕様分析
＆修正

テスト
計画

テスト
設計

テスト
分析

＜要求仕様書-01＞
話題沸騰ポット要求仕様書（オリジナル）

仕様
オリジナル
（ 第７版）

テスト対
象の理解

A) ３色ボールペン
マインドマップ

テスト向け機
能一覧検討

スープカレー検討B) スープカレー
検討表D) テスト向け
機能一覧

仕様分析＆仕様分析＆修正フェーズのフェーズの（現場型）
現場型）PFD
JaSST’11 Hokkaido

以下、4つの検討を実施しました。
A．３色ボールペン法
ボールペン法
B．スープカレーもどき
スープカレーもどき検討
もどき検討
C．テスト技法
テスト技法による技法による仕様による仕様の仕様の強化
D．テスト向テスト向け機能一覧の機能一覧の仕様へ
仕様へのフィードバック
要求仕様書
指摘表テスト技法での検討

C) テスト技法
検討結果

仕様
勝手に勝手に改定（第８版もどき）
もどき）

要求仕様書の改定

3rd Stage＜要求仕様書-02＞
話題沸騰ポット要求仕様書（改訂版）

11

A
仕様分析
＆修正

JaSST DO IT
テスト計画

テスト
設計

テスト分析

＜要求仕様書-01＞
話題沸騰ポット要求仕様書（オリジナル）

テスト対
象の理解

A) ３色ボールペン
マインドマップ

テスト向け機
能一覧検討

スープカレー検討B) スープカレー
検討表D) テスト向け
機能一覧

仕様分析＆
仕様分析＆修正フェーズのフェーズの（現場型）現場型）PFD
JaSST’11 Hokkaido

以下、4つの検討を実施しました。
A．３色ボールペン法
ボールペン法
B．スープカレーもどき
スープカレーもどき検討
もどき検討
C．テスト技法
テスト技法による技法による仕様による仕様の仕様の強化
D．テスト向テスト向け機能一覧の機能一覧の仕様へ
仕様へのフィードバック
要求仕様書
指摘表

テスト技法での検討

C) テスト技法
検討結果

要求仕様書の改定

3rd Stage＜要求仕様書-02＞
話題沸騰ポット要求仕様書（改訂版）

12

A

JaSST DO ITm(_ _)m⇒
コンセントのデフォルト値は？
2.1コンセント
瞬断はどうなる？
3sec経過後にも、水面が波打っていた場合は考慮されていない機能としてあるものもある

3sec

最悪、あけたまま沸騰してしまう？

3sec同時イベント発生時は？

今回は、各章のまとめを３色のマインドマップでまとめてみました。

S/W仕様として大丈夫か？
試験で必要になる

蓋センサ1sec以上off沸騰し続けるか？

1sec

1sec以下の開閉はどうなる？
2.2蓋

総合試験では必要になる斜め設置はどうなるのか？
上下さかさまだとどうなるのか？
どう試験する？

時間100msec

水量が適正・異常とは何？
ロックとは？
自動販売機は同時押しは左押し全部押しはどうなる？

同時押しはどうなる？

両方押せる

定義がない

保温設定ボタン※大量のポイントが発生した結果、読めないくらい小さくなってしまいました…

音量は？
ブザー音

試験方法はどうする？
音の種類が必要

2.3沸騰ボタン

S/Wが温度を見張りながらやる？
保温行為はだれが実施する？
H/Wとのすみわけは？
気圧高いところは？

気圧低いところは？
100℃
使用の環境条件が記載ない

繋いだ直後とは？どれぐらい直後？
コンセント繋いだ直後をどうやって知るのか？
温度の分解能温度の制御は誰がやってるの？
初期のパネル表示は大丈夫か？
押下間隔

2.4保温設定ボタン

押しっぱなしボタン

連続押し
節約の定義が曖昧。S/Wは何をすれば節約を保証できるのか？

操作パネル
外観

温度が低下する際の制御は？何もしない？

どうやって試験する？

片手で操作できること

一旦沸騰してから保温温度に調整するのはどうなのか？（ユーザの待ち時間の観点）
デフォルト値(H/W)の記載がある！
誤ってお湯が出ないようにする

ロック/ロック解除機能

on/offの２値
満水センサ

コンセント接続直後
最初はロックのほうが安全では？
ユーザーがわからない？

offにする条件の記載がない
初期値

ロック解除

ボタンにブザーがない状態でとる？

デフォルトonで、どのタイミングでoffにするのか？

ボタンを押して解除/ロック

2.5解除ボタン

on/offの２値
第ｎ位水位センサ
満水センサがonで、第n位センサoffの場合、どう扱うのか？

給湯中の定義が不明
給湯していないとき有効

給湯状態

2.6よりボタンを押している間

on/offの２値

ボタン有効の条件
ONのとき有効蓋センサ
エッジでとるのか？状態でとるのか？

蓋センサ

ボタンを押している間のみポンプを作動-10～150℃

内部構成

2.操作要求仕様

ロック解除以外にお湯が出ない条件がある

境界は含むのか？

1.H/W構成

ブザー音

○○kHz

沸騰ランプ点灯→保温ランプ消灯
上限は？100℃以上もありうる？
四捨五入で整数
表示窓にはサーミスタの温度温度のムラはないか？サーミスタの場所、方法は適切化？

S/Wで検知するのか？

ボタン有効条件
ヒーター

2.6給湯ボタン

S/W

p.12

この方式を確認する方法を確立しなければいけない？

目標温度ON/OFF方式

ヒータ異常異常の判定は？

水量異常、ヒータ電源OFF、温度エラー検知

途中でポンプ停止

すべての水位センサOFF条件は、1つの水位センサがONになった場合に満足されない。危険！！

給湯有効の条件
電動制御？

3.1 沸騰行為

給湯中に蓋をあけることができる？

沸騰行為をやめる3条件

どのくらいの量を出す？

ポンプ作動できない条件≠ポンプ停止条件

パネル表示の桁数？三桁だよね？

音は固定？

ロック解除、水量適正（異常ではない）、蓋センサON
ヒータ電源ON、温度エラー検知無し、保温行為中起動時、蓋がしまっているといつまでも沸騰しないのでは？

分解能

ステップ値は？

話題沸騰ポット１～ ２章

おそらく含む水温

ボタンを押すことで給湯
このポットは手で注ぐことはできないのか？
ユーザがわからず故障扱いにならないか

沸騰行為を止めたあとの繊維先が不明確。どこいくねん！

最低水位は？

沸騰中でも無視して給湯するのでは？

保温中のみ給湯

3分間加熱中の過熱停止条件
H/W故障検知はどうするのか記載がない

最終的に加熱をやめたことの確認は？どうする？

０～６０分
上下限値は？

サーミスタ100℃ →それ以外？
カップラーメンを作るときの時間測定を想定
沸かすためのタイマではない。

温度表示
目的

沸点が100℃でない場所では永遠と加熱が終わらない？

温度の単位は？

残り時間の表示でもない

操作パネル部

周期時間？

単位？

【ユーザ観点】

カルキ抜き完了→沸騰行為終了、保温沸騰までの時間、保温までの時間（性能要求が必要）
デフォルト表示？

0:00
お湯が空になったときにアラーム？音？
温度の振れ幅に規格はある？

デフォルト値
タイマ停止
１分ずつ加算タイマボタンを100msec押す

制御周期の分解能は？

設定値の表示沸騰後の３分（カルキ抜き）の根拠は？

６０分設定のために、100msec押す×N回

保温ランプ点灯→沸騰ランプ消灯

安全設計あるのか？

操作量は、周期時間中のヒータON時間の割合を％で示す

上限は？100℃以上もありうる？

制御方式共通四捨五入で整数
表示窓にはサーミスタ温度

どのケースでどの制御方式を適用する？

長押しで、10分単位で飛ばしながら設定できないの？

この方式を確認する方法を確立しなければいけない？

テーブル方式は未使用？

10分くらいなら我慢できるかも
2.7タイマボタン
０～６０分

温度が低ければ100％、高ければ0％

設定範囲
０分？

ほかは音を鳴らした後に、処理起動されるが、ここはタイマセットの後にブザー話題沸騰 ポット
３ ～４ 章温度の精度を記載してあるほうがよい

3.温度制御行為

4章での記載が不足

3.2 保温行為

目標温度に達しない場合、永遠に制御し続ける？

どれくらいの時間でモード移行するか？

セット完了後、１秒後タイマ起動

分単位切りあげ

タイマ表示

他の機能と競合しても、１秒後なのか？

必要なスペックの記載がないため、要求仕様書へ反映が必要！！！！！

容量の記載がない
各係数をきちんと定義（可変の場合は条件も）制御式で、その周期の制御量⊿M（％）を算出して使用

PID制御方式
保温行為をやめる4条件

水量、外気温などによってテーブル入れ替えは不要？

すべての水位センサOFF条件は、1つの水位センサがONになった場合に満足されない。危険！！
保温行為を止めたあとの繊維先が不明確。どこいくねん！

テーブルの固定値妥当性は？

蓋センサoff

PIDの制御量を予めテーブル化して使用（温度制御テーブル方式）
一度沸騰しないとこのモードに遷移しない

保温ボタンがない

H/Wレベルの個体差をパラメータで吸収無効になる条件はこれだけなのか？

保温モード変更時に対象のモード温度に変更するか？

PID制御方式

目標温度ON/OFF 方式

セット時の音競合

違和感

4.温度制御方式

100%と0%のみ使用

4:01でセットすると、6:00になる

表示上はあるパネル表示の桁数？三桁だよね？
温度のムラはないか？サーミスタの場所、方法は適切化？

沸騰行為はON/OFF 制御、保温行為はPID制御

セット方法
リセットボタンがないと困るのでは？

ジェットストリーム
３色ボールペン

3分間の根拠は？

色表示？

残念なことにならないか！？

さらに3分加熱整数値？

特にミルクモードへの遷移が致命的

タイマボタンの有効無効の条件

温度測定が困難無効になっていることがわかるのか？無反応？

試験方法

蓋を開けたときは全ボタン無効？

治具などが必要

３秒以上

ずっとながおしブザー音

蓋を閉じて温度測定が必要、制御実施状態を確認が必要

リセット

コンセントを繋いですぐ・・・

タイムアップさらに蓋を閉じている状態だと思うのではじめの状態を明確にアイドルになるまでの性能要求

センサの数との対応？？？
インジケータ 4段階
センサの数は変更される

4章参照かな？

操作量０㌫
水位センサー

表示窓以上？未満？
3秒経過で判定

蓋センサー

JaSST’11 Hokkaido
開閉間隔３秒未満では？
異常って何？

2.8 水位メータ

異常時以外（正常時）点滅速度早くない？

満水時の表示空の表示と区別しにくい

空の表示は最下位インジケータのみ点滅のほうが良い

空の表示

水位表示

なぜ表示しない？

3.3 アイドル

3rd Stage
アイドル中止判断

水位センサについては不要か？
沸騰状態になってもすぐ中止するのか？
他状態へ遷移する条件が蓋センサonだけだが他には？

エラー状態からの復帰はどのようにするのか？

蓋ON⇒沸騰状態（温度表示）⇒水位センサ全てOFF⇒アイドルへの遷移（温度表示せず）を繰り返す状態が発生する。

温度表示が点滅するが？

13

B
仕様分析
＆修正

JaSST DO IT
テスト
計画

テスト
設計

テスト
分析

＜要求仕様書-01＞
話題沸騰ポット要求仕様書（オリジナル）

テスト対
象の理解

A) ３色ボールペン
マインドマップ

テスト向け機
能一覧検討

スープカ
レー検討

B) スープカレー
検討表D) テスト向け
機能一覧

仕様分析＆仕様分析＆修正フェーズのフェーズの（現場型）
現場型）PFD
JaSST’11 Hokkaido

以下、4つの検討を実施しました。
A．３色ボールペン法
ボールペン法
B．スープカレーもどき
スープカレーもどき検討
もどき検討
C．テスト技法
テスト技法による技法による仕様による仕様の仕様の強化
D．テスト向テスト向け機能一覧の機能一覧の仕様へ仕様へのフィードバック
要求仕様書
指摘表

テスト技法
での検討

C) テスト技法
検討結果

要求仕様書の改定

3rd Stage＜要求仕様書-02＞話題沸騰ポット要求仕様書（改訂版）

14

B章

タイトル
説明

2.8

水位メータ

3.1

沸騰行為

3.2

保温行為

3.3

アイドル

JaSST DO IT

同値分割、境界値分析 ドメイン分析（CEG/CFD） 状態遷移
状態遷移が必要な
同値分割、境界値分析 ドメイン分析を用いてロの技法を用いるべき点 ジックを明確にすべき点を 章を記載する。
抽出を抽出

性能
ユーザビリティ、保守時間性能、精度、システ ユーザビリティや保ム性能を中心に検討不 守に必要な点が抜け足が存在している部分 ている場合指摘としを記載て記載
満水センサと各水位セ 水位判定の優先順位と仕 水位判定の状態遷 なし
満水/空のインジケー
移を明記する。
ンサのOn/Offの2値の 様のあいまいな部分を
タセルの表示は人間組合わせ試験が必要。 CEGTestを用いて見える （CEGTestを元にフの目で明確に区別で化。（第1位水位センサも ロー化でも可）きるよう修正。
特出しに。）
各状態における遷移条件 全体の状態遷移、と 沸騰行為までの時間が エラー状態への遷移のロジックが分かりづらい 個別の状態遷移を 記載が無い。定義を追 した場合に、ユーザので、CEGTestを用いて 追記する。
加：5℃の水を第4水位 が分かるよう、保守見える化。
センサがONになるまで できるように、エラー満たしている状態で5分 コードを表示させるべ以内であること。
き。
各モードにおける安定 ロジックをCEGTestを用い 同上
高温モード、節約モード ミルクモードについて温度（98℃、90℃、て見える化。
における沸騰100℃状 は、カルキ抜き沸騰60℃）と制御の関係の態から目標温度に達す 後から60℃までの遷境界値試験が必要（仕る前の時間記載が無移は待ち時間が長い様記述には影響なし）
い。⇒それぞれ、1分、3 ため、沸騰させない分とする。
ようにするべき。
エラー状態遷移時
は、エラーコードを表示させるべき。
なし
ロジックをCEGTestを用い 同上コンセントを接続してか なして見える化。また、蓋センらのアイドルへの遷移
サONのみで沸騰状態に時間が記載されていな遷移した場合、沸騰状態いので、「3秒」とする。
で直ぐにアイドルに戻る切り替りが多数発生することにより、条件を修正する。
100℃到達でカルキ抜きの過熱（仕様記述には影響なし）

JaSST’11 Hokkaido

3rd Stage

５つの観点
つの観点でスープカレー表
観点
もどきを作って仕様を評価※観点は、３色ボールペンによる仕様傾向から抽出

１．同値分割、同値分割、境界値分析
２．ドメイン分析
ドメイン分析（分析（CEG/CFD）
CEG/CFD）
３．状態遷移４．性能
５．ユーザビリティ、ユーザビリティ、保守テスト技法で（不明確な）仕様を強化できそうな部分の抽出と、非機能を中心として、仕様に記載しないことが多い部分の明確化に役立てました。

15

B章

タイトル
説明

2.8

水位メータ

3.1

沸騰行為

3.2

保温行為

3.3

アイドル

JaSST DO IT

同値分割、境界値分析 ドメイン分析（CEG/CFD） 状態遷移
状態遷移が必要な同値分割、境界値分析 ドメイン分析を用いてロの技法を用いるべき点 ジックを明確にすべき点を 章を記載する。
抽出を抽出

性能
ユーザビリティ、保守時間性能、精度、システ ユーザビリティや保ム性能を中心に検討不 守に必要な点が抜け足が存在している部分 ている場合指摘としを記載て記載
満水センサと各水位セ 水位判定の優先順位と仕 水位判定の状態遷 なし
満水/空のインジケー移を明記する。
ンサのOn/Offの2値の 様のあいまいな部分をタセルの表示は人間組合わせ試験が必要。 CEGTestを用いて見える （CEGTestを元にフの目で明確に区別で化。（第1位水位センサも ロー化でも可）きるよう修正。
特出しに。）
各状態における遷移条件 全体の状態遷移、と 沸騰行為までの時間が エラー状態への遷移のロジックが分かりづらい 個別の状態遷移を 記載が無い。定義を追 した場合に、ユーザので、CEGTestを用いて 追記する。
加：5℃の水を第4水位 が分かるよう、保守見える化。
センサがONになるまで できるように、エラー満たしている状態で5分 コードを表示させるべ以内であること。
き。
各モードにおける安定 ロジックをCEGTestを用い 同上
高温モード、節約モード ミルクモードについて温度（98℃、90℃、て見える化。
における沸騰100℃状 は、カルキ抜き沸騰60℃）と制御の関係の態から目標温度に達す 後から60℃までの遷境界値試験が必要（仕る前の時間記載が無移は待ち時間が長い様記述には影響なし）
い。⇒それぞれ、1分、3 ため、沸騰させない分とする。
ようにするべき。
エラー状態遷移時
は、エラーコードを表示させるべき。
なし
ロジックをCEGTestを用い 同上コンセントを接続してか なして見える化。また、蓋センらのアイドルへの遷移
サONのみで沸騰状態に時間が記載されていな遷移した場合、沸騰状態いので、「3秒」とする。
で直ぐにアイドルに戻る切り替りが多数発生することにより、条件を修正する。
100℃到達でカルキ抜きの過熱（仕様記述には影響なし）

JaSST’11 Hokkaido

3rd Stage

５つの観点
つの観点でスープカレー表
観点
もどきを作って仕様を評価※観点は、３色ボールペンによる仕様傾向から抽出

１．同値分割、同値分割、境界値分析
２．ドメイン分析
ドメイン分析（分析（CEG/CFD）
CEG/CFD）
３．状態遷移４．性能
５．ユーザビリティ、ユーザビリティ、保守
テスト技法で（不明確な）仕様を強化できそうな部分の抽出と、非機能を中心として、仕様に記載しないことが多い部分の明確化に役立てました。

16

B章

タイトル
説明

2.8

水位メータ

3.1

沸騰行為

3.2

保温行為

3.3

アイドル

JaSST DO IT

同値分割、境界値分析 ドメイン分析（CEG/CFD） 状態遷移
状態遷移が必要な同値分割、境界値分析 ドメイン分析を用いてロの技法を用いるべき点 ジックを明確にすべき点を 章を記載する。
抽出を抽出

性能
ユーザビリティ、保守時間性能、精度、システ ユーザビリティや保ム性能を中心に検討不 守に必要な点が抜け足が存在している部分 ている場合指摘としを記載て記載
満水センサと各水位セ 水位判定の優先順位と仕 水位判定の状態遷 なし
満水/空のインジケー移を明記する。
ンサのOn/Offの2値の 様のあいまいな部分をタセルの表示は人間組合わせ試験が必要。 CEGTestを用いて見える （CEGTestを元にフの目で明確に区別で化。（第1位水位センサも ロー化でも可）きるよう修正。
特出しに。）
各状態における遷移条件 全体の状態遷移、と 沸騰行為までの時間が エラー状態への遷移のロジックが分かりづらい 個別の状態遷移を 記載が無い。定義を追 した場合に、ユーザので、CEGTestを用いて 追記する。
加：5℃の水を第4水位 が分かるよう、保守見える化。
センサがONになるまで できるように、エラー満たしている状態で5分 コードを表示させるべ以内であること。
き。
各モードにおける安定 ロジックをCEGTestを用い 同上
高温モード、節約モード ミルクモードについて温度（98℃、90℃、て見える化。
における沸騰100℃状 は、カルキ抜き沸騰60℃）と制御の関係の態から目標温度に達す 後から60℃までの遷境界値試験が必要（仕る前の時間記載が無移は待ち時間が長い様記述には影響なし）い。⇒それぞれ、1分、3 ため、沸騰させない分とする。
ようにするべき。
エラー状態遷移時
は、エラーコードを表示させるべき。
なし
ロジックをCEGTestを用い 同上コンセントを接続してか なして見える化。また、蓋センらのアイドルへの遷移
サONのみで沸騰状態に時間が記載されていな遷移した場合、沸騰状態いので、「3秒」とする。
で直ぐにアイドルに戻る切り替りが多数発生することにより、条件を修正する。
100℃到達でカルキ抜きの過熱（仕様記述には影響なし）

JaSST’11 Hokkaido

3rd Stage

５つの観点
つの観点でスープカレー表
観点
もどきを作って仕様を評価※観点は、３色ボールペンによる仕様傾向から抽出

１．同値分割、同値分割、境界値分析
２．ドメイン分析
ドメイン分析（分析（CEG/CFD）
CEG/CFD）
３．状態遷移４．性能
５．ユーザビリティ、ユーザビリティ、保守
テスト技法で（不明確な）仕様を強化できそうな部分の抽出と、非機能を中心として、仕様に記載しないことが多い部分の明確化に役立てました。

17

JaSST DO IT
仕様分析＆修正テスト
計画

テスト
設計

テスト
分析

＜要求仕様書-01＞
話題沸騰ポット要求仕様書（オリジナル）

３色ボールペンの傾向とスープカレー検討表で検討した結果か指摘表をら、指摘表指摘表を作成しました。
作成
テスト対
象の理解A) ３色ボールペン
マインドマップ

テスト向け機
能一覧検討

スープカ
レー検討

B) スープカレー
検討表D) テスト向け
機能一覧

仕様分析＆
仕様分析＆修正フェーズのフェーズの（現場型）
現場型）PFD
JaSST’11 Hokkaido※仕様書改定のため、仮回答も記載。

要求仕様書
指摘表

テスト技法での検討

C) テスト技法検討結果

要求仕様書の改定

3rd Stage＜要求仕様書-02＞
話題沸騰ポット要求仕様書（改訂版）

18

C
仕様分析＆修正JaSST DO IT
テスト計画

テスト設計

テスト
分析

＜要求仕様書-01＞
話題沸騰ポット要求仕様書（オリジナル）

テスト対
象の理解

A) ３色ボールペン
マインドマップ

テスト向け機
能一覧検討

スープカ
レー検討

B) スープカレー
検討表D) テスト向け
機能一覧

仕様分析＆
仕様分析＆修正フェーズのフェーズの（現場型）
現場型）PFD
JaSST’11 Hokkaido

以下、4つの検討を実施しました。
A．３色ボールペン法
ボールペン法
B．スープカレーもどき
スープカレーもどき検討
もどき検討
C．テスト技法
テスト技法による技法による仕様による仕様の仕様の強化
D．テスト向テスト向け機能一覧の機能一覧の仕様へ
仕様へのフィードバック
要求仕様書
指摘表

テスト技法での検討

C) テスト技法
検討結果

要求仕様書の改定

3rd Stage＜要求仕様書-02＞
話題沸騰ポット要求仕様書（改訂版）19

C

JaSST DO IT

アイドル
entry / 保温ランプ、沸騰ランプ共に消灯。サーミスタの温度を表示しない。
do / 温度制御行為をしない【3章：条件1】
蓋センサON＆水位センサにONが存在【3章：条件2】
蓋センサOFF＆全ての水位センサがOFF【3章：条件2】
蓋センサOFF＆全ての水位センサがOFF

カルキ抜き完了
沸騰行為

保温行為

include / 沸騰行為

include / 保温行為
沸騰ボタン押下

エラーを検知※条件は【5章：エラー検知.】に別途記載

沸騰行為
entry / 沸騰ランプを点灯し、保温ランプを消灯する。サーミスタの温度を表示する
exit / ヒータをOFFにする
サーミスタが100℃

沸騰制御
do / 目標温度ON/OFF方式でヒータを制御

カルキ抜き制御

エラー状態

エラーを検知※条件は【5章：エラー検知.】に別途記載

do / ヒータをONし続ける※給湯の状態遷移参照

給湯中

沸騰行為停止条件の発生※【条件2】もしくは【5章：エラー検知】参照カルキ抜き完了：
ヒータONで3分間経過

状態遷移表

CEGTestによるによる分析
による分析

CEGTestJaSST’11 Hokkaido

3rd Stage20

D
仕様分析＆修正JaSST DO ITテスト
計画

テスト
設計テスト
分析

＜要求仕様書-01＞
話題沸騰ポット要求仕様書（オリジナル）

テスト対
象の理解

A) ３色ボールペン
マインドマップ

テスト向け機
能一覧検討

スープカレー検討B) スープカレー
検討表D) テスト向け
機能一覧

仕様分析＆仕様分析＆修正フェーズのフェーズの（現場型）
現場型）PFD
JaSST’11 Hokkaido

以下、4つの検討を実施しました。
A．３色ボールペン法
ボールペン法
B．スープカレーもどき
スープカレーもどき検討
もどき検討
C．テスト技法
テスト技法による技法による仕様による仕様の仕様の強化
D．テスト向テスト向け機能一覧の機能一覧の仕様へ
仕様へのフィードバック
要求仕様書
指摘表

テスト技法での検討

C) テスト技法
検討結果

要求仕様書の改定

3rd Stage＜要求仕様書-02＞
話題沸騰ポット要求仕様書（改訂版）21

D

JaSST DO IT

別ヒーターでの加熱とか試験方法の検討が必要
氷を入れるとか蓋

エラー検知

温度センサが正常でヒータが壊れた状態のみ？

仕様書の構成へ
フィードバック

取手

外部・ハードウェア

ロジックを定義して見る稼動部はOK。稼動しない部分のテストは？

温度センサ異常のケースは？
XX分以上加熱し続けるとか繰り返し動かすテストとか
時間操作
タイマ時間
タイマ通知

タイマ

２．８ 水位メータ

排他表示

沸騰/保温
ランプ

状態遷移とかロック
精度
保温モードの矢印

ロック

水位

他の機能との関係を見る必要がある

試験はパネルでチェック

同値分割、境界値

温度表示

ロック中の操作
Allペア、HAYST法

水位表示

表示・通知

状態遷移

水位判定

ブザー
ユーザビリティを見るとか、個別の意地悪試験系

状態遷移を明確にする
アイドル

システムとして起動すること
電源OFF/ON

保温中

どこからでも電源 OFF→ONして起動

Nスイッチ系

保温行為
給湯中

起動性能

加熱中

沸騰
沸騰行為

カルキ抜き中pot-310-31 沸騰行為を止めるとか

保温・沸騰

タイマ

機能一覧

XX中の停止条件、遷移条件のトリガ

パネル

保温設定
給湯操作

正常系

解除とロック機能解除
イベントを明確化

準正常系
保温ボタンなし
エラー
反応速度

目標温度ON/OFF

沸騰まで、カルキ抜き

PID制御同時押し、連続ボタン押し
状態とボタンなどの操作の組合せデシジョンテーブル系

沸騰後、保温へ

関連状態遷移を書いてみる

Nスイッチ系は関連機能についてヒータの動きを見るために冶具

温度制御
Bluetooth温度計

実際の温度を見るための冶具

２．８ 水位メータ

８．３ 水位判定

水位表示

水位判定

パタパタさせる
蓋センサ
データの取り方、ジッタの判定

状態遷移化？

温度範囲外の実許容範囲

エラー判定とか
温度センサ

固体特性

排出まで
ボタン押した後の反応停止まで

ハードの性能、ソフトの補正

温度特性性能の定義が必要

センサ
ちゃぷちゃぷ系

排出する水量水位センサ

原因結果グラフ作動できる場合、停止する場合「水量」状態との組合せも実施

給湯

異常判定ロジック

原因結果グラフ

揺らぎの全体異常判定への影響とか給湯機能自身

ユーザビリティ系

ON/OFF繰り返し
全般的に意地悪試験

水を出したりとめたり、出し続けるとか通常使用外の使い方

組み込みシステムの状態として動的に変わるものを試験する

テスト向け機能一覧

JaSST’11 Hokkaido

例として、2.8章の水位メータには「水位メータ表示」と「水位判定」の2つの機能の説明が含まれている。このままの構成を試験対象とすると試験がやりづらい。そのため、試験もやりやすいよう、2つの章に分割する。
3rd Stage

22

JaSST DO IT

第8版（仮）へ改定

ここから、ここから、テスト設計
テスト設計を設計を実施！
実施！

今回の今回のロールプレイ
今回の今回のロールプレイ：

USDMをを用いた仕様書
いた仕様書を作成

胡麻印 要求JaSST’11 Hokkaido

3rd Stage

W字モデルで、要求仕様にテスト視点の検討が反映できるタイミング
開発部

テスト部
テスト部

23

JaSST DO IT…

JaSST’11 Hokkaido

3rd Stage24JaSST DO IT…

JaSST’11 Hokkaido

3rd Stage

25

JaSST DO IT

JaSST’11※

JaSST’11 Hokkaido

3rd Stage

26

JaSST DO IT

JaSST’11 Hokkaido

3rd Stage

27