組み込みエンジニアの現場力養成ドリル（9）

野球「マジック」点灯のバグ（その2：解説編）（2/3 ページ）

公開 2018年10月12日 09時00分

著者

山浦恒央　東海大学大学院組込み技術研究科非常勤講師（工学博士）

[TechFactory]

印刷する連載新着通知を受け取る

入力データの形式テスト

　いよいよ、具体的なテスト項目を設計します。

　ソフトウェアテストの基本は、「全てを疑う」ことです。テスト技術者が結婚式の受け付けを担当すると、来賓から受け取ったご祝儀袋の記載金額と、封筒の中身を来賓の目の前でチェックすることでしょう（不一致ならば、どちらかを修正することになります）。

　マジックの「点灯」「消滅」「減少」をテストする前に、入力データの形式チェックをします。まずは、入力データの勝敗表と残り試合数が正しいかをチェックしなければなりません。自動二輪の免許を取る場合、実地試験の最初の課題は、地面に倒れているバイクを自力で立たせることです。これができないと、「残念ですが不合格です」と、試験は即時打ち切りです。エンジンをかけることさえできません。データの形式チェックとして、テストする項目は以下でしょう。

（1）勝ち数、負け数、引き分け数、残り試合数が0以上の整数

（2）勝ち数の合計と負け数の合計が同じ

（3）引き分け数の合計が偶数

（4）各チームの勝ち数、負け数、引き分け数、残り試合数の合計が全試合数

　プロ野球の場合、セ・リーグとパ・リーグの交流戦がありますので、上記の「（2）勝ち数の合計と負け数の合計が同じ」と「（3）引き分け数の合計が偶数になる」は、必ずしも成立しません。

　以下に、具体的なテスト項目を示します。

（1）その1：勝ち数、負け数、引き分け数、残り試合数が整数以外

（1）その2：勝ち数、負け数、引き分け数、残り試合数が0以上の整数

　上記のデータで、「勝ち数」「負け数」「引き分け数」「残り試合数」の全てに、「1（正常値）」「五」「－1」を入れてテストする必要はありません。Aチーム、Bチーム、Cチームの全部のデータでこれをテストすると48通りになります。これでも十分多いのですが、さらに全ての入力（24箇所）に「1」「五」「－1」の3通りをセットすると、「3の24乗」もの組み合わせになり、東京オリンピックが終わっても形式テストが続きそうです。

　筆者も、プログラマー1年目でこれをやったことがあります。4個の数値パラメータがあり、それぞれに「－1（最小値より1小さい不正値）」「0（最小値）」「31（最大値）」「32（最大値＋1）」「A（整数以外のデータ不正）」を設定したため、「5の4乗個」ものテスト項目を作り、先輩から「こんなことをしていると、テストだけで来年までかかるぞ。こんなの5通りでいいんだ」と叱られました。

　必要なテスト項目を漏らさないことは非常に重要なのですが、同時に、工学的に手抜きをしてテスト項目数の爆発的増加を防ぐことも大切です。この「工学的な手抜き」が、同値分割です。

（2）勝ち数の合計と負け数の合計が同じ

（3）引き分け数の合計が偶数

（4）各チームの勝ち数、負け数、引き分け数、残り試合数の合計が全試合数

次ページへ正常ケース

印刷する

組み込みエンジニアの現場力養成ドリル

このコラムでは、組み込みエンジニアが日々の開発で実際に遭遇する「小さなトラブルを」取り上げ、演習形式で解説します。

連載新着通知を受け取る

この連載の記事をもっと見る

この記事の著者

山浦恒央　東海大学大学院組込み技術研究科非常勤講師（工学博士）

1977年、日立ソフトウェアエンジニアリングに入社、2006年より、東海大学情報理工学部ソフトウェア開発工学科助教授、2007年より、同大学大学院組込み技術研究科准教授、2016年より非常勤講師。主な著書・訳書は、「Advances in Computers」（Academic Press社、共著）、「ピープルウエア第2版」「ソフトウェアテスト技法」「実践的プログラムテスト入門」「デスマーチ第2版」「ソフトウエア開発プロフェッショナル」（以上、日経BP社、共訳）、「ソフトウエア開発 55の真実と10のウソ」「初めて学ぶソフトウエアメトリクス」（以上、日経BP社、翻訳）。