add test case for current specification