開発現場を想定したモデル検査に基づくプログラムの欠陥抽出手法

摘要

筆者はシステム開発業務に携わってきた中で開発経験の浅い開発要員の不具合対応が開発プロジェクトのコスト（工数）やスケジュールを圧迫するのを見てきた．そのため不具合からソースコードの欠陥を発見に関して経験の豊富な要員と浅い要員が混在する開発現場において，安定した不具合対応ができる仕組みが必要と考えた．経験の豊富な要員は経験的にヒットする確率が高いテストケースがわかるため効率的な検査ができるが経験の浅い要員にはこれができない．不要なテストケースを省き正しいテストケースを導きだす仕組みがあれば経験の浅い要員でも効率的な欠陥の発見ができると考え，今回開発現場においてモデル検査の技術を用いた不具合原因の特定を行う手法の技術的実現性の検証を行った．