IoTとAI、ビッグデータ時代のソフトウェアテスト（11）
ソフトウェアテストの未来（後編）――テストが開く明日への扉（3/5 ページ）
ソフトウェアテストの未来
ここではソフトウェアテストの未来を予想していく。最初に究極のテスト目的でもある自動テストやバグゼロなどについて見ていくことにするが、まずは図2にその妄想を示す。
図2. ソフトウェアテストの未来（妄想）
テスト技術者は自動テストの夢を見るか
テストの歴史から見て分かるよう、テストツールの歴史は自動化の歴史でもあった。人間が行っているテストをツールでなるべく多く自動化する歴史であった。その究極の目的は完全な自動テストである。
単体テストレベルでなく、システムテストでも自動テストをするのであれば、プログラムがどんなことをするのかという理解をする必要がある。その上でシステムテストのテストケースを自動的に作る必要がある。
システムテストの入力がプログラムでなく、仕様書などの自然言語で書かれたドキュメントである場合は、自然言語への理解が必要になる。またドキュメントだけでは不十分で多くの周辺情報（フレーム情報）も必要とするだろう。このように自動テストの実現には多くのAI技術が必要で困難であるが、テスト技術者の夢として、それに近づくように努力しなくてはならない。
このような究極の完全自動テストツールは置いておいても、自動化の波はやってくる。個人的には、パフォーマンスや使い勝手、拡張性などの非機能要求のテストを勝手にやって評価してくれるものが欲しいと思っている。いつもこのようなレビューをやっている側としては第1次評価（門前払い！）に使えることを期待したい。
バグゼロ――プログラムの正当性
ソフトウェアテストとはバグがないこと、つまり、プログラムが正しいことを証明することと一般的には思われている。しかし実際はソフトウェアテストの第1原則より、ソフトウェアテストは欠陥があることしか示せない（連載第1回参照）。
しかし、この原則があるにもかかわらず、人類の永遠の野望として、バグがないこと、つまりプログラムの正当性（バグゼロ）の証明に近づくよう、テストは進歩していくだろう。完全な正当性の証明ではないかもしれないが、妥当な制限の元に、妥当な正当性を妥当に保証するところを目指すだろう。
世の中に多くある形式手法は使い物にならない。それらは全く妥当でない強い制限の下で、例外処理を認めないヘンテコな正当性をやっと無理やり証明しているだけである。実用性に欠ける、ごく限られた一部のみを証明するだけである。形式手法支持者を黙らすには「例外」「性能」「効率」といった魔法の言葉を言えばいい。ただ、今後は実用に耐える軽量級の形式手法が出てくるだろう。遠い未来かもしれないが。
AIとIoT、ビッグデータによるテスト
上記の自動テストとバグゼロの証明は、いわばテストの究極の姿である。これらを実現する鍵は、自然言語理解やプログラム理解でのAIであり、多数のテストデータと経験を処理し分析するビッグデータであり、これらのものを有機的に連携させるIoTである。
未来において、これらの3種の神器を使って、自動テストが実施され、バグゼロを保証することになるだろう。コンピュータが人間を超えるとされる2045年までには実現されるかもしれない。
そのときはテストだけでなく、要求分析から設計までも自動化されているだろう。人間はコンピュータに向かって企画意図を話し、コンピュータからのいくつかの質問に答える形で要求を言うだけで、プログラムが生成される。そのプログラムは既に自動的にテストが行われ、バグは最初から存在しない。
とあるテスト現場より（2）
A：「これって妄想ですよね。あの、大丈夫ですか？人生をなめてませんか？」
B：「夢ぐらい見させろよな……でも10年後も同じことを言うんだよな」
A：「まぁ、現実の話をしましょう。これからテストはどうなるんですかね」
B：「プログラマーは自動テストの夢を見るか？ いや見ない。なぜなら仕事が減るからだ」
Copyright © ITmedia, Inc. All Rights Reserved.
IoTとAI、ビッグデータ時代のソフトウェアテスト
言うまでもなくソフトウェアテストは重要だが、IoTやAIなどの新しい概念によってソフトウェア自体の在り方が変わりつつある中、旧来からのテストを踏襲するだけでは成果は得られない。新時代のソフトウェアテストについて、考察する。
この記事の著者
新着ホワイトペーパー PR
-
製品資料
[株式会社 Green AI] AIで脱炭素計画を最適化、初年度からエネルギーコストとCO2を削減する方法 -
市場調査・トレンド
[スマートジャパン編集部] 「ペロブスカイト太陽電池」の普及戦略が公表 政府が目指すコスト・導入量のロードマップを解説 -
市場調査・トレンド
[スマートジャパン編集部] 導入が加速する再エネ・系統向け蓄電システム コスト・収益性の現状分析 -
技術文書・技術解説
[スマートジャパン編集部] いまさら聞けない「ペロブスカイト太陽電池」の基礎知識と政策動向 -
技術文書・技術解説
[スマートジャパン編集部] 「ペロブスカイト太陽電池」の開発動向、日本の投資戦略やコスト目標の見通しは？
関連記事
こんなメディアも見られています
TechFactoryに関連する情報をお探しであれば、こちらのメディアもお役に立てるかもしれません。
特集
- マテリアルズ・インフォマティクスの動向調査
- 研究・開発職のデジタル活用調査
- 設計・解析業務におけるAI活用
- 3Dプリンタ利用動向調査
- CAD利用動向調査
- つながる工場の現状と課題
- 製造業におけるAI開発および活用の実態
- 設計・製造現場における品質管理
ホワイトペーパーランキング PR
-
1
EE Times Japan×EDN Japan 統合電子版：フィジカルAIが生み出す新たな「設計思想」――電子版2026年8月号
-
2
半導体装置メーカー 業績まとめ【2027年3月期第1四半期】
-
3
新入社員に読んで欲しい鉄鋼材料の基礎知識まとめ（Part4）
-
4
一時は時価総額トヨタ超え キオクシア2026年度の動向
-
5
微細配線間の絶縁劣化をどう捉える？ 先端パッケージ評価の最前線
-
6
新入社員に読んで欲しい鉄鋼材料の基礎知識まとめ（Part1）
-
7
EE Times Japan×EDN Japan 統合電子版：2026年上半期の半導体業界を振り返る――電子版2026年7月号
-
8
新入社員に読んで欲しい鉄鋼材料の基礎知識まとめ（Part3）
-
9
CADツールの見直しは本当に必要？ 切り替えの理由と効果を7つの質問で検証
-
10
新入社員に読んで欲しい鉄鋼材料の基礎知識まとめ（Part2）
TechFactory SNS
@techfactory_itmをフォロー
インフォメーション
注目情報をチェック
TechFactoryをフォロー