【ATTT13】コベリティ日本の安竹氏、静的解析をコード変更後の影響分析にも活用
自動車 テクノロジー
カーナビ／カーオーディオ新製品
安竹氏は「不具合があったソースコードを変更した後、それが本当に問題ないか確認する必要がある。静的解析は問題を直したら、もう一度解析すれば、その不具合が無くなったがどうかはわかるが、機能上問題無いかということに関しては自動ではわからない。コード上は問題ないが、果たして機能上でも問題ないかどうかというのは、やはり手で確かめていくことが安全性を担保するために必要。我々は新しい研究をしていて、そういう機能をつけている」と述べた。
さらに「静的解析は今まで不具合をみつけるものと考えられてきたが、それは当然そのままやっていくが、ソースの変更情報に対して静的解析エンジンを使うことで、その変更されたコードに影響を受ける個所を洗い出すことができる。これがチェンジインパクト解析。不具合が無くなった後にテストする際、どこが危ないコードなのか判断するにはどうしたら良いかという方向に流用されるようになってくるだろう」と語った。
《小松哲也》
【注目の記事】[PR]
ピックアップ
