グーグルはコードの品質向上のため「バグ予測アルゴリズム」を採用している
グーグルでは、社内のプログラマによって作り出される大量のコードの品質を保つため、チェックイン前にユニットテストとコードレビューが行われているそうです。しかし、コードが大量になってくると、ユニットテストやレビューをすり抜けるバグも少なからず発生します。 そこでコードの品質をさらに高めるために、グーグルでは「バグ予測アルゴリズム」を採用。バグがありそうな部分をレビュアーにアドバイスする仕組みを採用したとのこと。 そのバグ予測アルゴリズムとはどんなものなのか。Google Engineering Toolsブログに投稿されたエントリ「Bug Prediction at Google」（グーグルにおけるバグ予測）で説明されています。 ソースコードの修正履歴を基に予測 コードの中にバグがありそうな箇所を分析する手法としては、「ソフトウェアメトリクス」がよく用いられます。これはコードを静的に分析して、
ペアプログラミングについてみんなが誤解していること | Act as Professional
プログラマ1人で完成できる仕事に、2人のプログラマを投入して、直感的に判断してペアプログラミングを拒否する人がいます。これには大きな間違いとリスクが潜んでいます。ペアプログラミングに対する真実を理解しましょう。 ペアプログラミングはコードを書く時間が15％増える1999年にユタ大学でおこなわれた実験によれば、設計の時間を別にして、ソロプログラミングに対してペアプログラミングを実施したペアは平均して15％多く、プログラムを書く時間に費やしました。 では、なぜペアプログラミングを選択するのか？将来的なテストと現場のリソース要求を減少させるためです。一般的なシステムにバグが見つかると業界のデータでは、33時間から88時間を修正に費やすそうです。これが、開発期間中に欠陥を修正すると0.5時間から88時間の時間を節約できることになるのです。したがって、ペアプログラミングは寿命の長いソフトウェアほど、
ConQATを利用してソースコードの品質をチェックする - 達人プログラマーを目指して
ある程度プログラマーとして経験を積めば、ソースコードを読んだときに、そのソースコードの良し悪しというものは、嗅覚を使って直感的に嗅ぎ分けることができるものです。実際、そのように体の感覚を使ってこのコードは不吉だと感じるところは実際大いにあり、コードの臭い（code smell)として知られています。 コードの臭い - リファクタリングの必要性を示す兆候 これはファウラーの名著 リファクタリング―プログラムの体質改善テクニック (Object Technology Series) 作者: マーチンファウラー,Martin Fowler,児玉公信,平澤章,友野晶夫,梅沢真史出版社/メーカー: ピアソンエデュケーション発売日: 2000/05メディア: 単行本購入: 94人 クリック: 3,091回この商品を含むブログ (312件) を見るでも紹介されており、こういった不吉な部分を適切に嗅ぎ分け
「ソースコードの質」と「可読性」について、議論しよう：わたしの愛するエンジニアライフ：エンジニアライフ
本音が語れるエンジニア参加型メディア「＠IT自分戦略研究所 エンジニアライフ」。日々、ITエンジニアの「生の声」を公開している。 ここでは、編集部の独断と偏愛によって選んだコラムをテーマ別に紹介する。今回のテーマは「質のよいソースコード」について。 「質のよいコード」とはどのようなものか、これは多くのプログラマが議論してきている話題だ。「質のよいコードは可読性が高い」と主張するコラムを筆頭に、「ソースコードの質」について語るコラムニストの意見を見ていこう。 プログラマよ、これからの「可読性」について議論しよう まずは、『気難しいプログラマ』の玄米茶氏による、「コードの質の向上」に関する意見を紹介しよう。 技術の発達によって、これからはソフトウェアの寿命が延びていく。今後は、よりソースコードの「保守性」と「拡張性」が重要になってくると、玄米茶氏は語る。 これまでは、プログラムは正しく動けばよ
【レポート】GPLが検出されたら製品出荷は中止! バンダイナムコのOSSリスク管理 | エンタープライズ | マイコミジャーナル
バンダイナムコゲームスの第1スタジオ技術部アシスタントマネージャー菰田英展氏 「GPLが"出た"時点で製品の出荷を見合わせます」――バンダイナムコゲームスの第1スタジオ技術部アシスタントマネージャー菰田英展氏は、11月17日にオージス総研が開催した「オープンソース知財セミナー2010」でそう語った。 バンダイナムコゲームスは2008年9月から、製品出荷前に、自社製品にどのようなオープンソースソフトウェア(OSS)が使われたかをチェックする体制を敷いている。チェックによって、GPLが製品に使われていたことが分かった場合、即座に製品の出荷を見合わせるのだ。 ゲーム開発の規模拡大でOSSリスクも増加 「ゲーム開発の規模拡大にともなって、OSSの利用も増加し、外部委託による製品開発も広がりました。OSSは、利用にあたってさまざまなライセンス条件がありますが、中でもGPLは改変したソースコードの開示
Synopsys Security | Software Integrity Group
Company About Us Investor Relations Community Newsroom Resources Careers
ソースコードの論理構造
要求管理ツールなどで要求のトレーサビリティを管理する例はあるが、それは単なる関係ではなくて論理的関係である。このことを利用して知識ベース化しようと言う考え方である。 今月のインタフェース誌(2010年4月号)はこの続きで、要求木の一番下のソースコードとの関係をプログラム検証ツールCBMC ( Bounded Model Checking for ANSI-C )を利用してソースコードも論理式にしてしまって要求木に組み込んで見ようと言う試みである。 上の図でCが左のソースコードの論理式表現になる。Rがアサーションでソースコードが満たすべき仕様になる。要求木の図ではReq6とかReq7にあたる。 CBMCはソースコードを論理化するのが目的ではなくPolySpaceと同じようなソースコード検証をするためのツールである。PolySpaceに比べるとフリーのツールなので使いづらいが、同じソースコード
Cプログラムをデバッグする基本的な方法 | エンタープライズ | マイコミジャーナル
The Geek Stuff How to Debug C Program using gdb in 5 Simple Steps - The Geek Stuffにおいてgdbを使ったCプログラムの基本的なデバッグ方法が紹介されている。あらかじめ問題を仕込んである短いCのソースコードと、それをデバッグオプション付きでビルドして、実際にどのようにデバッグを実施すればいいかが簡潔にまとまっていて参考になる。同記事では次のようなCで記述したソースコードを用意。 階乗計算プログラムをデバッグする例 このソースコードは階乗を計算するという内容。「for (i = 1; i < num; i++) j = j * i」の部分が階乗計算部分だが、変数jが初期化されていないため階乗の計算になっていない。jにどういった数値が入っているかは実行する環境によって左右される。How to Debug C Pro
すぐに使えるソースコードの読み方を指南 － 吉岡メソッド追記
奈良先端科学技術大学院大学は1月30日、東京・三田のキャンパスイノベーションセンターで「ソースコードリーディングワークショップ2010」を開催した。バージョン1.0と2.0のソースコードを用意し、その差分（パッチ）を適用して問題がないか否かを参加者全員に判断してもらうハンズオンのほか、楽天の吉岡弘隆氏、電通国際情報サービスのひがやすを氏、日本IBMの細川宣啓氏らを招き、講演やパネルディスカッションを実施した。当日は定員の60人全員が参加し、スキルアップに対する強い意欲がうかがえた。 コードレビューのベンチマークを作成し、工数の見積もり精度を向上 今回のワークショップの目的は、「開発関係者同士で同じソースコードを読み、その感想を述べ合うことで交流の機会を作ること」（森崎氏）。当日は簡単な趣旨説明の後、2時間強に及ぶハンズオンが行われたが、その後の参加者同士によるグループディスカッションではど
日本初！？ コードレビューのスキル・ベンチマークを作成
日本初！？ コードレビューのスキル・ベンチマークを作成：「ソースコード リーディング ワークショップ2010」を開催 奈良先端科学技術大学院大学は2010年1月30日、「ソースコード リーディング ワークショップ2010」を開催する。参加者全員で同じソースコードを読み、ディスカッションを通じてソースコード読解やソフトウェアレビューの方法論を共有しあう場を提供するほか、日本IBMの細川宣啓氏、電通国際情報サービスのひがやすを氏、楽天のよしおかひろたか氏らを招いたパネルディスカッションを実施する。 また、新たな試みとして、当日参加者に行ってもらった読解結果を基に「読解とソフトウェアレビューのスキル・ベンチマーク」を後日作成する。これは世界的にも極めて珍しい取り組みになるという。イベントに先立ち、この試みについて同大学 情報科学研究科 助教 森崎修司氏に話を聞いた。 読解が難しいコードの特徴、レ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
gonzui: ソースコード検索エンジン
単体テストからパフォーマンス分析まで、VSTDでシステム開発を自動化しよう