"Solidity智能合约质量保证工具Deviant：突变测试的创新应用"

In recent years, the popularity of blockchain has experienced explosive growth, with Ethereum being one of the leading blockchain platforms. Solidity is a widely used scripting language for creating smart contracts in Ethereum applications. Quality assurance in Solidity contracts is crucial, as errors or vulnerabilities can lead to significant financial losses. However, it is currently unclear the extent to which many of these applications provide quality assurance. Mutation testing is the process of intentionally injecting faults into the target program and then running a test suite against the various injected errors. Mutation testing is used to evaluate the effectiveness of a test suite and measure its ability to cover certain types of faults. This thesis introduces Deviant, the first implementation of a mutation testing tool for Solidity smart contracts. Deviant implements mutation operators that cover unique features of Solidity based on a fault model we constructed, as well as traditional mutation operators used for other programming languages. By utilizing Deviant, developers can assess the effectiveness of their test suites, identify potential vulnerabilities in their smart contracts, and improve the overall quality assurance of their applications. The tool provides a valuable resource for the Ethereum community to enhance the security and reliability of smart contracts. The research conducted in this thesis contributes to the ongoing efforts to ensure the robustness and trustworthiness of blockchain applications, particularly those built on the Ethereum platform. Deviant serves as a critical tool in the arsenal of developers seeking to create secure and reliable smart contracts, ultimately helping to protect financial assets and uphold the integrity of the blockchain ecosystem.