C++ API

• 基本的なデータ構造
  • 回路構造を表すクラス
  • 故障を表すクラス
  • 値の割り当てを表すクラス
• 故障シミュレーター
  • 故障シミュレーターの初期化
  • 故障のスキップマークに関する操作
  • 単一故障単一パタンの故障シミュレーションを行う．
  • 故障並列シミュレーションを行う．
  • パタン並列シミュレーションを行う．
• テスト生成
  • 処理の概要
  • テスト生成問題を表す CNF の生成
  • SAT問題から値を取り出す．
  • 故障の検出条件の抽出
  • 正当化
• 故障検出条件生成
  • アルゴリズムの概要