FDA 510(k)申請審査の厳格化とS/Wの信頼性保証について
最近、ME機器（Medical Engineering Device：医用電子機器）をFDAに510(k)申請したところ、ソフトウェアの信頼性について厳格な審査がなされ、FDAから問い合わせが行われるケースが増えてきた。
これまで、510(k)申請においては、FDAほほとんど審査を行ってこなかったため、批判が相次ぎ、FDAが510(k)申請審査の厳格化に関するガイダンスを発行したためである。
米国における医療機器のクラスＩ回収（死亡または重篤な障害の恐れがある回収）は、年間で63イベント360品目に及ぶ。つまり、毎日1台のペースで米国人が死に至るかも知れない医療機器が回収されているのである。
図．2014年度 米国における回収イベントと回収品目数
ＦＤＡにとって、回収数を減少させることが喫緊の課題となっている。
医療機器の回収の過半数が設計問題である。さらにその80%以上がソフトウェアの不具合によるものである。
特に輸液ポンプのソフトウェアのバグにより、手術中に死亡事故が毎年のように発生したことからＦＤＡの医療機器・放射線保険センター（Center for Devices and Radiological Health：CDRH）は2010年にInfusion Pump Improvement Initiativeを発行した。
FDAは、装置に含まれるすべてのソフトウェアの詳細なVerificationとValidation（V&V）を実施するよう医療機器企業に要求している。従来は、このV&Vに使用できる唯一の手段がテストとコードレビュだった。あいにくこれらの手法は、多数のバグを見つけるには効果があ るが、ソフトウェアに起こりうる欠陥をすべて発見するという保証はできない。
テストは通常、プログラムの実行時に行われる。プログラムの各実行はプログラムの特定のパス（条件分岐）しか通らないので、限られた数のテストでは実行パスの限られたセットしかチェックできない。通常、これらのパスはプログラムで可能なす べてのパスのごく一部しかカバーしていない。
一方、コードレビュはレビュ担当者の技能だけが頼りで、大量のソースコードには効率的でない場合がある。プログラムで可能なパス（またはトレース）すべてをチェックするには、プログラムのフロー解析に基づく別のアプローチが必要になる。こ れを達成する方法の1つが（自動）静的解析ツールの使用である。
Google社は、日々新機能をリリースしているが、バグがほとんど報告されていない。
これはテスト戦略によるものだ。
静的解析は、欠陥を最もコスト効率よく除去できる開発工程の初期段階で、ソフトウェアを使用して可能なパスすべてを評価し、欠陥を特定できる。静的解析は正しく使用すると、個々の開発者の生産性を12.5%向上させ、開発サイクルを10～15%加速するこ とが研究で明らかになっている。ソフトウェアのすべての欠陥がリリース前に除去された場合、開発組織は32%の節約を実現できる。このような利点は、開発コストの切り下げ、開発者の生産性向上、品質保証コストの削減、新機能や新製品を市場投入す るまでの時間の短縮化によって、ソフトウェア開発者に高い投資利益率をもたらす。