テストの技術システム工学概論補足追加河野善彌 2004. 12. 16 復習ソフトの誤りによる事故覚えていますかソフトウエアには，誤り（バグ）がつきものバグの為に正常でない動作/不充分な性能ソフトウエアバグによる障害・広汎な地域北米の市外電話が一日麻痺・社会の活動阻害証券取引/銀行システムのダウン・被害金額大火星着陸人工衛星が使命達成に失敗数百億円の損害・多数の使用者携帯電話５６万台の機能異常/リコール IT化の進展につれ，ソフトの占める立場が大きくなる ITS ハイウエイ自動走行システムバグ 0 でなければ？ 1960年代 0.数件/K行….1990年代 0.001件/K行…．では2000年代は？それは如何にして達成できる？ Copyright Z. Koono 2004 復習設計の正しさのテスト設計は誤りを免れない目的仕様設計ﾌﾟﾛｸﾞﾗﾑ (計算機言語表記) 計算機テスト仕様の一部を対象としプログラムを動かして実動作を確認する働き機能効果効用テスト作業仕様設計テスト設計テスト実行期待出力一致照合必要入力不一致実出力対象ﾌﾟﾛｸﾞﾗﾑデバッグDebug 原因切分け次へ誤り修復再テストテストの効果1 テストの効果2 テストの効果3 設計側の誤り率Ed 仕様書あるべき仕様設計仕様テスト仕様通常の設計照合テスト設計テスト側の第II種（不正を正と誤る）誤り率Et 各種のテストの誤りテストの戦略や狙いの誤ﾃｽﾄ設計〜ｺｰﾄﾞ化の誤流れのﾙｰﾄの潰し漏れ〜不注意ﾐｽ照合の誤終了不一致調査/修正テスト後の誤り率 Ed×Et 例Et=0.1なら1/10化復習何処を如何にテストするか各種のテスト（見方が異なる）・時系列：・立場：・規模：今回例単体，統合，ｼｽﾃﾑ，評価，検収．．．開発者，検査/品質保証，ユーザ．．単体，ｻﾌﾞｼｽﾃﾑ，システム．．．．小ﾌﾟﾛｸﾞﾗﾑの確認を行う原理的なテスト・設計結果を見ながらテストを考える(White box) ・単体テストでは，全ての経路を塗りつぶす（大きくなると異常時のルートは通せない）テストケースとチェックﾎﾟｲﾝﾄ・ケース（試験する場合）幾つかのﾁｪｯｸﾎﾟｲﾝﾄ（確認個所) Copyright Z. Koono 2004 復習機能構造とプログラム構造１秒毎にﾌﾟﾛｸﾞﾗﾑを起動 mai n 時計 Tokei 時刻をえる Ji kokuwo Eru 時刻表示を求める Ji kokuHyouj i wo Eru 全体を制御する親表示する Hyouj i suru 子である部品内部的なﾓｼﾞｭｰﾙ C言語では関数時計ﾌﾟﾛｸﾞﾗﾑ Copyright Z. Koono 2004 復習プログラム構造とテスト1 ドライバー（駆動する） mai n 進行を確認する手段時刻をえる Ji kokuwo Eru 時計 Tokei 時刻表示を求める Ji kokuHyouj i wo Eru テスト対象表示する Hyouj i suru スタブ（部品を疑似）データを確認する手段 Copyright Z. Koono 2004 プログラム構造とテスト2 復習指令入力指令出力終了開始ダミー実行管理各種入力を与え制御構造部る．各状態遷移内部インタフェプログラムイス点ダミー出力各種出力をダミー出プログラム類与える．力 Copyright Z. Koono 2004 復習テストの進め方 One at a time 一つずつ確実な物を増やす重要なテストの戦略テスト仕様書を貫くもの mai n トップダウン時計 Tokei 併用時刻をえる Ji kokuwo Er u 時刻表示を求める Ji kokuHyouj i wo Er u 入力系内部処理系試験入力が容易化表示する Hyouj i sur u ボトムアップ出力系試験出力が容易化 Copyright Z. Koono 2004 テストの計画テスト条件1 購入指定釣銭出力待機中釣銭投入金単体テスト 1 釣銭販売商品釣銭１遷移ﾙｰﾄ毎に関係部分を洗うﾁｪｯｸすべき所は全てﾁｪｯｸ合計金額表示可販売可？不可出力可？不可可 3 販売可能商品表示購入指定釣銭出力購入指定釣銭出力販売可能投入金有り販売不可投入金合計金額表示投入金合計金額表示 2 販売可？販売可？不可可販売可能商品表示不可可販売可能商品表示異常テスト条件2 テスト項目表（通し枚数番号大項目中項目／全体枚数）対象システム名プログラム名完了日／確認者小項目トップダウンにﾃｽﾄする場合を展開する正常機能正常販売サイクル途中放棄状態S1で途中放棄釣銭出力購入指定状態S2で途中放棄．．．．．．保守機能テスト設計担当者氏名テスト設計日テスト実施担当者氏名テスト実施日テスト条件3 テスト条件書（大／中項小項目目番号番号／）テストケーステスト設計等の誤りは朱記訂正して使用する正解入力正解出力テスト設計担当者氏名テスト実施担当者氏名テスト設計日テスト実施日実出力判定正解出力／入力は実際に近い形式(ﾗﾝﾌﾟ点滅等)で記入する．実出力は，実際に出た現象をそのとおりに記入する．判定は，実出力=正解出力なら○ テスト作業者≠当該個所設計者なので，ﾃｽﾄ作業は連続して実行．途中でﾌﾟﾛｸﾞﾗﾑ手直ししない全部のデータを揃えてから悪い所を推理する．正解との照合個所は，多いほど良い．合計金額，販売可能表示ﾃｽﾄｹｰｽとは，ﾃｽﾄしたい場合を云う．販売可能移行 110円まで投入 10円追加販売可能点灯 10円追加販売可能点灯数増復習テストでの切分け One at a time 一つずつ確実な物を増やす増やして異常なら，増した所を疑え mai n 時計 Tokei 時刻をえる Ji kokuwo Er u 時刻表示を求める Ji kokuHyouj i wo Er u 表示する Hyouj i sur u Copyright Z. Koono 2004 デバッグの切分け復習クロッククロック時刻をえる時計時刻求める異常個所の摘出は最も時間を要する盤面時刻表示時求める時針分求める分針秒求める秒針表示する盤面ソースを読むのは最も面倒ﾌﾟﾛｸﾞﾗﾑ，関数単位に切分ける他人で可追詰めて，修正の為ソースを読む Copyright Z. Koono 2004 変更前後の管理変更表　システム名　機能／プロセス／プログラム名　設計審査ｿｰｽｺｰﾄﾞ ↓ ﾌﾛｰﾁｬｰﾄ ↓ ﾃﾞｰﾀﾌﾛｰ ↓ (仕様) 何処が悪いのか，突止めて再発防止が重要ｿｰｽｺｰﾄﾞのみでなく，遡って変更する再度同種の不良を出さない為の対策作込工程不良を作込んだ原因変更後変更前月日番号復習現物をあれこれいじり回すと混乱が起こる mai n 時計 Tokei 時刻表示を求める Ji kokuHyouj i wo Eru 時刻をえる Ji kokuwo Eru 修正の管理表示する Hyouj i suru 切分単位毎に１版，２版．．と現物を差換え，残す面倒でも手違が無い時刻表示時刻表示．．．．．．．．．．．．．．．．．．．．２版１版現物保存時刻表示．．．．．．．．．．ﾌﾟﾛｱﾏ面倒でもキチンとやる手順を飛ばして，却って損するー常に基本を厳守ー３版 Copyright Z. Koono 2004 復習再発防止仕様文書設計作業文書設計作業文書設計作業 Prog 誤りｺｰﾄﾞ誤を作込なぜ？なぜ？異常動作なぜ？どうしたら，この設計の作業で誤りを作らなくなるのか? 再発防止対策ﾕｰｻﾞｸﾚｰﾑ！なぜ？再発防止策の調査重要な誤りは，現象症状メカニズム不良工程不良個所と遡って調べるテスト作業の進捗管理1 累計誤り数開発者テスト出荷テスト現地検収テスト実運用年月仕様書設計開発側テスト品証側テスト製品テスト作業の進捗管理2 誤り摘出数の累計ﾃｽﾄ項目数残の累計