2012/02/16 デブサミ2012【16-B-6】上から眺めた静的解析 #devsumiB

10年後も世界で通じるエンジニアであるために Developers Summit 2012 http://codezine.jp/devsumi/2012 <講演概要> 続きを読む
0
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

パターンマッチング系が一番古い方法。よく出回ってる。新規開発じゃないと効果がでにくい #devsumiB

2012-02-16 16:43:12
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

ランタイムエラー系 動かさなくても実行時エラー見つける #devsumiB

2012-02-16 16:43:57
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

静的解析によるシミュレーション。最低限落ちないように #devsumiB

2012-02-16 16:44:36
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

配列のインデックスが範囲外にアクセスしてる不具合みつけてる #devsumiB

2012-02-16 16:50:19
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

CoverityとJenkinsを組み合わせて使える。プラグインがあるみたい #devsumiB

2012-02-16 16:51:26
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

コンプライアンスを残すために。(アメリカ)。コードガバナンス?コード品質について、厳しいのかな? #devsumiB

2012-02-16 16:56:09
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

ランタイムエラー系の静的解析の特徴。実行環境に左右されない。動的テストに比べて網羅率が高い。値段が高い!! #devsumiB

2012-02-16 16:58:17
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

投資効果の算出。直接的なものと間接的なもの。 #devsumiB

2012-02-16 16:59:29
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

不具合の除去、開発者の生産性、手動レビューとテスト #devsumiB

2012-02-16 17:00:22
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

リリース後の不具合の修正コスト。安いので16万 高いので240万 #devsumiB

2012-02-16 17:04:36
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

不具合修正にかかる時間は大体16人時間/件かかる。ツールをいれると2人時間/件 #devsumiB

2012-02-16 17:10:19
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

50万行のコードのバグ粒すには…1500万。ツール入れると190万 #devsumiB

2012-02-16 17:12:41
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

派生開発なら、過去に出荷したコードにかける。今やってる開発のコードにかける。新しいコードで検出されなくなった不具合があるはず。#devsumiB

2012-02-16 17:14:52
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

なぜ消えたか?誰かが涙ぐましい努力で消したか、コードレベルの不具合だけど機能テストで見つかってなくなく直した。大幅に書き換えたか。 #devsumiB

2012-02-16 17:17:13
かずき(Kazuki Ota) | Cloud Solution Architect at MS @okazuki

解析ツールで検出できたバグを、今迄手動で潰してきたリアルなバグの数がわかる。つまり、ツールを入れることでどれくらいのコストが削減できたかわかる。 #devsumiB

2012-02-16 17:18:58