結果が(実質的に)変わらない場合、その結果はチェックされた変数の「特定の代替操作に対して堅牢である」と表現される。