* 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 <batt@develer.com>
- *
- * \brief BattFs Test.
*/
-#include <cfg/debug.h>
#include <fs/battfs.h>
+#include <cfg/debug.h>
+#include <cfg/test.h>
+
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
+#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++)
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
projects / bertos.git / blobdiff