CppCheckでC言語/C++のメモリリーク（解放漏れ）を静的解析で検出する。 · Futurismo
2 Oct, 2012 · by admin · Read in about 3 min · (1044 Words) CppCheck cygwin OSS 組込み 静的解析 メモリ解放漏れ・メモリ二重解放は組込みエンジニアにとって、背筋が凍る単語だ。 それは、即、残業しなさいという意味に転じる。 そこから、泥沼のデバッグにハマることがよくある。 そんな課題をスマートに解決するために、メモリ解放漏れやメモリ二重解放を検出するツール調べてみたので、メモメモ。 オープンソース CppCheckのインストールをしよう Cppcheckを使うことでメモリ解放漏れを静的解析で見つけることが可能だ。CppCheckはその他にも、アロケーション(確保と解放)の不一致（メモリ二重解放），バッファオーバーランの検出ができる。OSSなので、誰でも無料で利用可能。 CppCheckのダウンロードはココから C
「アジャイルなテストの見積りと計画づくり」への不安について - うさぎ組
イベント Nagoya.Testing in Tokyo 3 -アジャイルなテストの見積りと計画づくり- #NagoyaTesting on Zusaar スライド アジャイルなテストの見積もりと計画作り いままでいろんな勉強会やってきましたけど、自分が表にたって教える勉強会でこれだけ人気がでたのは初めてという事実に戸惑いが隠せません。 Nagoya.TestingもSCMBCもよくあるパターンというのを体験してもらう事が主眼であり、SCMBCに至っては僕はできるだけイベント企画にのみ力をいれていたりします。 なので、今回の「アジャイルなテストの見積りと計画づくり」は完全なkyon_mmオリジナルコンテンツを教える会となっており、話すということしか決まっていない中でこれだけの人数があつまったというのが初めてなのです。 JaSSTにしろ、Scrum系の人にしろ、僕がやっていることは「テストじ
IT業界で無事にいたいなら銀行に関わるな
IT業界で無事にいたいなら銀行に関わるな 3Kとか7Kとか言われているが、底辺の会社にいなければそれほどひどくないし、正直どうでもいい。しかし関わった人は皆同じことを口にする。 銀行には関わるな。特に最新技術に詳しい人ほど真っ先に壊れる。すぐに逃げ出せ。 新規開発が出来ると思うな。10年以上経ったシステムのお守りがほとんど。当然コードは見るに堪えない。そのくせ仕事はたくさん来る。ほとんどがバグ修正か機能拡張。そして時間のほとんどはテストで消える。1行修正するだけでも数週間のテストが普通。OSが変わったら一年中テストで潰れる。 休みが人並みに取れると思うな。深夜まで仕事をするのが当たり前。GWと正月はないと思え。しかも一回や二回ではなく仕事辞めるまでずっとだ。 仕事の出来を褒められることを期待するな。動いて当然、止まったら新聞沙汰だ。当然直るまで何日でも徹夜。 キャリアの役に立つと思うな。業
意外と知らない Windows OS 標準の「ステップ記録ツール」
操作の手順を記録したいWindows 7 からアプリケーションの操作をステップごとに記録してくれる便利なツールが付属しています。それが、「ステップ記録ツール」です。 Windows 7 では、「問題ステップ記録ツール」という名称でした。Windows 8, 8.1, 10 では、「ステップ記録ツール」という名称で統一されています。 スタートメニューに表示されないため、知らない人も多いツールです。エンドユーザーで知っている人はまずいないでしょう。 このツールを利用することで、操作を記録して、その様子をまとめたレポートを作成してくれます。アプリケーションのユーザーさんから問い合わせがあったときに、手順を教えてもらったり、不具合の再現方法をいただく際に重宝します。 起動Windows の検索にて、「記録」や「ステップ」と入力してみましょう。「ステップ記録ツール」が検索結果に表示されます。 上図は
cppcheck 日本語情報トップページ - OSDN
C/C++用の静的解析ツールです。メモリリーク、アロケーション(確保と解放)のミスマッチ、バッファオーバーラン、さらに多くのチェックを行います。目標は、0%の誤認識としています。 ダウンロード 最新ダウンロードファイル cppcheck-2.7-x64-Setup.msi (日付: 2022-02-05, サイズ: 21.55 MB) readme.txt (日付: 2022-02-05, サイズ: 294 B ) cppcheck-2.7.zip (日付: 2022-02-05, サイズ: 4.06 MB) cppcheck-2.7.tar.gz (日付: 2022-02-05, サイズ: 3.76 MB) cppcheck-2.7.tar.bz2 (日付: 2022-02-05, サイズ: 3.07 MB)
TDDでデータベースと付き合う方法
はじめに データベースを読み書きする部分のユニットテストがやりにくいのには、いくつか理由があります。 複数人でテストを同時に実行すると、競合する データベースを使ったテストは、時間が掛かる データベース内のデータが変わると、テストが失敗する 1番目は、各自の開発環境にテスト用のデータベースを用意することで、解決できます。2番目の問題は、データベースにアクセスするコードをロジックから分離して、データベースに実際にアクセスするテストケースを減らすことで、改善できます（ロジックのテストにはモックやダミーを使います）。3番目は、テストのたびにデータベースの内容を初期化することが基本になりますが、そうするとテストに長い時間が掛かるようになってしまいます。 今回は、ビジネスロジックの開発時にモックやダミーを使いやすくするにはどうするか、また、テスト時にデータベースの内容を安定させるにはどうしたらよいか
最近の小学1年生の宿題難しすぎワロタｗｗｗｗｗハーバード大学生でも無理だはｗｗｗｗｗｗ まだ名前がありません。
1： スノーシュー(埼玉県)：2012/10/14(日) 11:50:45.98 ID:LiFi9SRFP つるの剛士 難問すぎる小1娘の宿題に悲鳴「誰か～っ！」 歌手のつるの剛士（37）が、12日、ツイッターで、難しくて解けない娘の宿題に助けを求めた。 「きゅうり ちゅうしゃ ひょうたん」など、絵を見て、その絵が何を表しているか、マス目にひらがなを入れる問題なのだが、 順調に解いていたつるのは、はたと考え込んでしまう。問題はおむつをした赤ちゃんが泣いている絵なのだが、マス目は6マス。 はたと考え込んだつるのは、ついにツイッターで「誰か答え教えて～っ！ 気になる！！」と助けを求めたが、 「いびきをかく…はどうでしょうか？」「あかちゃん？」「あかちゃーん」「なきまくるこ」など、 フォロワーたちも知恵を絞るも、これだという解答には行き当たらず。 つるのは「自分が大人になりすぎてしまっているのか
บาคาร่าออนไลน์ Baccarat99 เว็บตรง ทางเข้าสมัครสมาชิก ฟรี 300
ท้าทาย เพิ่มเติมประสบการณ์ รวมไปถึงลุ้นเงินรางวัลได้อย่างมีอิสระ บาคาร่า99 ทางเลือกที่จะเข้ามาเติมเต็มให้กับนักพนันทุกคนอย่างทั่วถึง สำหรับคนทั่วไปที่มีความสนใจตัวเกมพนันออนไลน์ อยากจะให้เริ่มต้นกับทาง บาคาร่า99th ที่มีการเน้นบริการเกมพนันยอดนิยมระดับโลกอย่าง Baccarat เกมพนันที่กลายมาเป็นอันดับที่ 1 สามารถครองใจนักพนันไปทั่วโลก เนื่องจากว่าขึ้นชื่อว่าเกมพนัน จะต้องง่ายและหลากหลาย สามารถตอบสนองทั้ง
リファクタリングのための回帰テストの書き方 - 千里霧中
リファクタリングで定番のテスト活用方法として、変更前と変更後で挙動が変わってないことをテストコードで検証する、というものがある。違う用例で使われることもあるが、ここではそのテストを回帰テストと定義する。 そうしたリファクタリングでの回帰テストとしては、大きく以下の2パターンが挙げられる。 新しいコードの出力と古いコードの出力を比較するテストを書く。 満たすべき仕様を検証するテストを書く。そして古いコードと新しいコード両方がそれをパスすることを確認する。 今回は前者のテストをどう作っていくか、について扱っていきたいと思う。 簡単な場合 新しいコードの出力と、古いコードの出力を比較するテストというのは、満たすべき仕様を検証するテストよりも、一般的に実装が容易であることが多い。というのも、そのアプローチでは、テスト対象の仕様をよく考えなくとも、カバレッジなどを基準に網羅性を高めることで必要なテス
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編）
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか？ 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡
ヘッダ1つでgoogle testっぽくテストが書けるpicotest書いた - nyanp::blog
以下に修正BSDライセンスで公開しておきます： nyanp/picotest · GitHub 一応VC10/VC11(Win7),gcc4.6.2(Ubuntu)で動作確認。 これは何？ C++向けのユニットテスティングフレームワークです。ちょっとしたコードに対してテストを書きたいなー、でもわざわざテストのためにGoogle Testをリンクするのも、Boost.Testを引っ張り出すのも大げさ*1…みたいな時に使えるかもしれません。ヘッダだけで使えるテスティングフレームワークは他にもあります*2が、picotestは以下のような特徴があります。 Google Testと同じ構文でテストが書ける 学習コストが0 プロジェクトが大きくなってきたら、簡単にGoogle Testに切り替えることが可能 Google Testのようにテストケースの自動登録、フィクスチャ、operator <<
ジョジョ大好きな俺がmixiアプリの漢字テストをしたらこうなった。
音量注意！ どうも、さいころｋです。 mixiアプリのプレイ動画風MADです。このゲームは実在しません。ジョジョ動画マイリス→mylist/2634793 ■なんとこれを遊べる形で作ってくれた神が出現しました！こいつはすげェーーーーッ！→sm9096212
expressやsocket.ioのテストはこんな感じで書いてます、というお話 - アルパカDiary Pro
最近仕事ではNode.jsしか書いてないtoritoriです。 お仕事でもexpressやsocket.ioを使っているのですが WebアプリケーションのテストについてWeb上にあまり書かれていないような気がします。 特にソケット接続した後のメッセージ送信/受信の部分です。 今までのようなHTTPの単純なリクエスト/レスポンスとは手法が異なりますしどうしたものかと。 そこで「自分はこんな感じでテストしてますよー」という記事を書いてみます。 裏を返せば「もっといい方法あるよ！」というのを聞きたいのです＞＜ サンプルについて socket.ioのexample を使います。 ただし、サンプルではログイン時に遷移しない方式なので もう少し実用的な動作に近づかせるため あえてログインURLから遷移するようにし、 セッションもRedisを使うようにしてexpressとsocket.ioでセッションを
Intel C/C++ を用いた Google Test環境を準備する - 発声練習
C++用のテストライブラリーGoogle TestをIntel C/C++と一緒に使う。 関連：Ubuntu 11.10に Intel(R) C++ Studio XE 2011 SP1 Update 1 for Linux 環境 OS: Ubuntu 12.04 icc/icpc バージョン 12.1.0 (gcc バージョン 4.6.0 互換) Google test 1.6.0 zsh 設定 CMakeをインストールする。 % sudo aptitude install cmakeGoogle Test本家からソースコードをダウンロードし、解凍する。 % unzip gtest-1.6.0.zip % cd gtest-1.6.0CMakeでMakefileを生成する。その後、makeで静的ライブラリー libgtest.a と libgtest_main.a を作成する。 % cm
「IC乗車券改修に1年 (消費税)ベタ打ちだと！？」，それデマじゃね？ - カレーなる辛口Javaな加齢日記
http://p.twipple.jp/JfSVb http://www.shopbiz.jp/nf/news/112667.html ＪＲ東では消費増税で運賃を引き上げた場合、５月末現在で約３９６８万枚発行しているスイカのシステム改修が必要となる。改修の具体的な検討は「運賃の引き上げ自体が決まっていない」（ＪＲ東）ため始めていないが、「システム改修の計画作りや乗客への周知期間も含めると１年数カ月かかるだろう」（同）と話す。スイカを導入していなかった1997年の消費増税ではシステム改修に30億〜40億円の費用と3ヶ月程度の期間がかかった．巨大化したスイカシステムの再起動時のシステムダウンや運賃の計算ミスを避けるため，改修には費用，期間とも前回を上回るとの指摘もある． 改修が手間なのは「スイカのシステムは一部のプログラムに消費税をそのまま書き込んでいるため」と関係者は開かす．例えば「値段＝製
AdLint
AdLint is a source code static analyzer. It can point out insecure or nonportable code fragments, and can measure various quality metrics of the source code. It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly ISO C99. AdLint is written in Ruby. So, it is available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms supported by Ruby. Features Can poin
Linux愛好者の独り言 Cutterのとても簡単な使い方
「Linux愛好者の独り言」は，Linuxやプログラミングの，楽しさや初心者向け情報を配信するBLOGです。 CutterはC/C++用の単体テストユニットフレームワーク（所謂xUnit）だ。 評判が良いので，以前から使いたかったのだが，いかんせん，本家のチュートリアルが丁寧すぎてわかりにくく，使い方がわからなかった。 このチュートリアルでは，automake等を用いた本格的な使い方が書かれているので， てっきりCutterを使う時はいつもこのくらいの準備が必要なのかと思っていた。 ほんのちょっと，テストコードを書いて開発の補助にしたいだけなのに，いちいちMakefile.amだのconfigure.acだのを作るのは面倒だ。 (これが面倒でない人間はIDEなんて使わないだろう) 毎度，このチュートリアルに従うくらいなら，cxxTestでもを使うほうがましだと思った。 だが，どうやら，本家
Kazuho@Cybozu Labs: 今更 C++ で JSON パーサ「picojson」を書いたわけ
既に mattn さんが、「Big Sky :: ヘッダファイルだけでC++から使えるJSONパーサ「picojson」が凄い！」で紹介してくださっています (mattn さん、アドバイス＆バグ情報ありがとうございます!) が、いまさら C++ で JSON パーサを作りました。それは、以下の３点を満たすものがなかったから。 ヘッダファイル only boost 等、他の重たいライブラリに依存しない array や object が STL にマッピングされる コードは、coderepos に置いてありますので、よろしければお使いください (picojson.h)。 なお、現時点での制限事項として、 \n や \r, \uXXXX といったエスケープの処理が未実装rev. 34232 で対応しました (含サロゲートペア) 空白文字の判断基準が RFC と異なるrev. 34277 で空白と
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: ブレッドボード用電源モジュール (5V/3.3V) ブレッドボードつき セット: エレクトロニクス
Cppcheckで静的解析して、Jenkinsで表示してみる。 · Futurismo