specification tests