Automated testing of smart contracts PlatON