SPARROWは無欠点ソフトウェア開発を実現してくれる
お客様のQuality Partnerです。
Program Analysis Overview
- The Competitiveness of SPA
ソフトウェア品質テスト分野の新たなパラダイム、 Static Program Analysis
プログラムに潜んでいるメモリ関連の誤りを正確に分析するためには
プログラムの実行段階に沿って、
各段階で変数がどのような値を持つのか、
割当てられたメモリが正常に解放されているのかなどを細密に確認する必要があります。
実行意味分析基盤の静的プログラム分析(SPA, Static Program Analysis)技術は人間が目で分析するのと同じ方法でプログラムを分析する技術で、深くて詳細な方法で直すべきプログラムの誤りだけを検出します。
本技術はこの30年間活発に研究され、2000年度初頭から先進国を中心にプログラムの誤り検証技法である‘ホワイトボックステスト’の重要な軸となり、既存の動的プログラム分析法の限界を補完できる重要な方法論として注目されています。
