Testing function writing

[lwaekfjlk]

For the implementation of testing functions, it should not only check its type. If only type-checking, it is equivalent to dynamic type-testing. We need to mock concrete input to check whether the output is as expected or not.