spec2test
