Introduce test framework for LITMUS^RT.

This is the beginning of the LITMUS^RT testsuite.
The main design goals are flexibility and ease of test writing.

To create a new test, simply write a test case in any C file in the
tests/ subdirectory. The buildsystem will find the test and hook it
up with the testrunner.

Have a look at tests/fdso.c and include/tests.h to get an idea for what
tests look like.

Tests can be executed with the 'runtests' tool. Each testcase is executed
in a separate process in order to ensure that tests do not influence
each other.

1 files changed, 77 insertions, 0 deletions

diff --git a/tests/runner.c b/tests/runner.c
new file mode 100644
index 0000000..f2e42b2
--- /dev/null
+++ b/tests/runner.c
@@ -0,0 +1,77 @@
+#include <fcntl.h>
+#include <unistd.h>
+
+#include <sys/wait.h>
+
+#include <string.h>
+#include <stdio.h>
+
+
+/* auto generated by SConstruct */
+#include "__test_catalog.inc"
+
+#include "litmus.h"
+
+int run_test(struct testcase *tc) {
+        int status;
+        pid_t pid;
+
+        printf("** Testing: %s... ", tc->description);
+        fflush(stdout);
+        SYSCALL( pid = fork() );
+        if (pid == 0) {
+                /* child: init liblitmus and carry out test */
+                SYSCALL( init_litmus() );
+                tc->function();
+                exit(0);
+        } else {
+                /* parent: wait for completion of test */
+                SYSCALL( waitpid(pid, &status, 0) );
+                if (WEXITSTATUS(status) == 0)
+                        printf("ok.\n");
+        }
+        return WEXITSTATUS(status) == 0;
+}
+
+int run_tests(int* testidx, int num_tests, const char* plugin)
+{
+        int idx, i;
+        int ok = 0;
+
+        printf("** Running tests for %s.\n", plugin);
+        for (i = 0; i < num_tests; i++) {
+                idx = testidx[i];
+                ok += run_test(test_catalog + idx);
+        }
+        return ok;
+}
+
+#define streq(s1, s2) (!strcmp(s1, s2))
+
+int main(int argc, char** argv)
+{
+        int ok, i;
+
+        printf("** LITMUS^RT test suite.\n");
+
+        if (argc == 2) {
+                for (i = 0; i < NUM_PLUGINS; i++)
+                        if (streq(testsuite[i].plugin, argv[1])) {
+                                ok = run_tests(testsuite[i].testcases,
+                                               testsuite[i].num_cases,
+                                               testsuite[i].plugin);
+                                printf("** Result: %d ok, %d failed.\n",
+                                       ok, testsuite[i].num_cases - ok);
+                                return ok == testsuite[i].num_cases ? 0 : 3;
+                        }
+                fprintf(stderr, "** Unknown plugin: '%s'\n", argv[1]);
+                return 1;
+        } else {
+                fprintf(stderr, "Usage: %s <plugin name>\n", argv[0]);
+                fprintf(stderr, "Supported plugins: ");
+                for (i = 0; i < NUM_PLUGINS; i++)
+                        fprintf(stderr, "%s ", testsuite[i].plugin);
+                fprintf(stderr, "\n");
+                return 2;
+        }
+}