Unit tested specification