[論文レビュー] MuSe: a Mutation Testing Plugin for the Remix IDE

Gerardo Iuliano, Daniele Carangelo+2 more|arXiv (Cornell University)|Mar 24, 2026

Software Testing and Debugging Techniques被引用数 0

ひとこと要約

MuSeはSolidityコントラクトへ脆弱性を注入しテストスイートを評価する50個のミューテーション演算子を提供するRemix-IDEプラグインであり、ASTレベルの変異と一般的なフレームワークとの統合を用いて検査を行う。Slitherによる検知評価も実施。

ABSTRACT

Mutation testing is a technique to assess the effectiveness of test suites by introducing artificial faults into programs. Although mutation testing plugins are available for many platforms and languages, none is currently available for Remix-IDE, the most widely used Integrated Development Environment for the entire contract development journey, used by users of all knowledge levels, and serves as a learning lab for teaching and experimenting with Ethereum. The quality and security of smart contracts are crucial in blockchain systems, as even minor issues can result in substantial financial losses. This paper proposes MuSe, a mutation testing plugin for the Remix-IDE. MuSe includes traditional, Solidity-specific, and security-oriented mutation operators. Its integration into the Remix-IDE eliminates the need for additional setup and lowers the entry barrier. As a result, developers and researchers can immediately leverage mutation testing to assess the effectiveness of their test suites and identify potential issues in smart contracts. We provide a demo video showing MuSe: https://www.youtube.com/watch?v=MIFk9exTDu0 and its repository: https://github.com/GerardoIuliano/MuSe-Remix-Plugin.

研究の動機と目的

• Remix-IDEへの直接統合を通じてSolidityのミューテーション検査を高度化する。
• セキュリティ指向を含む包括的なミューテーション演算子セットを提供する。
• ミューテーションからテスト実行・報告まで、Remix内でエンドツーエンドのミューテーション検査ワークフローを有効化する。
• 脆弱性検出器のための脆弱データセットのベンチマークと生成を可能にする。

提案手法

• Visitorパターンを用いてSolidity ASTを変異させるためにSuMoとSolidity-parser-antlrの上に構築。
• 新たに6つのセキュリティ指向演算子を追加して合計50のミューテーションを達成。
• Operator OptimizationsとTrivial Compiler Equivalenceを適用して冗長なミュータントを削減。
• 設定ファイルとCLIを介してTruffle、Hardhat、Brownie、Foundryと統合。
• すぐにIDEで使えるDockerベースのインストールとRemixローカルプラグインワークフローを提供。
• リアルタイムでミューテントを生成・記録し、HTMLミューテーションレポートを作成。

Figure 1: Architecture of the MuSe plugin

実験結果

リサーチクエスチョン

• RQ1 MuSeは広範なSolidityコントラクトに対してセキュリティ指向の脆弱性を効果的に注入できるか。
• RQ2 実世界のコントラクトにおける6つのセキュリティ指向演算子の注入率と分布はどうなるか。
• RQ3 MuSe生成ミューテントに対するSlitherの検知精度はどの程度か、それはテストスイートの有効性にどう意味するか。
• RQ4 IDE統合はスマートコントラクト検査の使いやすさ、採用、迅速なフィードバックにどのように影響するか。

主な発見

演算子	変異SC数	# ミューテーション	注入率
UR	33,910	213,912	71.50%
TX	32,250	65,825	68.00%
CL	26,604	61,687	56.00%
UC	4,094	4,992	8.60%
US	2,248	3,928	4.70%
DTU	113	149	0.23%
-	-	350,493	34.83%

• MuSeは生成ミューテントを約840%拡張して脆弱データセットを増加させる。
• 6つのセキュリティ指向演算子は注入率にばらつきがあり、UR（未使用の戻り値）、TX（tx.origin）、CL（ループ内の複数呼び出し）が最も注入されやすい。
• Slitherは注入された脆弱性を回収するが成功率は異なり、UCとUSは recallsが1.000、CLは0.810、URは0.605、TXは0.336、DTUは0.100、平均は0.597。
• 最も一般的な注入はURで、213,912個のミューテントから33,910のコントラクトにおいて71.50%を占める。
• MuSeはRemix-IDEと4つのテストフレームワークとの直接統合をサポートし、エンドツーエンドのミューテーション、テスト、HTMLレポートを可能にする。

Figure 2: MuSe user interface in Remix-IDE