Dalam kurikulum pendidikan di Indonesia, salah satu mata pelajaran yang diajarkan di sekolah adalah matematika. Matematika merupakan salah satu pelajaran pokok yang sudah ada sejak pendidikan dasar dan dapat membentuk pola pikir yang logis, sistematis, kritis dan kreatif. Pengembangan ini bertujuan untuk menghasilkan tes formatif berbasis HOTS yang valid dan dapat digunakan sebagai instrumen untuk menilai keterampilan berpikir tingkat tinggi matematika siswa. Model pengembangan yang digunakan adalah model pengembangan Formatif Research menurut Tessmer dengan tahapan pengembangan yaitu tahap Preliminary, tahap Self Evaluation, dan Expert Review. Hasil penelitian dalam pengembangan ini berupa 10 butir soal Pilihan Ganda dengan masing-masing soal berbasis HOTS yang dapat digunakan untuk mengukur tes formatif matematika siswa. Soal yang dihasilkan mengambil pokok bahasan himpunan untuk siswa SMP kelas VII. Berdasarkan hasil analisis uji validitas oleh dosen ahli, diperoleh skor 3,4 yang masuk dalam kriteria “valid” sehingga dapat diambil kesimpulan bahwa hasil pengembangan butir soal tes formatif ini menunjukkan butir soal tes formatif yang dibuat dalam penelitian ini dapat dikatakan valid.