バグゼロを実現した話とその後の顛末 - Cybozu Inside Out | サイボウズエンジニアのブログ
こんにちは、アプリケーション基盤チームの青木(@a_o_k_i_n_g)です。好きなメソッドは emptyIfNull です。 僕は、自社クラウドである cybozu.com のミドルウェアを開発するチームで働いています。具体的には、検索サービスやファイルサーバー、非同期処理用ワーカー、セッションマネージャーなどなどを提供しています。 僕がこのチームに来たのは数年前ですが、当時はバグの多いプロダクトでした。今はすべての既知のバグを直し、残存不具合件数が 0 件、つまりバグゼロな状態になりました。また、バグゼロを実現してから 2 年ほど経過していますが今もその品質を保っています。今回はこのバグゼロを実現した方法と、その後の顛末について記そうと思います。 以前のコード 数年前に提供されていたこのミドルウェア群は、はっきり言って、バグの塊のようなプロダクトでした。 当時のコードは保守性とは程遠い
ピアコードレビューの実践的レッスン | POSTD
Salsita Softwareは、複雑かつ最新のウェブアプリケーションとモバイルアプリの開発に特化する専門のソフトウェア・コンサルティング企業です。Salstiaの幅広い専門分野にまたがるチームは、ワールドクラスのソフトウェア・エンジニアはもちろん、グラフィックデザイナー、UXスペシャリスト、プロジェクトマネジャーそしてQAエンジニアから構成されています。 Salsitaのエンジニアは2つのグループに分かれており、フルスタック・エンジニアはサーバサイドの実装（Node.jsとPython）、クライアントサイドのJavaScript（AngularJS、React、 BackboneとEmber）、そしてモバイルアプリの開発（iOS、Android、PhoneGap）を担当します。フロントエンド・エンジニアは、モジュール性が高くメンテナンスが容易、かつレスポンシブなユーザインターフェースを
なぜなぜ分析は、危険だ | タイム・コンサルタントの日誌から
「なぜなぜ分析」は、品質管理や労働安全管理などの分野で、よく用いられる手法だ。発生した問題事象の根本原因を探るために、「なぜ？」「なぜ？」とくりかえして掘り下げていく。この問いかけを“5回はくりかえせ”と、よく指導しているため、別名「なぜなぜ5回」とも呼ばれる。元々、トヨタが発祥の地であり、トヨタ生産方式の普及とともに、他の業界や分野でも使われるようになった。 図は、トヨタ生産方式の生みの親である大野耐一氏の著書から一例をとって、図示したものだ。工場内のある生産機械が故障してとまったとき、「なぜ機械は止まったか？」の問いに、「オーバーロードがかかって、ヒューズが切れたからだ」と答えただけでは、じゃあヒューズを交換して再起動すればいい、という答えしか出てこない。 しかし、なぜオーバーロードがかかったのか？→ (2)軸受部の潤滑が十分でないからだ、とほりさげ、 さらに (3)潤滑ポンプが十分組
アーキテクチャ設計に品質特性を使おう - arclamp
アーキテクチャ設計をするうえで重要なのは「利害関係者の合意を得る」ことです。利害関係者全員の要件が全て理解できても、それぞれの要件には必ずトレードオフが存在します。すべて完ぺきに満たすことは不可能なので、トレードオフをバランスよく判断して利害関係者に納得してもらうのがアーキテクトの腕の見せ所です。 このトレードオフを上手に行うために、そのシステムに求められる品質特性を明示し、コミュニケーションの基礎とする必要があります。ざっくりステップを説明すると、以下のようになるでしょうか。 利害関係者にインタビューをして重視しているポイントを聞き出す そのポイントからシステムに求められる品質特性を整理する 整理された品質特性を元に、実際のアーキテクチャの設計を行う 設計されたアーキテクチャを品質特性に照らし合わせて評価を行う 品質特性というのは色々なところで定義がありますが、経産省が公開している「情報
fuguai.com - 不具合ドットコム
安全で高品質な製品づくりを応援する“ソーシャルサイト”! 【現在の投稿件数は、 000073899件 】
緊急地震速報、過去最大規模の“誤報” 原因は「地震計のノイズの途切れ」
気象庁の会見はニコニコ生放送で中継された。右が橋田俊彦地震火山部長、左が長谷川洋平 地震火山部地震津波監視課長 気象庁は8月8日、同日午後4時56分ごろに出した、近畿を中心として広い範囲の揺れが起きるとする緊急地震速報は「過大だった」と発表した。原因は、海底地震計で観測したノイズを地震の揺れによるものと誤って計算したこと。8日夕に開いた会見で気象庁の橋田俊彦地震火山部長は、「過大な予想によりみなさまにご迷惑をかけしたことを深くお詫び申し上げます」謝罪し、原因と対策について話した。 午後4時56分ごろに出た緊急地震速報は、奈良県を震源とした地震が発生し、近畿を中心に関東、甲信越、北陸、東海、中国・四国、伊豆、九州で震度4以上、最大震度7の地震への警戒を求めるものだったが、実際は体に感じる地震は観測されず、結果的に誤報となった。 予想が過大になった原因は、和歌山県北部で実際に起きたマグニチュー
「少人数のチームの方がソフトウェアの品質は高い」実証的ソフトウェア工学の研究会が開催
統計や実証を通してソフトウェア工学を研究していく、それが「エンピリカルソフトウェア工学」（Empirical Software Engineering、実証的ソフトウェア工学）です。「第一回エンピリカルソフトウェア工学研究会」が、12月10日に都内で開催されました。 基調講演では、マイクロソフトリサーチで研究をしているDr. Thomas Zimmermann氏が登壇。開発組織の構造がソフトウェアにどう影響するのか、バグ報告書やバグ報告者と修正されるバグの優先順位の関係、そしてエンピリカルソフトウェア工学という「データ指向のソフトウェア工学」を、どのようにソフトウェア開発における意志決定に役立ていくのか、といった内容の講演でした。 開発組織の構造がソフトウェア品質に及ぼす影響は？ マイクロソフトリサーチのDr. Thomas Zimmermann氏。 今日はいくつかのテーマについて紹介した
御札はどうして売れるのか - レジデント初期研修用資料
神社の御札は、機能がないのによく売れる。構造は簡単で、恐らくは寸分違わぬコピーを量産することも容易であって、神社で販売されている本物にしたところで、売っているのは本職ではなくアルバイトであることも多い。 熊野神社の牛王符宣誓あたりになると、そもそもあれは和紙に印刷された木版画であって、同じ品質、同じ材料で、レーザープリンターで何枚でも量産できる。同等の機能を持った安価なコピー品をいくらでも作れるはずなのに、神社の御札を求める人達は「本物」を求めて、山奥にある神社までわざわざ出向く。 映画であったり音楽であったり、同等機能を持ったコピー品が安価に出回る昨今にあって、神社の御札にはなんのコピープロテクトもかけられていないのに、コピー品を求めるユーザーがどこにもいない。あれはヒントなのだと思う。 宣誓は大事 熊野神社の熊野牛王符は、お守りとして飾られる場合と、誓約書として使われる場合とがあって、
クレイジーでブラックな日本
俺はとあるメーカーの新人。 先日設計課長とアメリカからのお客さんと会食があったんだ。 つつがなく進んだんだけど、デザートを食べながら設計課長が 「俺は週７日働いてる。ほぼ毎日退社は１時、そして８時出社」 って言い出したのね。笑いながら、クレイジーだろーって。 そしたらお客さんが、 「何を考えてるんだ。そんな仕事の仕方でちゃんとした品質のものが作れるわけないじゃないか。 俺が次に来る時までにその勤務形態見直しておけ！」 って言ったんだ。後でI'm kiddingって言ってたけど。 でも、これって本当にそうでさ、このお客さんはkiddingだったけど、 本気で言われてもおかしくないと思うんだよね。 これはクレイジーとか、モーレツ社員とか、ブラックとかではなくて 日本の信用に関わってくる問題だと思うんだけど、そういう認識があまりにも足りないよ。 お客さんの前で、私は朝１時まで仕事をしても終えられ
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（中編） － Publickey
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（中編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み 厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 本記事は、前編、中編、後編の3部構成です。いまお読みのページは中編です。 自動改札機の制御は1000件くらいのテスト さて、次は間違えない自動改札機の話です。ここからソフトウェアの話になります。 1つは運賃計算。この切符はこの駅で降りられるのか、というもの。そしてもう1つは自動改札の制御。ランプを光らせるとか、切符を回収するとかです。 まずはその
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編）
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み 厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 本記事は、前編、中編、後編の3部構成です。お読みのページは後編です。 大規模なテストをどうやって実行しているか 続いて、大規模なテストについて。 1000万件のテストパターンを作っても、それぞれのテスト結果の正解を人手で作っていたら追いつきません。なので、別々に運賃計算ソフトウェアを作って、その答えを突き合わせてチェックしよう、という話です。 例
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編）
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか？ 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Engadget | Technology News & Reviews