３．２ サンプルグラバによる静止画取得 VB2008で自動変換でうまく動きました。 使用していたWEBカメラのドライバーは以下にありました。 These are CIF drivers from Sakar: http://www.sakar.com/images/resources/download-driver/cifA.zipドット毎の色情…

C言語でTDDを行う場合、また組込み系でTDDを行う場合、色々問題が発生する。 スタブ関数名の競合 クロスコンパイル環境(実機の容量不足、実機用CPUで使えるツールが少ない(カバレッジ計測など)） グローバル変数の使い過ぎで単体テスト不可 私の場合は以下の…

coqを使うと証明駆動開発ができるらしい。 以下でインストール方法が説明されている。 http://d.hatena.ne.jp/yoshihiro503/20070706以下でWindows版をDLできる。 http://coq.inria.fr/download以下に投稿サイトがある。 http://as305.dyndns.org/aps/ Coqで…