タグ

静的解析に関するtako222のブックマーク (5)

  • Clang Static Analyzer

    The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs. Currently it can be run either from the command line or if you use macOS then within Xcode. When invoked from the command line, it is intended to be run in tandem with a build of a codebase. The analyzer is 100% open source and is part of the Clang project. Like the rest of Clang, the anal

  • コード解析の自動化(2)高度な静的解析から構造解析まで

    前回は、ソースコードの静的解析ツールがいかに有効で、プログラマにとって必須のツールであるかを紹介しました。コーディング規約チェックや潜在バグチェックでも、プログラムの品質を高める十分な効果が得られます。ただし最近では、より高機能な静的解析ツールがあります。今回はそれらを紹介します。 複数クラスにまたがった問題を静的解析するツール 前回紹介したCheckstyleやFindBugsは、一つのファイルが解析対象です。つまり複数のファイル(クラス)にまたがった問題によって生じるバグの検出には適していません。また、どちらも基的にはある決められたパターンに従っているかどうかをチェックする仕組みをとっていますので、あらかじめ用意されたパターン以上の解析はできません。 一方、複数のファイルにまたがって関数(メソッド)の呼び出しを追跡しながら、プログラムの実行をシミュレートする高度な静的解析ツールもあり

    コード解析の自動化(2)高度な静的解析から構造解析まで
  • コード解析の自動化(1)ソースコードのスタイル、作法チェック

    システム開発において、ソースコードの品質を担保するためにはソースコードレビューが不可欠です。ソースコードレビューには主に、以下の三つの役割があります。 コーディング規約順守のチェック バグ埋め込みのチェック 性能劣化のチェック これらのチェックは、実装(コーディング)工程で行うべきものです。コーディング規約の違反箇所は、実装工程の後では修正される機会は少なくなります。また性能問題を放っておくと、システムテストなどかなり後の工程で明るみ出て、リリースまでに残された少ない時間の中で対応を余儀なくされるといった事態になりかねません。 このように、ソースコードレビューには、その後の工程で補うことができない大きなメリットがあります。繰り返しますが、ソースコードレビューは必ず行うべきです。しかし実際の開発現場では、以下のような制約により、十分にソースコードレビューを行えないことがあります。 必要なスキ

    コード解析の自動化(1)ソースコードのスタイル、作法チェック
  • ソースコードを読むための技術

    $Id: readingcode.html,v 1.13 2003/12/06 00:01:08 aamine Exp $ 2006-05-02 gonzui 追加。thanks: 冨山さん 2003-12-03 ltrace と sotrace を追加 2003-12-03 ツールのところに DDD を追加。thanks: 和田さん 2003-05-27 VCG, SXT などについて追加。thanks: 梅沢さん 2003-05-27 これもすっかり忘れていた strace, ktrace, truss, etags などについて追加 2002-08-30 すっかり忘れていた ctags を追加 2002-07-07 匿名希望さんからメールでいただいた情報を追加 (動的コールグラフ) 2002-06-13 日記経由でいただいた意見をもとに文章を追加。thanks: 柳川さん、まつもとさ

  • swtest.jp/wiki/tools - PukiWiki

    テストツール情報サイト † 不具合からの脱却!テスト自動化ツール研究 / 「テスト自動化ツール」選定の厳しい視点(無償の会員登録が必要) 2008/7/14 キーマンズネット / IT製品解体新書 http://www.keyman.or.jp/3w/prd/51/30002651/ (引用)Webシステムの品質に対する意識は高まってきているが、十分なテストの実施はそう容易なことではない。また、ソフトウェアは社会生活の中に奥深く入り込むようになったことから、その不具合がもたらす社会的・経済的損失は深刻さを増すばかりだ。こうした背景のもと、最近の開発プロジェクトではテスト工程を分業することが重要視されるようになり、ソフトウェアテストの自動化ツール効果的な利用に注目が集まるようになってきた。そこで今回はソフトウェアテストの自動化ツールにスポットを当てその基から最新動向までをわかりやすく解説す

  • 1