タグ

単体テストに関するmwadaのブックマーク (2)

  • ソフトウェア不具合は早期段階で解決せよ!――革新的な静的コード解析技術の全貌

    ソフトウェア開発において、従来の静的解析ツールでは誤検知率が高い、小規模なコードベースに制限されてしまうなどの問題があった。しかし、スタンフォード大学の研究所で生まれた革新的な技術をベースにすることで、そういった問題を克服した革新的な静的コード解析ツールがある。 lintなどの静的解析ツールは、ソースコードそのものを解析し、不適切なコーディングや論理構造を検出するのに役立つ。ただ、これまでの静的解析ツールは誤検出が多く、信頼性に疑問があった。 そういったさまざまな問題を解決した画期的な静的解析ツールがある。このツールでは、スタンフォード大学のコンピュータシステム研究所で生まれた革新的技術を採用し、何百万行ものソースコードをすばやく解析して、バグを検知できるようにした。コンパイラが生成した中間コードも参照し、仮想環境でビルドおよび解析を実行する。このため、以前のツールよりも精度の高い解析が可

    ソフトウェア不具合は早期段階で解決せよ!――革新的な静的コード解析技術の全貌
  • C++アプリケーションの効率的なテスト手法(CppUnit編) ― @IT

    第2回 C++アプリケーションの効率的なテスト手法(CppUnit編):連載 C++開発者のための単体テスト入門(1/4 ページ) 連載目次 前回は単体テストの重要性を示し、従来のC/C++でのテスト手法であるprintf関数やassertマクロを使ったテストを紹介しました。この2つのテスト手法は開発環境(コンパイラとライブラリ)さえあれば利用でき、その使い方も簡単です。しかしながら、いずれも系統立てて、効率よくテストを行うには力不足の感が否めません。 今回は、Visual C++ 2005 Express Editionを含むVisual Studio 2005(以後、VS 2005)で利用できる代表的な単体テスト・フレームワーク(Unit Test Framework)の1つである「CppUnit」を紹介します。 ■単体テスト・フレームワークとは? 前回、「バグは早期発見が望ましい。早

    C++アプリケーションの効率的なテスト手法(CppUnit編) ― @IT
  • 1