X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=app%2Fbattfs%2Fbattfs_test.c;h=839d78113e7d4c79da2b4e5cb57a0ab03cf1bb6e;hb=760437314c9e9af5fad596121de78c332129d2f5;hp=b949d0742e39f8402a62b31c49c8eed24ede8735;hpb=3fc75747c81395f9027b6b27cd03037e2a8eec08;p=bertos.git diff --git a/app/battfs/battfs_test.c b/app/battfs/battfs_test.c index b949d074..839d7811 100644 --- a/app/battfs/battfs_test.c +++ b/app/battfs/battfs_test.c @@ -26,58 +26,61 @@ * invalidate any other reasons why the executable file might be covered by * the GNU General Public License. * - * Copyright 2007 Develer S.r.l. (http://www.develer.com/) - * + * Copyright 2007, 2008 Develer S.r.l. (http://www.develer.com/) * --> * - * \version $Id: demo.c 18242 2007-10-08 17:35:23Z marco $ + * \brief BattFS Test. * + * \version $Id: demo.c 18242 2007-10-08 17:35:23Z marco $ * \author Francesco Sacchi - * - * \brief BattFs Test. */ -#include #include +#include +#include + #include #include #include +#define FILE_SIZE 32768 +#define PAGE_SIZE 128 +#define PAGE_COUNT FILE_SIZE / PAGE_SIZE + FILE *fp; const char test_filename[]="battfs_disk.bin"; -const char *filename; -#define PAGE_SIZE 128 + static bool disk_open(struct BattFsSuper *d) { - fp = fopen(filename, "r+b"); + fp = fopen(test_filename, "r+b"); ASSERT(fp); fseek(fp, 0, SEEK_END); d->page_size = PAGE_SIZE; d->page_count = ftell(fp) / d->page_size; d->page_array = malloc(d->page_count * sizeof(pgcnt_t)); - TRACEMSG("page_size:%d, page_count:%d, disk_size:%d\n", d->page_size, d->page_count, d->disk_size); + //TRACEMSG("page_size:%d, page_count:%d\n", d->page_size, d->page_count); return (fp && d->page_array); } static size_t disk_page_read(struct BattFsSuper *d, pgcnt_t page, pgaddr_t addr, void *buf, size_t size) { - TRACEMSG("page:%d, addr:%d, size:%d\n", page, addr, size); + //TRACEMSG("page:%d, addr:%d, size:%d\n", page, addr, size); fseek(fp, page * d->page_size + addr, SEEK_SET); return fread(buf, 1, size, fp); } -static size_t disk_page_write(struct BattFsSuper *d, pgcnt_t page, pgaddr_t addr, void *buf, size_t size) +static size_t disk_page_write(struct BattFsSuper *d, pgcnt_t page, pgaddr_t addr, const void *buf, size_t size) { - TRACEMSG("page:%d, addr:%d, size:%d\n", page, addr, size); + //TRACEMSG("page:%d, addr:%d, size:%d\n", page, addr, size); fseek(fp, page * d->page_size + addr, SEEK_SET); return fwrite(buf, 1, size, fp); } static bool disk_page_erase(struct BattFsSuper *d, pgcnt_t page) { - TRACEMSG("page:%d\n", page); + //TRACEMSG("page:%d\n", page); fseek(fp, page * d->page_size, SEEK_SET); for (int i = 0; i < d->page_size; i++) @@ -88,43 +91,475 @@ static bool disk_page_erase(struct BattFsSuper *d, pgcnt_t page) static bool disk_close(struct BattFsSuper *d) { - TRACE; + //TRACE; free(d->page_array); return (fclose(fp) != EOF); } -int main(int argc, char *argv[]) +static void testCheck(BattFsSuper *disk, pgcnt_t *reference) +{ + ASSERT(battfs_init(disk)); + + for (int i = 0; i < disk->page_count; i++) + { + if (disk->page_array[i] != reference[i]) + { + kprintf("Error at addr %d: page_array read", i); + for (pgcnt_t i = 0; i < disk->page_count; i++) + { + if (!(i % 16)) + kputchar('\n'); + kprintf("%04d ", disk->page_array[i]); + } + kputchar('\n'); + kprintf("Expected:"); + for (pgcnt_t i = 0; i < disk->page_count; i++) + { + if (!(i % 16)) + kputchar('\n'); + kprintf("%04d ", reference[i]); + } + kputchar('\n'); + battfs_close(disk); + exit(2); + } + } + battfs_close(disk); +} + +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) { - if (argc < 2) + 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++) { - FILE *fpt = fopen(test_filename, "w+"); - for (int i = 0; i < 32768; i++) - fputc(0xff, fpt); - fclose(fpt); - filename = test_filename; + battfs_writeTestBlock(disk, i, 0, 0, 0, i, MARK_PAGE_VALID); + ref[i] = i; } - else - filename = argv[1]; + 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"); +} + +static void test10(BattFsSuper *disk) +{ + BattFS fd1; + BattFS fd2; + kprintf("Test10: open file test, inode 0 and inode 4\n"); + + fp = fopen(test_filename, "w+"); + + unsigned int PAGE_FILL = 116; + unsigned int INODE = 0; + unsigned int INODE2 = 4; + unsigned int INEXISTENT_INODE = 123; + unsigned int MODE = 0; + + battfs_writeTestBlock(disk, 0, 123, 0, PAGE_FILL, 0, 1235); + battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 4, INODE2, 0, PAGE_FILL, 0, 1236); + battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1, MARK_PAGE_VALID); + + fclose(fp); + + ASSERT(battfs_init(disk)); + ASSERT(!battfs_fileExists(disk, INEXISTENT_INODE)); + + ASSERT(battfs_fileExists(disk, INODE)); + ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE)); + ASSERT(fd1.fd.size == PAGE_FILL * 2); + ASSERT(fd1.fd.seek_pos == 0); + ASSERT(fd1.mode == MODE); + ASSERT(fd1.inode == INODE); + ASSERT(fd1.start == &disk->page_array[0]); + ASSERT(fd1.disk == disk); + ASSERT(LIST_HEAD(&disk->file_opened_list) == &fd1.link); + + ASSERT(kfile_reopen(&fd1.fd) == &fd1.fd); + ASSERT(fd1.fd.size == PAGE_FILL * 2); + ASSERT(fd1.fd.seek_pos == 0); + ASSERT(fd1.mode == MODE); + ASSERT(fd1.inode == INODE); + ASSERT(fd1.start == &disk->page_array[0]); + ASSERT(fd1.disk == disk); + ASSERT(LIST_HEAD(&disk->file_opened_list) == &fd1.link); + + ASSERT(battfs_fileExists(disk, INODE2)); + ASSERT(battfs_fileopen(disk, &fd2, INODE2, MODE)); + ASSERT(fd2.fd.size == PAGE_FILL * 2); + ASSERT(fd2.fd.seek_pos == 0); + ASSERT(fd2.mode == MODE); + ASSERT(fd2.inode == INODE2); + ASSERT(fd2.start == &disk->page_array[2]); + ASSERT(fd2.disk == disk); + ASSERT(LIST_HEAD(&disk->file_opened_list)->succ == &fd2.link); + + ASSERT(kfile_close(&fd1.fd) == 0); + ASSERT(kfile_close(&fd2.fd) == 0); + ASSERT(LIST_EMPTY(&disk->file_opened_list)); + ASSERT(battfs_close(disk)); + + kprintf("Test10: passed\n"); +} + +static void test11(BattFsSuper *disk) +{ + BattFS fd1; + uint8_t buf[16]; + + kprintf("Test11: read file test\n"); + + fp = fopen(test_filename, "w+"); + + unsigned int PAGE_FILL = 116; + unsigned int INODE = 0; + unsigned int INODE2 = 4; + unsigned int MODE = 0; + + battfs_writeTestBlock(disk, 0, 123, 0, PAGE_FILL, 0, 1235); + battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 4, INODE2, 0, PAGE_FILL, 0, 1236); + battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1, MARK_PAGE_VALID); + + fclose(fp); + + ASSERT(battfs_init(disk)); + ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE)); + ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf)); + ASSERT(fd1.fd.seek_pos == sizeof(buf)); + for (size_t i = 0; i < sizeof(buf); i++) + ASSERT(buf[i] == 0); + + ASSERT(kfile_close(&fd1.fd) == 0); + ASSERT(battfs_close(disk)); + + kprintf("Test11: passed\n"); +} + +static void test12(BattFsSuper *disk) +{ + BattFS fd1; + + kprintf("Test12: read file test across page boundary and seek test\n"); + + fp = fopen(test_filename, "w+"); + + const unsigned int PAGE_FILL = 116; + unsigned int INODE = 0; + unsigned int MODE = 0; + uint8_t buf[PAGE_FILL + 10]; + + battfs_writeTestBlock(disk, 0, 123, 0, PAGE_FILL, 0, 1235); + battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 4, INODE, 0, PAGE_FILL, 0, 1236); + battfs_writeTestBlock(disk, 5, INODE, 0, PAGE_FILL, 2, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 6, INODE, 1, PAGE_FILL, 3, MARK_PAGE_VALID); + battfs_writeTestBlock(disk, 7, INODE, 0, PAGE_FILL, 3, MARK_PAGE_VALID); + + fclose(fp); + + ASSERT(battfs_init(disk)); + ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE)); + + ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf)); + ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf)); + for (size_t i = 0; i < sizeof(buf); i++) + ASSERT(buf[i] == 0); + + ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf)); + ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 2); + for (size_t i = 0; i < sizeof(buf); i++) + ASSERT(buf[i] == 0); + + ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf)); + ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 3); + for (size_t i = 0; i < sizeof(buf); i++) + ASSERT(buf[i] == 0); + + ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == 86); + ASSERT(fd1.fd.seek_pos == (kfile_off_t)fd1.fd.size); + for (size_t i = 0; i < 86; i++) + ASSERT(buf[i] == 0); + + ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0); + ASSERT(fd1.fd.seek_pos == 0); + + ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_END) == (kfile_off_t)fd1.fd.size); + ASSERT(fd1.fd.seek_pos = (kfile_off_t)fd1.fd.size); + + ASSERT(kfile_close(&fd1.fd) == 0); + ASSERT(battfs_close(disk)); + + kprintf("Test12: passed\n"); +} + + +int battfs_testRun(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); + test10(&disk); + test11(&disk); + test12(&disk); + kprintf("All tests passed!\n"); - if (battfs_init(&disk)) - { - kprintf("page_array:\n"); - for (pgcnt_t i = 0; i < disk.page_count; i++) - { - if (!(i % 16)) - kputchar('\n'); - kprintf("%04d ", disk.page_array[i]); - } - kputchar('\n'); - return 0; - } - else - return 1; + return 0; +} + +#if UNIT_TEST + +int battfs_testSetup(void) +{ + return 0; +} + +int battfs_testTearDown(void) +{ + return 0; +} + +TEST_MAIN(battfs) + +#include "fs/battfs.c" +#include "drv/kdebug.c" +#include "mware/formatwr.c" +#include "mware/hex.c" + +#else +int main(void) +{ + return battfs_testRun(); } +#endif // _TEST