
What
SPARROWは静的プログラム分析 (Static Program Analysis)理論を用い、開発が完了される前でもソースプログラムが含んでいる致命的な誤り (Buffer Overrun, Memory Leak, Double Free など)を自動的に検出してくれるシステムです。
ソースコードさえあればプログラムを実行せずに全ての実行状況をテスターが目で分析するように深く、詳細に分析し、修正すべき誤りを検出するため、結果的にプログラムテスティング時間と誤り修正費用に関する節減効果を得ることができます。
SPARROWは金融系およびエンベデッドソフトウェア市場を中心に市場開花期を向かっていて、市場潜在力を備えたソフトウェア品質テスト市場を速い速度で先占していくと見込まれます。
Why
ビジネス環境がIT基盤に変化するにつれソフトウェアの品質が企業競争力に繋がっています。そのためソフトウェアの品質力量を強化強化すべく、テスティングツールおよび誤り分析システムに関する需要がかなり増加しています。さらに開発期間とコストを減らしながら欠点のないソフトウェアを開発することが企業の重要関心事となりつつあります。
しかし、既存のテスティング方式は開発の完了後に行われるため、誤りの発生位置を正確に探知できず、多くのリソースと高い修正コストが必要であることが問題でした。結局、誤りの発見および修正にかかる高い経済的な負担のせいで、低い品質の製品を販売せざるを得なかったのです。
これからは, SPARROWを通じてプログラムのテスティング時間と誤り修正費用を節減し、低コストで高い品質が確保できるグリーンコードを具現することができます。


