testing with phpspec