diff --git a/src/test/java/edu/kit/typicalc/model/step/ConstStepDefaultTest.java b/src/test/java/edu/kit/typicalc/model/step/ConstStepDefaultTest.java
new file mode 100644
index 0000000..1d4d038
--- /dev/null
+++ b/src/test/java/edu/kit/typicalc/model/step/ConstStepDefaultTest.java
@@ -0,0 +1,63 @@
+package edu.kit.typicalc.model.step;
+
+import edu.kit.typicalc.model.Conclusion;
+import edu.kit.typicalc.model.Constraint;
+import edu.kit.typicalc.model.term.IntegerTerm;
+import edu.kit.typicalc.model.term.VarTerm;
+import edu.kit.typicalc.model.type.NamedType;
+import edu.kit.typicalc.model.type.TypeAbstraction;
+import org.junit.jupiter.api.BeforeAll;
+import org.junit.jupiter.api.Test;
+
+import java.util.HashMap;
+import java.util.Map;
+
+import static org.junit.jupiter.api.Assertions.*;
+
+class ConstStepDefaultTest {
+    static Conclusion conclusion = null;
+    static Constraint constraint = null;
+    static NamedType namedType = null;
+    static TypeAbstraction typeAbstraction = null;
+    @BeforeAll
+    static void setUp() {
+        Map<VarTerm, TypeAbstraction> map = new HashMap<>();
+        VarTerm term = new VarTerm("test");
+        namedType = new NamedType("testType");
+        typeAbstraction = new TypeAbstraction(namedType);
+        map.put(term, typeAbstraction);
+        IntegerTerm integerTerm = new IntegerTerm(1);
+        conclusion = new Conclusion(map, integerTerm, namedType);
+        NamedType type1 = new NamedType("a");
+        NamedType type2 = new NamedType("b");
+        constraint = new Constraint(type1, type2);
+    }
+    @Test
+    void equalsTest() {
+        ConstStepDefault step1 = new ConstStepDefault(conclusion, constraint);
+        ConstStepDefault step2 = new ConstStepDefault(conclusion, constraint);
+        ConstStepDefault step3 = new ConstStepDefault(conclusion, null);
+
+        assertEquals(step1, step1);
+        assertEquals(step1, step2);
+        assertNotEquals(step1, new EmptyStep());
+        assertNotEquals(step1, step3);
+
+    }
+    @Test
+    void hashCodeTest() {
+        ConstStepDefault step1 = new ConstStepDefault(conclusion, constraint);
+        ConstStepDefault step2 = new ConstStepDefault(conclusion, constraint);
+
+        assertEquals(step1.hashCode(), step2.hashCode());
+    }
+
+    @Test
+    void acceptTest() {
+        TestStepVisitor testStepVisitor = new TestStepVisitor();
+        ConstStepDefault step = new ConstStepDefault(conclusion, constraint);
+        step.accept(testStepVisitor);
+        assertEquals("ConstDef", testStepVisitor.visited);
+    }
+
+}
\ No newline at end of file