Bokep Terbaru Tamam Dilengserkan Siap Ketum PPP, Suharso pula Mardiono Senantiasa Harmonis

明日から使える勉強会＃３テスト技法 2022.9.28 19:00~20:00@Zoom 水状態遷移テストとは S 2

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

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 状態遷移テストの解説 ➢ GIHOZの紹介 ➢
GIHOZを使った状態遷移テストのハンズオン ➢ おわりにアジェンダ 2

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。状態遷移モデル（状態遷移図や状態遷移表）からテストケースを作るテスト技法状態遷移テストとは 4 S2
ログアウト中 S1 ログイン中 S3 ロック中 E1: ログアウト E2: タイムアウト E3: ログイン E4: ロック時間経過 E5: ロックアウト状態遷移図の例状態遷移表の例（遷移前の状態×遷移後の状態）遷移後遷移前 S1 S2 S3 S1 E1＋E2 S2 E3 E5 S3 E4

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。状態遷移図の例 5 S2 ログアウト中 S1
ログイン中 S3 ロック中 E1: ログアウト E2: タイムアウト E3: ログイン E4: ロック時間経過 E5: ロックアウト ※アクションは省略される場合もある状態遷移イベント[/アクション] 【凡例】

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。状態遷移表の例（遷移前状態×イベント） 6 イベント遷移前状態 E1
ログアウト E2 タイムアウト E3 ログイン E4 ロック時間経過 E5 ロックアウト S1 ログイン中 S2 S2 Ignore Ignore Ignore S2 ログアウト中 Ignore Ignore S1 Ignore S3 S3 ロック中 Ignore Ignore Ignore S2 Can’t happen Ignore：イベントが発生しても無視し、他の状態に遷移しないことを示す。 Can’t happen: イベントが発生しないことを示す。

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。状態遷移表の例（遷移前状態×遷移後状態） 7 遷移後状態遷移前状態 S1
ログイン中 S2 ログアウト中 S3 ロック中 S1 ログイン中 E1＋E2 S2 ログアウト中 E3 E5 S3 ロック中 E4 E1: ログアウト E2: タイムアウト E3: ログイン E4: ロック時間経過 E5:ロックアウト Nスイッチテストケース（後述）の作成は、この表を行列としてとらえて、行列の積を計算することでも可能。

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。状態遷移テストで作るテストケースの例 8 開始状態入力終了状態
1 ログイン中ログアウトログアウト中 2 ログアウト中ロックアウトロック中 3 ログイン中タイムアウトログアウト中 4 ログアウト中ログインログイン中 5 ロック中ロックアウト経過ログアウト中

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 Nスイッチカバレッジ 9 0スイッチ中間状態を0個経由する 1スイッチ
中間状態を1個経由する 2スイッチ中間状態を2個経由するある状態ある状態ある状態ある状態状態ｘある状態ある状態状態ｘ状態 y ➢ ある状態からある状態に遷移するのに、中間状態をN個経由するようにテストケースを作成する

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。１スイッチケースの作り方：完成形 10 開始状態入力後状態
入力終了状態 1 ログイン中ログアウトログアウト中ロックアウトロック中 2 ログイン中ログアウトログアウト中ログインログイン中 3 ログアウト中ロックアウトロック中ロックアウト経過ログアウト中 4 ログイン中タイムアウトログアウト中ロックアウトロック中 5 ログイン中タイムアウトログアウト中ログインログイン中 6 ログアウト中ログインログイン中ログアウトログアウト中 7 ログアウト中ログインログイン中タイムアウトログアウト中 8 ロック中ロックアウト経過ログアウト中ロックアウトロック中 9 ロック中ロックアウト経過ログアウト中ログインログイン中

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。１スイッチテストケースの作り方の例：Step1 11 開始状態入力終了状態
1 ログイン中ログアウトログアウト中 2 ログアウト中ロックアウトロック中 3 ログイン中タイムアウトログアウト中 4 ログアウト中ログインログイン中 5 ロック中ロックアウト経過ログアウト中 0スイッチテストケースを持ってくる

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。１スイッチテストケースの作り方の例：Step2 12 開始状態入力後状態
入力終了状態 1 ログイン中ログアウトログアウト中 2 ログアウト中ロックアウトロック中 3 ログイン中タイムアウトログアウト中 4 ログアウト中ログインログイン中 5 ロック中ロックアウト経過ログアウト中終了状態を後状態に変更し、入力と終了状態の列を作る

入力終了状態 1 ログイン中ログアウトログアウト中ロックアウトロック中 2 ログアウト中ロックアウトロック中 3 ログイン中タイムアウトログアウト中 4 ログアウト中ログインログイン中 5 ロック中ロックアウト経過ログアウト中後状態が取りうる入力を、表に記述する。入力に伴って、終了状態も決まるので、終了状態も記述する。

入力終了状態 1 ログイン中ログアウトログアウト中ロックアウトロック中 2 ログイン中ログアウトログアウト中 3 ログアウト中ロックアウトロック中 4 ログイン中タイムアウトログアウト中 5 ログアウト中ログインログイン中 6 ロック中ロックアウト経過ログアウト中ログアウト中が取りうる入力は、ロックアウトとログインと２つあるので行を追加する。

入力終了状態 1 ログイン中ログアウトログアウト中ロックアウトロック中 2 ログイン中ログアウトログアウト中ログインログイン中 3 ログアウト中ロックアウトロック中 4 ログイン中タイムアウトログアウト中 5 ログアウト中ログインログイン中 6 ロック中ロックアウト経過ログアウト中後状態が取りうる入力を、表に記述する。入力に伴って、終了状態も決まるので、終了状態も記述する。

入力終了状態 1 ログイン中ログアウトログアウト中ロックアウトロック中 2 ログイン中ログアウトログアウト中ログインログイン中 3 ログアウト中ロックアウトロック中ロックアウト経過ログアウト中 4 ログイン中タイムアウトログアウト中ロックアウトロック中 5 ログイン中タイムアウトログアウト中ログインログイン中 6 ログアウト中ログインログイン中ログアウトログアウト中 7 ログアウト中ログインログイン中タイムアウトログアウト中 8 ロック中ロックアウト経過ログアウト中ロックアウトロック中 9 ロック中ロックアウト経過ログアウト中ログインログイン中すべての取りうる入力のパターンがなくなるまで続ける。

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ Nスイッチカバレッジでテストケースを作成するのが一般的 ➢ Nスイッチ以外にも様々なカバレッジを考えられる ◼
状態遷移モデルの代表的な遷移のみを網羅する ◼ 全ての状態に少なくとも1度以上は訪れる（状態は網羅） ◼ 無効遷移を含めた全遷移の網羅 ◼ 不正に遷移しないことを確認する（状態遷移表のIgnore、Can’t happenを確認する） ◼ 状態遷移モデルから特定のパス（シナリオ）を導出する状態遷移テストにおけるカバレッジ 17 0スイッチカバレッジ100％対象となる状態遷移モデルにおける0スイッチのパス（経路）を少なくとも1回以上実行している 1スイッチカバレッジ100％対象となる状態遷移モデルにおける1スイッチのパス（経路）を少なくとも1回以上実行している 2スイッチカバレッジ100％対象となる状態遷移モデルにおける2スイッチのパス（経路）を少なくとも1回以上実行している 3スイッチカバレッジ100％対象となる状態遷移モデルにおける3スイッチのパス（経路）を少なくとも1回以上実行している

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。状態遷移テストの位置づけ 18 画像は右記から引用：https://note.com/akiyama924/n/n072e24135964 状態遷移に関する仕様を網羅的にテストする際に
使うテスト技法

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ バグが見つかるのは遷移したタイミングとは限らない ◼ ある遷移で内部変数の値がおかしくなったとしても、バグとして現れるのは、その内部変数を次に参照したとき →
これに気付くには、少なくとも1スイッチのテストケースが必要 ➢ Nスイッチカバレッジを網羅したからといって、 N-1 スイッチカバレッジを網羅できるとは限らない場合がある覚えておきたいこと 19 1スイッチテストケースには、「状態4→状態3」の遷移が含まれていない

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ メリット ◼ 仕様を状態遷移モデルで表すことで、テスト対象の状態の遷移が取り得る経路を整理できる ◼
Nスイッチカバレッジなどの網羅基準を決めれば、テストケースを機械的に導出できる ◼ 1スイッチカバレッジでは、0スイッチカバレッジで見つからなかったバグを発見できる ➢ デメリット ◼ 状態を細かく分けたりスイッチ数を増やすと、経路が多くなり、テストケースの数が爆発的に増える ➢ 使いどころ ◼ テスト対象が複数の状態を持っており、定めたカバレッジに基づいて遷移を一通り確認したい場合 ◼ 画面遷移を一通り確認したい場合状態遷移テストのメリット、使いどころ 20

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 GIHOZのコンセプト 22 『GIHOZ』は、ベリサーブが開発しているテスト技法ツールです。ソフトウェア開発に関わる全ての人のテスト設計の「作業」をゼロにする
目的に応じてテスト技法を選択テストモデル・ケースを容易に作成・利用各種APIによる連携

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。検索＆アカウント登録（無料） GIHOZを使うには 23 GIHOZ 名前の由来と覚え方
テスト技法が集まっている → 技法s（複数形） → ギホーズ → GIHOZ

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 GIHOZの状態遷移テストの使い方 24 状態遷移表とテストケースを生成する
状態遷移図を作るカバレッジ基準（スイッチ数）を選択する

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 状態は角丸四角形、遷移は矢印で表現する ➢ 矢印の上にイベントの名称を入力できる ➢
イベントごとに遷移の矢印を引く ➢ アクションの記載はなし GIHOZの状態遷移図 25

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ Nスイッチカバレッジでテストケースを作成するのが一般的 ➢ Nスイッチ以外にも様々なカバレッジを考えられる ◼
状態遷移モデルの代表的な遷移のみを網羅する ◼ 全ての状態に少なくとも1度以上は訪れる（状態は網羅） ◼ 無効遷移を含めた全遷移の網羅 ◼ 不正に遷移しないことを確認する（状態遷移表のIgnore、Can’t happenを確認する） ◼ 状態遷移モデルから特定のパス（シナリオ）を導出する状態遷移テストにおけるカバレッジ 26 0スイッチカバレッジ100％対象となる状態遷移モデルにおける0スイッチのパス（経路）を少なくとも1回以上実行している 1スイッチカバレッジ100％対象となる状態遷移モデルにおける1スイッチのパス（経路）を少なくとも1回以上実行している 2スイッチカバレッジ100％対象となる状態遷移モデルにおける2スイッチのパス（経路）を少なくとも1回以上実行している 3スイッチカバレッジ100％対象となる状態遷移モデルにおける3スイッチのパス（経路）を少なくとも1回以上実行している GIHOZは◦が付いているカバレッジをサポート

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 扇風機の仕様 ◼ 停止中に「運転・停止ボタン」を押すと、運転開始します。 ◼
運転中に「運転・停止ボタン」を押すと、停止します。 ◼ 運転中に、「運転モード切り替えボタン」を押すと、「風量・弱」→「風量・中」→「風量・強」の順で切り替わっていきます。 ◼ 運転中に、「風量・強」の状態で、「運転モード切り替えボタン」を押すと、「風量・弱」になります。 ◼ 運転を開始する場合は、必ず「風量・弱」の状態で始まります。 ➢ 状態遷移図を作成し、1スイッチのテストケースを作成してください例題1 28

運転中に「運転・停止ボタン」を押すと、停止します。 ◼ 運転中に、「運転モード切り替えボタン」を押すと、「風量・弱」→「風量・中」→「風量・強」の順で切り替わっていきます。 ◼ 運転中に、「風量・強」の状態で、「運転モード切り替えボタン」を押すと、「風量・弱」になります。 ◼ 運転を開始する場合は、必ず「風量・弱」の状態で始まります。 ➢ 状態遷移図を作成し、1スイッチのテストケースを作成してください例題1: 状態遷移図を作る（状態とイベントを識別する） 29 停止中の状態と運転中の状態がある運転中には、風量が異なる 3つの状態がある運転・停止ボタンと運転モード切り替えボタンの2つのボタンがあり、これらを押されることがイベントとなる

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 初期データを削除する例題1: 状態遷移図を作る 30
①Ctrl+Aキーで要素を全選択または、グレー背景の領域でドラッグアンドドロップして要素を全選択 ②Deleteキーを押して、選択した要素を削除

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 状態を追加する例題1: 状態遷移図を作る 31
①グレー背景の領域でダブルクリックして新しい状態を追加 ②状態の中の文字列をダブルクリックまたは、状態を選択してF2キーで、名前を編集

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 遷移を追加する例題1: 状態遷移図を作る 32
①ある状態から別の状態に向けてドラッグアンドドロップ ※注：状態の四角形の端の辺りからドラッグアンドドロップする ②矢印の上の文字列をダブルクリックまたは、矢印を選択してF2キーで、イベントの名前を編集

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 状態と遷移を同時に追加する例題1: 状態遷移図を作る 33
②既存の状態を選択し「+」アイコンをクリックすると、状態とイベントを同時に追加できる

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 状態は四角形の真ん中あたりをドラッグアンドドロップすると移動できる ➢ 遷移は矢印を選択して、水色のアイコンをドラッグアンドドロップすると位置を調整できる例題1:
状態遷移図を作る 34 ①状態の四角形をドラッグアンドドロップして移動 ※注：状態名の文字列の辺りをドラッグアンドドロップする ②矢印を選択してから、水色のアイコンをドラッグアンドドロップして位置調整

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 残りの遷移も追加する例題1: 状態遷移図を作る 35
①運転・停止ボタンを押した際の遷移を追加

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 同一の状態に対して遷移の矢印を引くこともできる（他の状態に遷移しないことを表す）例題1: 状態遷移図を作る 36
①ある状態から、同一の状態に対してドラッグアンドドロップ ※注：状態の四角形の端の辺りからドラッグアンドドロップする

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ プルダウンで、0スイッチ～3スイッチを選択できる例題1: カバレッジ基準（スイッチ数）を選択する 37
①プルダウンからスイッチ数を選択

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 生成ボタンを押すと、自動で状態遷移表とテストケースを生成できる例題1: 状態遷移表とテストケースを生成する 38
①「状態遷移表とテストケースを生成」ボタンを押す ②遷移の漏れがないか確認するために、状態遷移表（状態×イベント）に空欄がないか確認すると良い

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 「無効遷移を含めた全遷移テストケース」と、選択したスイッチ数のテストケースを作成できる GIHOZで作成できるテストケース 40 「無効遷移を含めた全遷移
テストケース」は必ず作成される

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 基本的には編集できない。そのままCSV形式でダウンロードしたり、Excelなどにコピペしたりして活用する ➢ 状態遷移表（状態×イベント）の空欄のセルのみ、プルダウンからignoreかcan’t happenを入力できる
状態遷移表、テストケースの編集 41 CSVダウンロードボタンを押してダウンロード空欄のセルをダブルクリックして、プルダウンから選択

運転中に「運転・停止ボタン」を押すと、停止します。 ◼ 運転中に、「運転モード切り替えボタン」を押すと、「風量・弱」→「風量・中」→「風量・強」の順で切り替わっていきます。 ◼ 運転中に、「風量・強」の状態で、「運転モード切り替えボタン」を押すと、「風量・弱」になります。 ◼ 運転中に、「首振りボタン」を押すと、首を振り始めます。 ◼ 首振りをしている最中に、「首振りボタン」を押すと首振りを終了します。 ◼ 運転を開始する場合は、必ず「風量・弱」で首を振っていない状態で始まります。 ➢ 状態遷移図を作成し、1スイッチのテストケースを作成してください例題2 ※赤字が例題1からの変更・追加箇所 42

運転中に「運転・停止ボタン」を押すと、停止します。 ◼ 運転中に、「運転モード切り替えボタン」を押すと、「風量・弱」→「風量・中」→「風量・強」の順で切り替わっていきます。 ◼ 運転中に、「風量・強」の状態で、「運転モード切り替えボタン」を押すと、「風量・弱」になります。 ◼ 運転中に、「首振りボタン」を押すと、首を振り始めます。 ◼ 首振りをしている最中に、「首振りボタン」を押すと首振りを終了します。 ◼ 運転を開始する場合は、必ず「風量・弱」で首を振っていない状態で始まります。 ➢ 状態遷移図を作成し、1スイッチのテストケースを作成してください例題2: 状態遷移図を作る（状態とイベントを識別する） 43 「首を振っている」という状態が増えた

運転中に「運転・停止ボタン」を押すと、停止します。 ◼ 運転中に、「運転モード切り替えボタン」を押すと、「風量・弱」→「風量・中」→「風量・強」の順で切り替わっていきます。 ◼ 運転中に、「風量・強」の状態で、「運転モード切り替えボタン」を押すと、「風量・弱」になります。 ◼ 運転中に、「首振りボタン」を押すと、首を振り始めます。 ◼ 首振りをしている最中に、「首振りボタン」を押すと首振りを終了します。 ◼ 運転を開始する場合は、必ず「風量・弱」、「首振り：なし」の状態で始まります。 ➢ 状態遷移図を作成し、1スイッチのテストケースを作成してください例題2: 状態遷移図を作る（まず状態とイベントを識別する） 45 運転中の状態として、首を振っている or 振っていないという状態が増えた

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 「運転中」という状態には、風量：弱・中・強と、首振り：なし・ありの組み合わせで、合計6個の状態がある例題2: 状態遷移図を作る（状態を整理する）
46 ※必ずしもデシジョンテーブルを使わなくて良い

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 遷移を追加する例題2: 状態遷移図を作る 48
「首振り・あり」の状態間での、運転モード切替ボタンによる遷移を追加「首振り・あり」の状態から停止中への遷移を追加首振りボタンによる遷移を追加首振りボタンによる遷移を追加

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ プルダウンで、0スイッチ～3スイッチを選択できる例題2: カバレッジ基準（スイッチ数）を選択する 49
①プルダウンからスイッチ数を選択

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 生成ボタンを押すと、自動で状態遷移表とテストケースを生成できる例題2: 状態遷移表とテストケースを生成する 50
①「状態遷移表とテストケースを生成」ボタンを押す（中略） ②遷移の漏れがないか確認するために、状態遷移表（状態×イベント）に空欄がないか確認すると良い

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ https://gihoz.hatenablog.com/ ◼ アップデート情報など随時更新中 GIHOZ公式ブログの紹介
52

© 2022 VeriServe Corporation 会社名・製品名・サービス名は、各社の登録商標または商標です。 ➢ 状態遷移テストについて解説＆演習を行いました ◼ 状態遷移モデル（状態遷移図や状態遷移表）からテストケースを作成するテスト技法 ◼
状態遷移モデルを作成する際は状態の識別や整理を行うなど、頭を使う必要がある ◼ 状態遷移モデルからテストケースを作成する「作業」はGIHOZなどのツールを使うと効率的 ➢ 状態遷移テストを活用する場面があったら、GIHOZを使ってもらえると嬉しいですまとめ 53

Bokep Terbaru Tamam Dilengserkan Siap Ketum PPP...

Bokep Terbaru Tamam Dilengserkan Siap Ketum PPP, Suharso pula Mardiono Senantiasa Harmonis

More Decks by Florine L. Gardner

Featured

Transcript