Unlike other software programs, smart contact, if deployed once into a specific address, can not be modified or removed. This unique constraint make the vulnerability in smart contact far more dangerous than others. So more exhaustive testing is required.
Currently the most well-known unit testing tools for Solidity unit testing are like followings