add testcase & format code