2009-03-31 合成テスト 研究 主テーマ 情処の投稿論文で手で計算したところがあるので、これをticc改で動かす ことを再構築中。いきなりABCD型の例題をかましてみるも、連動演算を挿入する ことにより、本来ならば単純な直積よりも遷移系の規模が小さくなるはずのに、 同じ遷移数と状態数。なにか変だ。論文を見返すと、小さな例ABCであった。しまった。まずはこれから。。。というところで時間切れ、少しづつ。