最近、システム機能の高度化に加えて安全性の向上等が求められている。そのため、セキュリティ対策やフェールセーフといった非機能の追加実装が重要になってきている。しかし、機能と非機能の両方を実装したソフトウェアは非常に複雑になり、動作を十分に検証することが困難である。非機能実装後でも元の機能が正しく動作することを保証するために、非機能を自動削除し、元の機能と論理的に同じであるかどうかを解析できるコード等価性検査手法を提案する。製作者に関数単位で非機能関数を指定してもらい、その部分を自動的に特定・削除し、等価／不等価を判定する。等価であれば作業ミスがないことを保証でき、不等価であれば作業ミスを発見できる。