+ {
+ kprintf("Error in battfs_init\n");
+ exit(1);
+ }
+}
+
+static void test1(BattFsSuper *disk)
+{
+ pgcnt_t ref[PAGE_COUNT];
+ kprintf("Test1: disk new\n");
+
+ FILE *fpt = fopen(test_filename, "w+");
+
+ for (int i = 0; i < FILE_SIZE; i++)
+ fputc(0xff, fpt);
+ fclose(fpt);
+ for (int i = 0; i < PAGE_COUNT; i++)
+ ref[i] = PAGE_COUNT - i - 1;
+
+ testCheck(disk, ref);
+ kprintf("Test1: passed\n");
+}
+
+static void test2(BattFsSuper *disk)
+{
+ pgcnt_t ref[PAGE_COUNT];
+ kprintf("Test2: disk full with 1 contiguos file\n");
+
+
+ fp = fopen(test_filename, "w+");
+
+ for (int i = 0; i < PAGE_COUNT; i++)
+ {
+ battfs_writeTestBlock(disk, i, 0, 0, 0, i, MARK_PAGE_VALID);
+ ref[i] = i;
+ }
+ fclose(fp);
+
+ testCheck(disk, ref);
+ kprintf("Test2: passed\n");
+}
+
+
+static void test3(BattFsSuper *disk)
+{
+ pgcnt_t ref[PAGE_COUNT];
+ kprintf("Test3: disk half full with 1 contiguos file, rest unformatted\n");
+
+
+ fp = fopen(test_filename, "w+");
+
+ for (int i = 0; i < PAGE_COUNT / 2; i++)
+ {
+ battfs_writeTestBlock(disk, i, 0, 0, 0, i, MARK_PAGE_VALID);
+ ref[i] = i;
+ }
+ fseek(fp, FILE_SIZE / 2, SEEK_SET);
+ for (int i = FILE_SIZE / 2; i < FILE_SIZE; i++)
+ fputc(0xff, fp);
+ fclose(fp);
+
+ for (int i = PAGE_COUNT / 2; i < PAGE_COUNT; i++)
+ {
+ ref[i] = PAGE_COUNT + PAGE_COUNT / 2 - i - 1;
+ }
+
+
+ testCheck(disk, ref);
+ kprintf("Test3: passed\n");
+}
+
+static void test4(BattFsSuper *disk)
+{
+ pgcnt_t ref[PAGE_COUNT];
+ kprintf("Test4: disk half full with 1 contiguos file, rest marked free\n");
+
+
+ fp = fopen(test_filename, "w+");
+
+ for (int i = 0; i < PAGE_COUNT / 2; i++)
+ {
+ battfs_writeTestBlock(disk, i, 0, 0, 0, i, MARK_PAGE_VALID);
+ ref[i] = i;
+ }
+ for (int i = PAGE_COUNT / 2; i < PAGE_COUNT; i++)
+ {
+ battfs_writeTestBlock(disk, i, 0, 0, 0, i, i);
+ ref[i] = i;
+ }
+ fclose(fp);
+
+
+ testCheck(disk, ref);
+ kprintf("Test4: passed\n");
+}
+
+static void test5(BattFsSuper *disk)
+{
+ pgcnt_t ref[PAGE_COUNT];
+ kprintf("Test5: disk 1/3 full with 1 contiguos file, 1/3 marked free, rest unformatted\n");
+
+
+ fp = fopen(test_filename, "w+");
+
+ for (int i = 0; i < FILE_SIZE; i++)
+ fputc(0xff, fp);
+
+ for (int i = 0; i < PAGE_COUNT / 3; i++)
+ {
+ battfs_writeTestBlock(disk, i, 0, 0, 0, i, MARK_PAGE_VALID);
+ ref[i] = i;
+ }
+ for (int i = PAGE_COUNT / 3; i < 2 * (PAGE_COUNT / 3); i++)
+ {
+ battfs_writeTestBlock(disk, i, 0, 0, 0, i, i);
+ ref[i + PAGE_COUNT / 3 + 1] = i;
+ }
+ fclose(fp);
+
+ for (int i = PAGE_COUNT / 3; i < 2 * (PAGE_COUNT / 3) + 1; i++)
+ ref[i] = PAGE_COUNT + PAGE_COUNT / 3 - i - 1;
+
+ testCheck(disk, ref);
+ kprintf("Test5: passed\n");
+}
+
+static void test6(BattFsSuper *disk)
+{
+ pgcnt_t ref[4];
+ kprintf("Test6: 1 file with 1 old seq num, 1 free block\n");
+
+
+ fp = fopen(test_filename, "w+");
+
+ battfs_writeTestBlock(disk, 0, 0, 0, 0, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 1, 0, 0, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 2, 0, 1, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 3, 0, 0, 0, 0, 123);
+
+ fclose(fp);
+ ref[0] = 0;
+ ref[1] = 2;
+ ref[2] = 3;
+ ref[3] = 1;
+
+ testCheck(disk, ref);
+ kprintf("Test6: passed\n");
+}
+
+static void test7(BattFsSuper *disk)
+{
+ pgcnt_t ref[4];
+ kprintf("Test7: 1 file with 1 old seq num, 1 free block\n");
+
+
+ fp = fopen(test_filename, "w+");
+
+ battfs_writeTestBlock(disk, 0, 0, 0, 0, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 1, 0, 1, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 2, 0, 0, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 3, 0, 0, 0, 0, 123);
+
+ fclose(fp);
+ ref[0] = 0;
+ ref[1] = 1;
+ ref[2] = 3;
+ ref[3] = 2;
+
+ testCheck(disk, ref);
+ kprintf("Test7: passed\n");
+}
+
+static void test8(BattFsSuper *disk)
+{
+ pgcnt_t ref[4];
+ kprintf("Test8: 1 file with 1 old seq num, 1 free block\n");
+
+
+ fp = fopen(test_filename, "w+");
+
+ battfs_writeTestBlock(disk, 0, 0, 0, 0, 0, 1235);
+ battfs_writeTestBlock(disk, 1, 0, 0, 0, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 2, 0, 1, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 3, 0, 0, 0, 1, MARK_PAGE_VALID);
+
+
+ fclose(fp);
+ ref[0] = 1;
+ ref[1] = 2;
+ ref[2] = 0;
+ ref[3] = 3;
+
+ testCheck(disk, ref);
+ kprintf("Test8: passed\n");
+}
+
+static void test9(BattFsSuper *disk)
+{
+ pgcnt_t ref[8];
+ kprintf("Test9: 2 file with old seq num, 2 free block\n");
+
+
+ fp = fopen(test_filename, "w+");
+
+ battfs_writeTestBlock(disk, 0, 0, 0, 0, 0, 1235);
+ battfs_writeTestBlock(disk, 1, 0, 0, 0, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 2, 0, 3, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 3, 0, 0, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 4, 0, 0, 0, 0, 1236);
+ battfs_writeTestBlock(disk, 5, 4, 0, 0, 0, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 6, 4, 1, 0, 1, MARK_PAGE_VALID);
+ battfs_writeTestBlock(disk, 7, 4, 0, 0, 1, MARK_PAGE_VALID);
+
+
+ fclose(fp);
+ ref[0] = 1;
+ ref[1] = 3;
+ ref[2] = 5;
+ ref[3] = 6;
+ ref[4] = 0;
+ ref[5] = 4;
+ ref[6] = 2;
+ ref[7] = 7;
+
+ testCheck(disk, ref);
+ kprintf("Test9: passed\n");
+}
+
+
+
+
+int main(void)
+{
+ BattFsSuper disk;
+
+ disk.open = disk_open;
+ disk.read = disk_page_read;
+ disk.write = disk_page_write;
+ disk.erase = disk_page_erase;
+ disk.close = disk_close;
+ test1(&disk);
+ test2(&disk);
+ test3(&disk);
+ test4(&disk);
+ test5(&disk);
+ test6(&disk);
+ test7(&disk);
+ test8(&disk);
+ test9(&disk);
+ kprintf("All test passed!\n");
+
+ return 0;