トランザクションのモデル検査 - cr-ryukyu

トランザクションのモデル検査

SimpleDBをモデル検査したい

その1 SimpleDBのモデル検査-環境構築

その2 SimpleDBのテストの実行(成功)+モデル検査(失敗)

その3 SimpleDBのディスクIOをメモリIOに置換してモデル検査(失敗)

メモリIOのみで表現したトランザクションのインターフェースでモデル検査をする

その1 抽象化されたTransactionを実装する

↑成功