スプリントとテストカバレッジの分析？

Question

私は、コードのテストカバレッジ分析も生成する、splintの成熟度を持つ静的解析ツールを探しています。例えば、libfoo.cの非静的関数はすべてlibfoo.hになければなりません。そのトークンによってlibfoo.hのすべての関数は単体テストを持つべきです。

もちろん、このような振る舞いには何らかの細かい制御が必要ですが、これは静的解析ツールのスタートアップコンフィギュレーションファイルで定義されます。

私は非常に迅速に動くプロジェクトに取り組んでいます。あらゆる種類のものが毎日追加されていますが、私はユニットテストのカバレッジを十分に保つのに役立つ静的解析ツールを見つけたいと考えています。その地理的に分散した大規模なチームは、24時間365日勤務していることを意味し、夜間にはスマートになるためのビルドが必要です。

スーパースマートにする必要はありません。明示的にスコープから外されていない限り、何かがテストされていなければビルドを中断する必要があります。

CCANは何か類似のものに取り組んでいますが、実際に何かが書かれるまでには数カ月かかるでしょう。私はまた成熟したものが必要です。

宝石へのリンクがありがとうございます。

Answer 1

GCCのドキュメントでは、コードカバレッジ分析のために読者にgcovが示されています。この2005年のDr. DobbsのDefensive programmingに関する記事では、gcovの使用方法について説明しています。

Answer 2

あなたがチェックアウトに興味があるかもしれません：What is the best command-line tool to clean up code?私はそれが助けになるか分からないが、そこに多くの素晴らしい提案があります。