add test cases to quickfix
implement SpecStorage; unit tests