静的テストとは？せいてきてすと
静的テストとは、対象を実行せずに、ソースコードや設計文書を読んで欠陥を見つける検査。レビュー、ウォークスルー、インスペクション、静的解析ツールによる検査が該当する。実機やターゲット基板が揃う前から回せるため、ハードの試作待ちが必ず発生する組込み開発では上流工程の主力になる。
最終更新：2026-10-06
エンベデッドSPを最短で暗記・合格する →背景
実行して見つける方法には、その条件を通さない限り欠陥が姿を現さないという原理的な限界がある。組込みではこの限界が重くのしかかり、割込みの競合や未初期化変数は再現条件が偶然に左右されてテストで踏めるとは限らない。ならばコードの形そのものから危険な書き方を排除しようというのが静的検査の発想である。MISRA Cのようなコーディング規約は、この検査を機械が実行できる形に落としたものにあたる。
具体例
組込み分野ではMISRA C準拠の確認にPolyspaceやCoverityといった静的解析ツールが使われ、暗黙の型変換、未初期化変数、到達不能コードを実行前に洗い出す。ターゲット基板が一台しかない段階でも、全員が並行して品質を上げられる点が大きい。
試験での引っ掛け
静的／動的の軸と、ホワイトボックス／ブラックボックスの軸を混同しない。後者は動的テストの内側の分類である。解析ツールを使ってもプログラムは走らせていないので静的テストであり、「ツールを使うから動的」ではない。逆にデバッガでステップ実行するのは動的テストになる。
関連用語
出典・参考
解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。