自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み　厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 本記事は、前編、中編、後編の3部構成です。お読みのページは後編です。 大規模なテストをどうやって実行しているか 続いて、大規模なテストについて。 1000万件のテストパターンを作っても、それぞれのテスト結果の正解を人手で作っていたら追いつきません。なので、別々に運賃計算ソフトウェアを作って、その答えを突き合わせてチェックしよう、という話です。 例

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（中編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み　厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 本記事は、前編、中編、後編の3部構成です。いまお読みのページは中編です。 自動改札機の制御は1000件くらいのテスト さて、次は間違えない自動改札機の話です。ここからソフトウェアの話になります。 1つは運賃計算。この切符はこの駅で降りられるのか、というもの。そしてもう1つは自動改札の制御。ランプを光らせるとか、切符を回収するとかです。 まずはその

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか？ 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡

マインドマップに限らずブレインストーミングやSWOT分析などを作成する際に使えるソフトがこの「Edraw MindMap」です。作成した図はPowerPointや各種画像ファイル、PDFなどにエクスポートが可能。クリップアートも豊富に用意されており、これまでとは違ったプレゼン資料などが作成できます。日本語入力も大丈夫です。 作成例、インストール、操作＆機能については以下から。 Free Mind Mapping Software, Freeware, Create mindmaps for brainstorming, problem solving, rational analysis, and decision marking. http://www.edrawsoft.com/freemind.php ◆作成例 実際にこのソフトを使って作れる図はこのような感じ、かなり多種多様。 ◆イ

昨日、@irofさんと飲みながら自分を思い返すと「ちゃんとソフトウェア開発を勉強しはじめてから3年間たった」つまり「@bleisさんを知ってからこの5月でまる3年間たった」 それまでの僕はデザインパターンもオブジェクト指向がなんたるかも、バージョン管理もなにも知らなかった。 毎日言われたことをこなす仕事をして、変えたいけど誰も教えてくれないし、学び方すら教えてくれなかった。 それなりに努力してたけど、よくはわかっていなかった。 そんな状態から抜け出したのが3年前。このブログの先頭でも書いた。当時僕は21歳かな。（ちなみに就職したのは19歳のとき） →【このブログをはじめるきっかけ - うさぎ組】 この3年間でやったことをふりかえってみようと思いました。 ちょっとわかりにくいだろうけど、2009年5月からの12ヶ月周期で書いてみます。 こうやって振り返るのはあくまで僕のためであって、何かを誇

iPhoneとiPad向けにもリリース！ まさかここからブラウザーのシェア争いにニューフェースが登場してくるとは予想もしませんでしたね。しかしながら、このところ業績低迷に苦しむ米ヤフーが起死回生の一発に放ったのは、なんと新たなブラウザー｢Axis｣ですよ。 Axisの最大の特徴は、あの検索結果が縦にズラリと並ぶのではなく、見やすいサムネイルが横に並んで一発確認できてしまうサーチエンジンページの新デザインにあります。左下コーナーに検索ボックスが常駐し、そこから検索を実行すると、なんとも革新的なAxisのサーチデザインを堪能できますよ。 そもそも米ヤフーは、すでにツールバーの形で｢IE｣｢Firefox｣｢Chrome｣｢Safari｣などのデスクトップブラウザーで多数のユーザーを獲得しており、まずはこうしたブラウザーへのプラグインという形からAxisの普及を図っていく方針ですが、この使いやす

ブログ移転のお知らせ！ ▼当ブログは移転しました！新しいサイトは以下となります！！ http://bamka.info ▼お手数おかけしますが、RSSの再登録もお願いします！！ http://feeds.feedburner.com/bamka 【読了時間：約８分】 どうも、bamka_tです。 MacBook Airを使って長く、結構アプリも溜まってきました。 そこで、私が愛用しているアプリをまとめて紹介しようと思います。 私は結構貧乏性で、有料アプリでも即決はせず、まずは無料アプリで似たようなものがないか探してしまいます。 ですから自ずと、私のアプリは無料がメイン。もちろん有料もいくつかあるのですが、今回はその無料アプリに絞ってお話しようと思います。 全部で２７個。張り切っていきましょう。 ■ウェブブラウザ １．Google Chrome （Photo： [http://www.fli

Adobe、月々5000円でCS6+クラウドサービスが使える｢Adobe Creative Cloud｣を発表2012.04.23 19:20 武者良太 この値段なら僕でも使える...っ！ ついにAdobe Creative Suite 6シリーズが発表になりました。スゲー！スゲー！と前評判の高いCS6ですが、唯一の弱点はそのお値段。プロ向けツール故に仕方ないのですが、全部入りのAdobe Creative Suite 6 Master Collectionは33万4950円もしちゃうんです。 そこで｢Adobe Creative Cloud｣の登場です。これはPhotoshop Extended、Illustrator、InDesignなど、Adobe Creative Suite 6 Master Collectionがカバーしているソフトがすべて使える上、データをクラウドに保存・共有

更新履歴　[ 全て表示戻す ] 2016.02.24: 古くなった情報の修正。 2016.02.24: AnyDVDに関連した情報の修正。 プロテクトされたBlu-rayの再生は実質不可能になりました。 2015.08.04: Nightly Build版のダウンロードリンク追加、Windows10で作動確認 2014.06.17: 古くなった情報や画像の修正･追記、lav filters内蔵に対応 動画再生フリーソフトの定番の一つ、MPC-HC (Media Player Classic Home Cinema)の紹介です。 最新のバージョンでは、ブルーレイも(メニュー画面以外は)ほぼ完璧に再生が可能になっている事に気が付いたので、今更ながらの紹介です。 ※注意1: プロテクト処理されたDVD･Blu-rayは正常に再生できません。 ※注意2: BDAVディスクの再生には対応していません

1：以下、名無しにかわりましてVIPがお送りします：2012/03/29(木) 11:52:43.31ID:tyB3dFU80 俺がたった今、MacからWindowsへ移行してきた。 とりあえずjanestyleとavast入れた。 4：以下、名無しにかわりましてVIPがお送りします：2012/03/29(木) 11:53:35.30ID:CulJUdGA0 saiか http://www.systemax.jp/ja/sai/ PSE http://www.adobe.com/jp/products/photoshop-elements.html 「ペイントツールSAI」は気軽に気持ちよく絵が描けることを目指して開発されたペイントツールです。タブレットによるタッチのダイレクト感、描画の美しさ、操作性の簡便さ等、快適に絵を描くための性能を追求しました。 AdobeR PhotoshopR

Googleのバグ予測アルゴリズムの記事があったのでメモ。 【元ネタ】 グーグルはコードの品質向上のため「バグ予測アルゴリズム」を採用している － Publickey グーグルのバグ予測アルゴリズムを実装したツール「bugspots」、オープンソースで公開 － Publickey Googleのバグ予測アルゴリズムを実装した「bugspots」のSVN版を作ってみた - 現場のためのソフトウェア開発プロセス - たかのり日記 【1】バグの予測に関する研究は従来からたくさん行われてきた。 信頼度成長曲線もそうだし、クローンプログラムのメトリクスもそうだ。 上記の記事によれば、もっとシンプルにコミットログからバグの傾向分析を導くアルゴリズムのようだ。 (引用開始) 彼らが発見したのは、そのコードに対してこれまでバグフィックスのコミットが何回行われたかをランキングすることで、コードの中のホットス

AI時代の“爆速”デジタル変換術 手書きメモ画像や音声ファイル、AIを使って利用しやすいデータに変換する 2024.12.09 最後のWindows 10脱出計画 Windows Updateを使ってWindows 10から11へ、手順は更新作業とほとんど同じ 2024.12.09

皆さんは、デジタルで絵を描く時のペイントソフトは何を使ってますか？ SAI,Photoshop,GIMP,イラスタなど 色々ありますよね。 さて、今回は 新しく開発された無料のペイントソフト 「FireAlpaca」 です。 このソフトは、 mdiappを開発した作者が、 新しく作成したペイントソフトです。 FireAlpacaは、機能も豊富で、 ・Windows/Mac対応 ・PSDファイルの読み込みも可能 ・SAIのような、手ぶれ補正 ・SAIのような、キャンバス回転、反転 ・SAIのような、ペンマスク ・さまざまなスナップ（集中線なども描きやすそう） ・ブラシ設定 ・カラーパレット ・言語 英語、日本語、中国語（簡体字・繁体字）、韓国語、ポルトガル語、 スペイン語、ドイツ語、フランス語、ロシア語 の９ヶ国語にも対応 など、様々な機能があります。 まだ、公開されてから間もないので足りな

WACATE 2011 夏に誘われたのがキッカケでソフトウェアテストを勉強しはじめて10ヵ月くらいがたちました。 先日、わんくま名古屋でソフトウェアテストの勉強法についてLTしたのですが、みなさんにいろいろ聞かれたのでここにまとめておこうと思います。 本当は1年の区切りで書こうと思ったけど、まぁいいでしょう。 追記ここから わんくまで発表したLT資料はこちらです うさみみのソフトウェアテスト勉強法 View more presentations from Kyon Mm 追記ここまで こういうのを書くときに時系列で書くべきか、コツを書くべきか悩みますね。 でも、みんなが知りたいのは僕の歴史じゃなくってコツだと思うので後者で書きます。前者はTwitterとか勉強会とかお食事とかお茶でもしているときに聞いてみてください。 以下では多くの書籍を紹介していますが、僕がこの10ヵ月で読んだ本。ってい

マイクロソフトがWindows7ユーザーの遠隔測定データ（何億人分ものユーザーデータを匿名で提供してもらう仕組みらしい）に基づいて調査した結果、コピー・移動・名前の変更・削除といったエクスプローラ経由のファイル操作が全体の50％であり、次期ウインドウズである「Windows 8」ではこれら一連のファイル操作を「コピージョブ（コピー作業）」と定義し、大きな改善を施すことを公式ブログで明らかにしました。 Improving our file management basics: copy, move, rename, and delete http://blogs.msdn.com/b/b8/archive/2011/08/23/improving-our-file-management-basics-copy-move-rename-and-delete.aspx コピー作業全体の50％は1

16年前にビル・ゲイツが予言！ 広告モデルの激戦、スマートフォンや検索の台頭...2011.05.30 14:00 福田ミホ ウィリアム・H・ゲイツ3世、通称ビル・ゲイツは、未来を見通すことにおいて誰よりも早い...というわけではありませんでした。 でも彼は、いったん獲物に狙いを定めると、その先見性と信念、そして頑固なまでの粘り強さを武器に突き進んでいきました。そのようにして彼はビジョナリーと呼ばれるようになったのです。 ビル・ゲイツのかつてのパートナー、ポール・アレンがその回顧録で述べていますが、｢マイクロプロセッサの登場によって一般の人もコンピューターを使うようになる｣と気づいたのはゲイツとアレンが最初ではありません。たとえばインテルの創業者ゴードン・ムーアなどは、1960年代からその可能性について考えていたのです。 でも1974年、ゲイツはアレンから雑誌に掲載されたIntel 808