Toggle 特別な状況 subsection 8.1Bibisecting language-specific bugs
Toggle 特別な状況 subsection 8.1Bibisecting language-specific bugs
自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(前編) ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか? 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡
A few days ago I have encountered a strange problem. When I copied IronPython.Modules.dll to my application's folder, it freezed. Strange. It looked like a bug in IronPython for me but it wasn't. With Dino Viehland help, I have found the bug in Delphi code. Dino used WinDbg to discover what is going on in the code. I show you it is not so hard to use it. WinDbg is part of Debuging Tolls for Window
組み込みソフトウェア/ハードウェア開発における技術力の向上、改善・最適化などを幅広く支援する“組み込み開発エキスパート”のための情報フォーラム
テクマトリックスは,米Parasoft Corp.が開発したテスト・静的解析ツールの最新版「Parasoft C++test 7.3.2」の日本語版の発売を開始した。旧版の7.3では実行時メモリ・エラー検出機能を追加していたが,今回は新たに機能安全規格の「IEC 61508 Ed. 2.0」に対応したソフトウエア開発支援ツールとして認証(certificate)を取得した。IEC 61508の開発ツール(オフライン型)の認証は「T1」~「T3」の3種類があるが,C++testは「T2」と呼ばれるツール認証を取得した。T2とは,実行コードの生成は行わないものの,静的検証やテストなどを行うタイプである。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く