1 /* cunit - A little C Unit facility */
3 /* Copyright (c) 2005-2014. The SimGrid Team.
4 * All rights reserved. */
6 /* This program is free software; you can redistribute it and/or modify it
7 * under the terms of the license (GNU LGPL) which comes with this package. */
9 /* This is partially inspirated from the OSSP ts (Test Suite Library) */
10 /* At some point we should use https://github.com/google/googletest instead */
12 #include "src/internal_config.h"
16 #include "xbt/sysdep.h" /* bvprintf */
17 #include "xbt/cunit.h"
18 #include "xbt/dynar.h"
20 /* collection of all suites */
21 static xbt_dynar_t _xbt_test_suites = nullptr;
22 /* global statistics */
23 static int _xbt_test_nb_tests = 0;
24 static int _xbt_test_test_failed = 0;
25 static int _xbt_test_test_ignore = 0;
26 static int _xbt_test_test_expect = 0;
28 static int _xbt_test_nb_units = 0;
29 static int _xbt_test_unit_failed = 0;
30 static int _xbt_test_unit_ignore = 0;
31 static int _xbt_test_unit_disabled = 0;
33 static int _xbt_test_nb_suites = 0;
34 static int _xbt_test_suite_failed = 0;
35 static int _xbt_test_suite_ignore = 0;
36 static int _xbt_test_suite_disabled = 0;
39 xbt_test_unit_t _xbt_test_current_unit = nullptr;
41 /* test suite test log */
42 typedef struct s_xbt_test_log {
48 static void xbt_test_log_dump(xbt_test_log_t log)
51 fprintf(stderr, " log %p(%s:%d)=%s\n", log, log->file, log->line, log->text);
53 fprintf(stderr, " log=nullptr\n");
56 /* test suite test check */
57 typedef struct s_xbt_test_test {
67 static void xbt_test_test_dump(xbt_test_test_t test)
72 fprintf(stderr, " test %p(%s:%d)=%s (%s)\n", test, test->file, test->line, test->title,
73 test->failed ? "failed" : "not failed");
74 xbt_dynar_foreach(test->logs, it_log, log)
75 xbt_test_log_dump(log);
77 fprintf(stderr, " test=nullptr\n");
80 /* test suite test unit */
81 struct s_xbt_test_unit {
88 xbt_dynar_t tests; /* of xbt_test_test_t */
91 int test_failed, test_ignore, test_expect;
94 static void xbt_test_unit_dump(xbt_test_unit_t unit)
99 fprintf(stderr, " UNIT %s: %s (%s)\n", unit->name, unit->title, (unit->enabled ? "enabled" : "disabled"));
101 xbt_dynar_foreach(unit->tests, it_test, test)
102 xbt_test_test_dump(test);
104 fprintf(stderr, " unit=nullptr\n");
109 struct s_xbt_test_suite {
113 xbt_dynar_t units; /* of xbt_test_unit_t */
115 int nb_tests, nb_units;
116 int test_failed, test_ignore, test_expect;
117 int unit_failed, unit_ignore, unit_disabled;
120 /* destroy test suite */
121 static void xbt_test_suite_free(void *s)
123 xbt_test_suite_t suite = *(xbt_test_suite_t *) s;
125 if (suite == nullptr)
127 xbt_dynar_free(&suite->units);
132 static void xbt_test_unit_free(void *unit)
134 xbt_test_unit_t u = *(xbt_test_unit_t *) unit;
137 xbt_dynar_free(&u->tests);
141 static void xbt_test_test_free(void *test)
143 xbt_test_test_t t = *(xbt_test_test_t *) test;
145 xbt_dynar_free(&(t->logs));
149 static void xbt_test_log_free(void *log)
151 xbt_test_log_t l = *(xbt_test_log_t *) log;
156 /** @brief create test suite */
157 xbt_test_suite_t xbt_test_suite_new(const char *name, const char *fmt, ...)
159 xbt_test_suite_t suite = xbt_new0(struct s_xbt_test_suite, 1);
162 if (!_xbt_test_suites)
163 _xbt_test_suites = xbt_dynar_new(sizeof(xbt_test_suite_t), xbt_test_suite_free);
166 suite->title = bvprintf(fmt, ap);
167 suite->units = xbt_dynar_new(sizeof(xbt_test_unit_t), &xbt_test_unit_free);
172 xbt_dynar_push(_xbt_test_suites, &suite);
177 /** @brief retrieve a testsuite from name, or create a new one */
178 xbt_test_suite_t xbt_test_suite_by_name(const char *name, const char *fmt, ...)
180 xbt_test_suite_t suite;
181 unsigned int it_suite;
186 if (_xbt_test_suites)
187 xbt_dynar_foreach(_xbt_test_suites, it_suite, suite)
188 if (!strcmp(suite->name, name))
192 bufname = bvprintf(fmt, ap);
194 suite = xbt_test_suite_new(name, bufname, nullptr);
200 void xbt_test_suite_dump(xbt_test_suite_t suite)
203 xbt_test_unit_t unit;
204 unsigned int it_unit;
205 fprintf(stderr, "TESTSUITE %s: %s (%s)\n", suite->name, suite->title, suite->enabled ? "enabled" : "disabled");
207 xbt_dynar_foreach(suite->units, it_unit, unit)
208 xbt_test_unit_dump(unit);
210 fprintf(stderr, "TESTSUITE IS nullptr!\n");
214 /* add test case to test suite */
215 void xbt_test_suite_push(xbt_test_suite_t suite, const char *name, ts_test_cb_t func, const char *fmt, ...)
217 xbt_test_unit_t unit;
224 unit = xbt_new0(struct s_xbt_test_unit, 1);
226 unit->title = bvprintf(fmt, ap);
228 unit->name = (char *) name;
230 unit->file = nullptr;
233 unit->tests = xbt_dynar_new(sizeof(xbt_test_test_t), xbt_test_test_free);
235 xbt_dynar_push(suite->units, &unit);
239 /* run test one suite */
240 static int xbt_test_suite_run(xbt_test_suite_t suite, int verbosity)
242 xbt_test_unit_t unit;
243 xbt_test_test_t test;
249 unsigned int it_unit, it_test, it_log;
251 int first = 1; /* for result pretty printing */
253 if (suite == nullptr)
256 /* suite title pretty-printing */
258 char suite_title[81];
259 int suite_len = strlen(suite->title);
262 xbt_assert(suite_len < 68, "suite title \"%s\" too long (%d should be less than 68", suite->title, suite_len);
264 suite_title[0] = ' ';
265 for (i = 1; i < 80; i++)
266 suite_title[i] = '=';
267 suite_title[i++] = '\n';
268 suite_title[80] = '\0';
270 snprintf(suite_title + 40 - (suite_len + 4) / 2, 81-(40 - (suite_len + 4)/ 2), "[ %s ]", suite->title);
271 suite_title[40 + (suite_len + 5) / 2] = '=';
273 snprintf(suite_title + 70, 11, " DISABLED ");
274 fprintf(stderr, "\n%s\n", suite_title);
277 if (suite->enabled) {
278 /* iterate through all tests */
279 xbt_dynar_foreach(suite->units, it_unit, unit) {
280 /* init unit case counters */
282 unit->test_ignore = 0;
283 unit->test_failed = 0;
284 unit->test_expect = 0;
286 /* display unit title */
287 cp = bprintf(" Unit: %s ......................................"
288 "......................................", unit->title);
290 fprintf(stderr, "%s", cp);
293 /* run the test case function */
294 _xbt_test_current_unit = unit;
298 /* iterate through all performed tests to determine status */
299 xbt_dynar_foreach(unit->tests, it_test, test) {
305 if (test->failed && !test->expected_failure)
307 if (!test->failed && test->expected_failure)
309 if (test->expected_failure)
313 /* Display whether this unit went well */
314 if (unit->test_failed > 0 || unit->test_expect || (verbosity && unit->nb_tests > 0)) {
315 /* some tests failed (or were supposed to), so do detailed reporting of test case */
316 if (unit->test_failed > 0) {
317 fprintf(stderr, ".. failed\n");
318 } else if (unit->nb_tests) {
319 fprintf(stderr, "...... ok\n"); /* successful, but show about expected */
321 fprintf(stderr, ".... skip\n"); /* shouldn't happen, but I'm a bit lost with this logic */
323 xbt_dynar_foreach(unit->tests, it_test, test) {
324 file = (test->file != nullptr ? test->file : unit->file);
325 line = (test->line != 0 ? test->line : unit->line);
326 fprintf(stderr, " %s: %s [%s:%d]\n", (test->ignored ? " SKIP" : (test->expected_failure
327 ? (test-> failed ? "EFAIL" : "EPASS") : (test->failed ? " FAIL" : " PASS"))),test->title, file, line);
329 if ((test->expected_failure && !test->failed) || (!test->expected_failure && test->failed)) {
330 xbt_dynar_foreach(test->logs, it_log, log) {
331 file = (log->file != nullptr ? log->file : file);
332 line = (log->line != 0 ? log->line : line);
333 fprintf(stderr, " %s:%d: %s\n", file, line, log->text);
337 fprintf(stderr, " Summary: %d of %d tests failed", unit->test_failed, unit->nb_tests);
338 if (unit->test_ignore) {
339 fprintf(stderr, " (%d tests ignored)\n", unit->test_ignore);
341 fprintf(stderr, "\n");
343 } else if (!unit->enabled) {
344 fprintf(stderr, " disabled\n"); /* no test were run */
345 } else if (unit->nb_tests) {
346 fprintf(stderr, "...... ok\n"); /* successful */
348 fprintf(stderr, ".... skip\n"); /* no test were run */
351 /* Accumulate test counts into the suite */
352 suite->nb_tests += unit->nb_tests;
353 suite->test_failed += unit->test_failed;
354 suite->test_ignore += unit->test_ignore;
355 suite->test_expect += unit->test_expect;
357 _xbt_test_nb_tests += unit->nb_tests;
358 _xbt_test_test_failed += unit->test_failed;
359 _xbt_test_test_ignore += unit->test_ignore;
360 _xbt_test_test_expect += unit->test_expect;
362 /* What's the conclusion of this test anyway? */
363 if (unit->nb_tests) {
365 if (unit->test_failed)
366 suite->unit_failed++;
367 } else if (!unit->enabled) {
368 suite->unit_disabled++;
370 suite->unit_ignore++;
374 _xbt_test_nb_units += suite->nb_units;
375 _xbt_test_unit_failed += suite->unit_failed;
376 _xbt_test_unit_ignore += suite->unit_ignore;
377 _xbt_test_unit_disabled += suite->unit_disabled;
379 if (suite->nb_units) {
380 _xbt_test_nb_suites++;
381 if (suite->test_failed)
382 _xbt_test_suite_failed++;
383 } else if (!suite->enabled) {
384 _xbt_test_suite_disabled++;
386 _xbt_test_suite_ignore++;
389 /* print test suite summary */
390 if (suite->enabled) {
391 fprintf(stderr," =====================================================================%s\n",
392 (suite->nb_units ? (suite->unit_failed ? "== FAILED" : "====== OK") :
393 (suite->unit_disabled ? " DISABLED" : "==== SKIP")));
394 fprintf(stderr, " Summary: Units: %.0f%% ok (%d units: ", suite->nb_units
395 ? ((1 - (double) suite->unit_failed / (double) suite->nb_units) * 100.0) : 100.0, suite->nb_units);
397 if (suite->nb_units != suite->unit_failed) {
398 fprintf(stderr, "%s%d ok", (first ? "" : ", "), suite->nb_units - suite->unit_failed);
401 if (suite->unit_failed) {
402 fprintf(stderr, "%s%d failed", (first ? "" : ", "), suite->unit_failed);
405 if (suite->unit_ignore) {
406 fprintf(stderr, "%s%d ignored", (first ? "" : ", "), suite->unit_ignore);
409 if (suite->unit_disabled) {
410 fprintf(stderr, "%s%d disabled", (first ? "" : ", "), suite->unit_disabled);
412 fprintf(stderr, ")\n Tests: %.0f%% ok (%d tests: ", suite->nb_tests
413 ? ((1 - (double) suite->test_failed / (double) suite->nb_tests) * 100.0) : 100.0, suite->nb_tests);
416 if (suite->nb_tests != suite->test_failed) {
417 fprintf(stderr, "%s%d ok", (first ? "" : ", "), suite->nb_tests - suite->test_failed);
420 if (suite->test_failed) {
421 fprintf(stderr, "%s%d failed", (first ? "" : ", "), suite->test_failed);
424 if (suite->test_ignore) {
425 fprintf(stderr, "%s%d ignored", (first ? "" : "; "), suite->test_ignore);
428 if (suite->test_expect) {
429 fprintf(stderr, "%s%d expected to fail", (first ? "" : "; "), suite->test_expect);
431 fprintf(stderr, ")\n");
433 return suite->unit_failed;
436 static void apply_selection(char *selection)
438 /* for the parsing */
439 char *sel = selection;
441 char dir[1024]; /* the directive */
443 unsigned int it_suite;
444 xbt_test_suite_t suite;
445 xbt_test_unit_t unit;
446 unsigned int it_unit;
451 if (!selection || selection[0] == '\0')
454 /*printf("Test selection: %s\n", selection); */
456 /* First apply the selection */
460 char *p = strchr(sel, ',');
462 strncpy(dir, sel, p - sel);
466 strncpy(dir, sel,1024);
472 memmove(dir, dir + 1, strlen(dir));
476 memmove(dir, dir + 1, strlen(dir));
479 p = strchr(dir, ':');
481 strncpy(unitname, p + 1,512);
482 strncpy(suitename, dir, p - dir);
483 suitename[p - dir] = '\0';
485 strncpy(suitename, dir,512);
489 /* Deal with the specific case of 'all' pseudo serie */
490 if (!strcmp("all", suitename)) {
491 xbt_assert(unitname[0] == '\0', "The 'all' pseudo-suite does not accept any unit specification\n");
493 xbt_dynar_foreach(_xbt_test_suites, it_suite, suite) {
494 xbt_dynar_foreach(suite->units, it_unit, unit) {
495 unit->enabled = enabling;
497 suite->enabled = enabling;
501 for (it = 0; it < xbt_dynar_length(_xbt_test_suites); it++) {
502 xbt_test_suite_t thissuite =
503 xbt_dynar_get_as(_xbt_test_suites, it, xbt_test_suite_t);
504 if (!strcmp(suitename, thissuite->name)) {
505 /* Do not disable the whole suite when we just want to disable a child */
506 if (enabling || (unitname[0] == '\0'))
507 thissuite->enabled = enabling;
509 if (unitname[0] == '\0') {
510 xbt_dynar_foreach(thissuite->units, it_unit, unit) {
511 unit->enabled = enabling;
513 } else { /* act on one child only */
514 unsigned int it2_unit;
515 /* search it, first (we won't reuse it for external loop which gets broken) */
517 it2_unit < xbt_dynar_length(thissuite->units);
519 xbt_test_unit_t thisunit = xbt_dynar_get_as(thissuite->units, it2_unit, xbt_test_unit_t);
520 if (!strcmp(thisunit->name, unitname)) {
521 thisunit->enabled = enabling;
524 } /* search relevant unit */
525 xbt_assert(it2_unit != xbt_dynar_length(thissuite->units),
526 "Suite '%s' has no unit of name '%s'. Cannot apply the selection\n", suitename, unitname);
527 } /* act on childs (either all or one) */
529 break; /* found the relevant serie. We are happy */
531 } /* search relevant series */
532 xbt_assert(it != xbt_dynar_length(_xbt_test_suites),
533 "No suite of name '%s' found. Cannot apply the selection\n", suitename);
538 void xbt_test_dump(char *selection)
540 apply_selection(selection);
542 if (_xbt_test_suites) {
543 unsigned int it_suite;
544 xbt_test_suite_t suite;
546 xbt_dynar_foreach(_xbt_test_suites, it_suite, suite)
547 xbt_test_suite_dump(suite);
549 printf(" No suite defined.");
553 int xbt_test_run(char *selection, int verbosity)
555 apply_selection(selection);
557 if (_xbt_test_suites) {
558 unsigned int it_suite;
559 xbt_test_suite_t suite;
562 /* Run all the suites */
563 xbt_dynar_foreach(_xbt_test_suites, it_suite, suite)
564 xbt_test_suite_run(suite, verbosity);
566 /* Display some more statistics */
567 fprintf(stderr, "\n\n TOTAL: Suites: %.0f%% ok (%d suites: ",_xbt_test_nb_suites
568 ? ((1 - (double) _xbt_test_suite_failed / (double) _xbt_test_nb_suites) * 100.0)
569 : 100.0, _xbt_test_nb_suites);
570 if (_xbt_test_nb_suites != _xbt_test_suite_failed) {
571 fprintf(stderr, "%d ok", _xbt_test_nb_suites - _xbt_test_suite_failed);
574 if (_xbt_test_suite_failed) {
575 fprintf(stderr, "%s%d failed", (first ? "" : ", "), _xbt_test_suite_failed);
579 if (_xbt_test_suite_ignore) {
580 fprintf(stderr, "%s%d ignored", (first ? "" : ", "), _xbt_test_suite_ignore);
582 fprintf(stderr, ")\n Units: %.0f%% ok (%d units: ", _xbt_test_nb_units
583 ? ((1 - (double) _xbt_test_unit_failed / (double) _xbt_test_nb_units) * 100.0) : 100.0, _xbt_test_nb_units);
585 if (_xbt_test_nb_units != _xbt_test_unit_failed) {
586 fprintf(stderr, "%d ok", _xbt_test_nb_units - _xbt_test_unit_failed);
589 if (_xbt_test_unit_failed) {
590 fprintf(stderr, "%s%d failed", (first ? "" : ", "), _xbt_test_unit_failed);
593 if (_xbt_test_unit_ignore) {
594 fprintf(stderr, "%s%d ignored", (first ? "" : ", "), _xbt_test_unit_ignore);
596 fprintf(stderr, ")\n Tests: %.0f%% ok (%d tests: ", _xbt_test_nb_tests
597 ? ((1 - (double) _xbt_test_test_failed / (double) _xbt_test_nb_tests) * 100.0) : 100.0, _xbt_test_nb_tests);
599 if (_xbt_test_nb_tests != _xbt_test_test_failed) {
600 fprintf(stderr, "%d ok", _xbt_test_nb_tests - _xbt_test_test_failed);
603 if (_xbt_test_test_failed) {
604 fprintf(stderr, "%s%d failed", (first ? "" : ", "), _xbt_test_test_failed);
607 if (_xbt_test_test_ignore) {
608 fprintf(stderr, "%s%d ignored", (first ? "" : ", "), _xbt_test_test_ignore);
611 if (_xbt_test_test_expect) {
612 fprintf(stderr, "%s%d expected to fail", (first ? "" : ", "), _xbt_test_test_expect);
615 fprintf(stderr, ")\n");
617 fprintf(stderr, "No unit to run!\n");
618 _xbt_test_unit_failed++;
620 return _xbt_test_unit_failed;
625 xbt_dynar_free(&_xbt_test_suites);
628 /* annotate test case with test */
629 void _xbt_test_add(const char *file, int line, const char *fmt, ...)
631 xbt_test_unit_t unit = _xbt_test_current_unit;
635 xbt_test_test_t test = xbt_new0(struct s_xbt_test_test, 1);
637 test->title = bvprintf(fmt, ap);
640 test->expected_failure = 0;
644 test->logs = xbt_dynar_new(sizeof(xbt_test_log_t), xbt_test_log_free);
645 xbt_dynar_push(unit->tests, &test);
649 /* annotate test case with log message and failure */
650 void _xbt_test_fail(const char *file, int line, const char *fmt, ...)
652 xbt_test_unit_t unit = _xbt_test_current_unit;
654 xbt_assert(xbt_dynar_length(_xbt_test_current_unit->tests),
655 "Test failed even before being declared (broken unit: %s)", unit->title);
658 xbt_test_log_t log = xbt_new(struct s_xbt_test_log, 1);
660 log->text = bvprintf(fmt, ap);
665 xbt_test_test_t test = xbt_dynar_getlast_as(unit->tests, xbt_test_test_t);
666 xbt_dynar_push(test->logs, &log);
671 void xbt_test_exception(xbt_ex_t e)
673 _xbt_test_fail(e.throwPoint().file, e.throwPoint().line, "Exception %s raised: %s", xbt_ex_catname(e.category), e.what());
676 void xbt_test_expect_failure()
678 xbt_assert(xbt_dynar_length(_xbt_test_current_unit->tests),
679 "Cannot expect the failure of a test before declaring it (broken unit: %s)", _xbt_test_current_unit->title);
680 xbt_test_test_t test = xbt_dynar_getlast_as(_xbt_test_current_unit->tests, xbt_test_test_t);
681 test->expected_failure = 1;
686 xbt_assert(xbt_dynar_length(_xbt_test_current_unit->tests),
687 "Test skipped even before being declared (broken unit: %s)", _xbt_test_current_unit->title);
688 xbt_test_test_t test = xbt_dynar_getlast_as(_xbt_test_current_unit->tests, xbt_test_test_t);
692 /* annotate test case with log message only */
693 void _xbt_test_log(const char *file, int line, const char *fmt, ...)
695 xbt_test_unit_t unit = _xbt_test_current_unit;
697 xbt_assert(xbt_dynar_length(_xbt_test_current_unit->tests),
698 "Test logged into even before being declared (broken test unit: %s)", unit->title);
701 xbt_test_log_t log = xbt_new(struct s_xbt_test_log, 1);
703 log->text = bvprintf(fmt, ap);
708 xbt_test_test_t test = xbt_dynar_getlast_as(unit->tests, xbt_test_test_t);
709 xbt_dynar_push(test->logs, &log);
713 XBT_TEST_SUITE("cunit", "Testsuite mechanism autotest");
715 XBT_TEST_UNIT("expect", test_expected_failure, "expected failures")
717 xbt_test_add("Skipped test");
720 xbt_test_add("%s %s", "EXPECTED", "FAILURE");
721 xbt_test_expect_failure();
722 xbt_test_log("%s %s", "Test", "log");
723 xbt_test_fail("EXPECTED FAILURE");
725 #endif /* SIMGRID_TEST */