diff --git a/src/test/java/com/example/bais/InvariantRulesTest.java b/src/test/java/com/example/bais/InvariantRulesTest.java
new file mode 100644
index 0000000..06a8848
--- /dev/null
+++ b/src/test/java/com/example/bais/InvariantRulesTest.java
@@ -0,0 +1,36 @@
+package com.example.bais;
+
+import static org.junit.jupiter.api.Assertions.*;
+import org.junit.jupiter.api.Test;
+
+public class InvariantRulesTest {
+    @Test
+    public void testAccountUniqueId() {
+        assertEquals("모든 계정은 고유한 ID를 가져야 한다.", InvariantRules.ACCOUNT_UNIQUE_ID);
+    }
+
+    @Test
+    public void testAccountEmailValid() {
+        assertEquals("계정 생성 시 이메일 주소는 유효해야 한다.", InvariantRules.ACCOUNT_EMAIL_VALID);
+    }
+
+    @Test
+    public void testAuthenticationTwoStep() {
+        assertEquals("사용자 인증은 두 단계로 진행되어야 한다.", InvariantRules.AUTHENTICATION_TWO_STEP);
+    }
+
+    @Test
+    public void testAuthorizationRoleBased() {
+        assertEquals("사용자 역할에 따라 접근 권한이 달라져야 한다.", InvariantRules.AUTHORIZATION_ROLE_BASED);
+    }
+
+    @Test
+    public void testCardEncryption() {
+        assertEquals("모든 카드 정보는 암호화되어 저장되어야 한다.", InvariantRules.CARD_ENCRYPTION);
+    }
+
+    @Test
+    public void testBatchLogRetention() {
+        assertEquals("배치 작업의 로그는 최소 30일간 보관해야 한다.", InvariantRules.BATCH_LOG_RETENTION);
+    }
+}
\ No newline at end of file