>>31
ふむ。知識がないわけじゃないんだね。
切り分ければ
・仕様がおかしい
・それらのチェック手法自体が原理的に不完全である
・チェックの内容を作るときに不完全なものを作ってしまう
となるが、2-3 を解決したいのかな？

>>33
入力も出力もビットマップなら、仕様を満たすだけの入力と出力の対を用意してテストすればよいのでは？
もちろん仕様外のバグについては見つからないが。