# ATAC [[Bellcore]] が開発した C 言語プログラム向けのデータフローテストツール。テストケース集合を実行した際の**ブロックカバレッジ**・**分岐カバレッジ**・**c-use カバレッジ**・**p-use カバレッジ**を計測し、パーセンテージで報告する(例: `% blocks 33(169/516)`)。 [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 13 Software Testing and Reliability]] では、TEX・AWK という実プログラムに長年蓄積された機能テストのテストケースを適用してカバレッジを測定する実証実験(表13.1)と、binary.c という小規模プログラムを例にした静的・動的リスクモデルの計算(Risk Browser ツール)の両方の基盤として使われている。100,000 行規模のプログラムを監視できるが、実行時オーバーヘッドは通常実行の数倍に達し、テスト間のパス重複を厳密に検出する処理はさらなる計算コストを要する(Source: ch.13 §13.5.5)。 - Bellcore の匿名 FTP サイト(`flash.bellcore.com`, ディレクトリ `atac`)で配布されていた(1996年当時)。(Source: ch.13 §Problems 13.9)