2009-07-16 17:39:16 +00:00
|
|
|
/*-*- mode:C; -*- */
|
|
|
|
/*
|
|
|
|
* Check: a unit test framework for C
|
|
|
|
* Copyright (C) 2001, 2002, Arien Malec
|
|
|
|
*
|
|
|
|
* This library is free software; you can redistribute it and/or
|
|
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
|
|
* License as published by the Free Software Foundation; either
|
|
|
|
* version 2.1 of the License, or (at your option) any later version.
|
|
|
|
*
|
|
|
|
* This library is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
* Lesser General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
|
|
* License along with this library; if not, write to the
|
2012-11-03 20:44:48 +00:00
|
|
|
* Free Software Foundation, Inc., 51 Franklin St, Fifth Floor,
|
|
|
|
* Boston, MA 02110-1301, USA.
|
2009-07-16 17:39:16 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef CHECK_H
|
|
|
|
#define CHECK_H
|
|
|
|
|
|
|
|
#include <stddef.h>
|
|
|
|
#include <string.h>
|
|
|
|
|
|
|
|
/* Check: a unit test framework for C
|
|
|
|
|
|
|
|
Check is a unit test framework for C. It features a simple
|
|
|
|
interface for defining unit tests, putting little in the way of the
|
|
|
|
developer. Tests are run in a separate address space, so Check can
|
|
|
|
catch both assertion failures and code errors that cause
|
|
|
|
segmentation faults or other signals. The output from unit tests
|
|
|
|
can be used within source code editors and IDEs.
|
|
|
|
|
|
|
|
Unit tests are created with the START_TEST/END_TEST macro
|
|
|
|
pair. The fail_unless and fail macros are used for creating
|
|
|
|
checks within unit tests; the mark_point macro is useful for
|
|
|
|
trapping the location of signals and/or early exits.
|
|
|
|
|
|
|
|
|
|
|
|
Test cases are created with tcase_create, unit tests are added
|
|
|
|
with tcase_add_test
|
|
|
|
|
|
|
|
|
|
|
|
Suites are created with suite_create; test cases are added
|
|
|
|
with suite_add_tcase
|
|
|
|
|
|
|
|
Suites are run through an SRunner, which is created with
|
|
|
|
srunner_create. Additional suites can be added to an SRunner with
|
|
|
|
srunner_add_suite. An SRunner is freed with srunner_free, which also
|
|
|
|
frees all suites added to the runner.
|
|
|
|
|
|
|
|
Use srunner_run_all to run a suite and print results.
|
|
|
|
|
|
|
|
Macros and functions starting with _ (underscore) are internal and
|
|
|
|
may change without notice. You have been warned!.
|
|
|
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
#define CK_CPPSTART extern "C" {
|
|
|
|
#define CK_CPPEND }
|
|
|
|
CK_CPPSTART
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#if defined(__GNUC__) && defined(__GNUC_MINOR__)
|
|
|
|
#define GCC_VERSION_AT_LEAST(major, minor) \
|
|
|
|
((__GNUC__ > (major)) || \
|
|
|
|
(__GNUC__ == (major) && __GNUC_MINOR__ >= (minor)))
|
|
|
|
#else
|
|
|
|
#define GCC_VERSION_AT_LEAST(major, minor) 0
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#if GCC_VERSION_AT_LEAST(2,95)
|
|
|
|
#define CK_ATTRIBUTE_UNUSED __attribute__ ((unused))
|
|
|
|
#else
|
|
|
|
#define CK_ATTRIBUTE_UNUSED
|
|
|
|
#endif /* GCC 2.95 */
|
|
|
|
|
|
|
|
#include <sys/types.h>
|
|
|
|
|
|
|
|
/* Used to create the linker script for hiding lib-local symbols. Shall
|
|
|
|
be put directly in front of the exported symbol. */
|
|
|
|
#define CK_EXPORT
|
|
|
|
|
|
|
|
/* check version numbers */
|
|
|
|
|
|
|
|
#define CHECK_MAJOR_VERSION (@CHECK_MAJOR_VERSION@)
|
|
|
|
#define CHECK_MINOR_VERSION (@CHECK_MINOR_VERSION@)
|
|
|
|
#define CHECK_MICRO_VERSION (@CHECK_MICRO_VERSION@)
|
|
|
|
|
|
|
|
extern int CK_EXPORT check_major_version;
|
|
|
|
extern int CK_EXPORT check_minor_version;
|
|
|
|
extern int CK_EXPORT check_micro_version;
|
|
|
|
|
|
|
|
#ifndef NULL
|
|
|
|
#define NULL ((void*)0)
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/* opaque type for a test case
|
|
|
|
|
|
|
|
A TCase represents a test case. Create with tcase_create, free
|
|
|
|
with tcase_free. For the moment, test cases can only be run
|
|
|
|
through a suite
|
|
|
|
*/
|
|
|
|
typedef struct TCase TCase;
|
|
|
|
|
|
|
|
/* type for a test function */
|
|
|
|
typedef void (*TFun) (int);
|
|
|
|
|
|
|
|
/* type for a setup/teardown function */
|
|
|
|
typedef void (*SFun) (void);
|
|
|
|
|
|
|
|
/* Opaque type for a test suite */
|
|
|
|
typedef struct Suite Suite;
|
|
|
|
|
|
|
|
/* Creates a test suite with the given name */
|
|
|
|
Suite * CK_EXPORT suite_create (const char *name);
|
|
|
|
|
|
|
|
/* Add a test case to a suite */
|
|
|
|
void CK_EXPORT suite_add_tcase (Suite *s, TCase *tc);
|
|
|
|
|
|
|
|
/* Create a test case */
|
|
|
|
TCase * CK_EXPORT tcase_create (const char *name);
|
|
|
|
|
|
|
|
/* Add a test function to a test case (macro version) */
|
|
|
|
#define tcase_add_test(tc,tf) tcase_add_test_raise_signal(tc,tf,0)
|
|
|
|
|
|
|
|
/* Add a test function with signal handling to a test case (macro version) */
|
|
|
|
#define tcase_add_test_raise_signal(tc,tf,signal) \
|
2009-12-17 20:09:48 +00:00
|
|
|
_tcase_add_test((tc),(tf),"" # tf "",(signal), 0, 0, 1)
|
|
|
|
|
|
|
|
/* Add a test function with an expected exit value to a test case (macro version) */
|
|
|
|
#define tcase_add_exit_test(tc, tf, expected_exit_value) \
|
|
|
|
_tcase_add_test((tc),(tf),"" # tf "",0,(expected_exit_value),0,1)
|
2009-07-16 17:39:16 +00:00
|
|
|
|
|
|
|
/* Add a looping test function to a test case (macro version)
|
|
|
|
|
|
|
|
The test will be called in a for(i = s; i < e; i++) loop with each
|
|
|
|
iteration being executed in a new context. The loop variable 'i' is
|
|
|
|
available in the test.
|
|
|
|
*/
|
|
|
|
#define tcase_add_loop_test(tc,tf,s,e) \
|
2009-12-17 20:09:48 +00:00
|
|
|
_tcase_add_test((tc),(tf),"" # tf "",0,0,(s),(e))
|
2009-07-16 17:39:16 +00:00
|
|
|
|
|
|
|
/* Signal version of loop test.
|
|
|
|
FIXME: add a test case; this is untested as part of Check's tests.
|
|
|
|
*/
|
|
|
|
#define tcase_add_loop_test_raise_signal(tc,tf,signal,s,e) \
|
2009-12-17 20:09:48 +00:00
|
|
|
_tcase_add_test((tc),(tf),"" # tf "",(signal),0,(s),(e))
|
|
|
|
|
|
|
|
/* allowed exit value version of loop test. */
|
|
|
|
#define tcase_add_loop_exit_test(tc,tf,expected_exit_value,s,e) \
|
|
|
|
_tcase_add_test((tc),(tf),"" # tf "",0,(expected_exit_value),(s),(e))
|
2009-07-16 17:39:16 +00:00
|
|
|
|
|
|
|
/* Add a test function to a test case
|
|
|
|
(function version -- use this when the macro won't work
|
|
|
|
*/
|
2009-12-17 20:09:48 +00:00
|
|
|
void CK_EXPORT _tcase_add_test (TCase *tc, TFun tf, const char *fname, int _signal, int allowed_exit_value, int start, int end);
|
2009-07-16 17:39:16 +00:00
|
|
|
|
|
|
|
/* Add unchecked fixture setup/teardown functions to a test case
|
|
|
|
|
|
|
|
If unchecked fixture functions are run at the start and end of the
|
|
|
|
test case, and not before and after unit tests. Note that unchecked
|
|
|
|
setup/teardown functions are not run in a separate address space,
|
|
|
|
like test functions, and so must not exit or signal (e.g.,
|
|
|
|
segfault)
|
|
|
|
|
|
|
|
Also, when run in CK_NOFORK mode, unchecked fixture functions may
|
|
|
|
lead to different unit test behavior IF unit tests change data
|
|
|
|
setup by the fixture functions.
|
|
|
|
*/
|
|
|
|
void CK_EXPORT tcase_add_unchecked_fixture (TCase *tc, SFun setup, SFun teardown);
|
|
|
|
|
|
|
|
/* Add fixture setup/teardown functions to a test case
|
|
|
|
|
|
|
|
Checked fixture functions are run before and after unit
|
|
|
|
tests. Unlike unchecked fixture functions, checked fixture
|
|
|
|
functions are run in the same separate address space as the test
|
|
|
|
program, and thus the test function will survive signals or
|
|
|
|
unexpected exits in the fixture function. Also, IF the setup
|
|
|
|
function is idempotent, unit test behavior will be the same in
|
|
|
|
CK_FORK and CK_NOFORK modes.
|
|
|
|
|
|
|
|
However, since fixture functions are run before and after each unit
|
|
|
|
test, they should not be expensive code.
|
|
|
|
|
|
|
|
*/
|
|
|
|
void CK_EXPORT tcase_add_checked_fixture (TCase *tc, SFun setup, SFun teardown);
|
|
|
|
|
|
|
|
/* Set the timeout for all tests in a test case. A test that lasts longer
|
|
|
|
than the timeout (in seconds) will be killed and thus fail with an error.
|
|
|
|
The timeout can also be set globaly with the environment variable
|
|
|
|
CK_DEFAULT_TIMEOUT, the specific setting always takes precedence.
|
|
|
|
*/
|
|
|
|
void CK_EXPORT tcase_set_timeout (TCase *tc, int timeout);
|
|
|
|
|
|
|
|
/* Internal function to mark the start of a test function */
|
|
|
|
void CK_EXPORT tcase_fn_start (const char *fname, const char *file, int line);
|
|
|
|
|
|
|
|
/* Start a unit test with START_TEST(unit_name), end with END_TEST
|
|
|
|
One must use braces within a START_/END_ pair to declare new variables
|
|
|
|
*/
|
|
|
|
#define START_TEST(__testname)\
|
2009-12-17 20:09:48 +00:00
|
|
|
static void __testname (int _i CK_ATTRIBUTE_UNUSED)\
|
2009-07-16 17:39:16 +00:00
|
|
|
{\
|
|
|
|
tcase_fn_start (""# __testname, __FILE__, __LINE__);
|
|
|
|
|
|
|
|
/* End a unit test */
|
|
|
|
#define END_TEST }
|
|
|
|
|
|
|
|
/* Fail the test case unless expr is true */
|
|
|
|
/* The space before the comma sign before ## is essential to be compatible
|
|
|
|
with gcc 2.95.3 and earlier.
|
|
|
|
*/
|
|
|
|
#define fail_unless(expr, ...)\
|
|
|
|
_fail_unless(expr, __FILE__, __LINE__,\
|
|
|
|
"Assertion '"#expr"' failed" , ## __VA_ARGS__, NULL)
|
|
|
|
|
|
|
|
/* Fail the test case if expr is true */
|
|
|
|
/* The space before the comma sign before ## is essential to be compatible
|
|
|
|
with gcc 2.95.3 and earlier.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* FIXME: these macros may conflict with C89 if expr is
|
|
|
|
FIXME: strcmp (str1, str2) due to excessive string length. */
|
|
|
|
#define fail_if(expr, ...)\
|
|
|
|
_fail_unless(!(expr), __FILE__, __LINE__,\
|
|
|
|
"Failure '"#expr"' occured" , ## __VA_ARGS__, NULL)
|
|
|
|
|
|
|
|
/* Always fail */
|
2012-07-28 15:33:52 +00:00
|
|
|
#define fail(...) _fail_unless(0, __FILE__, __LINE__, "Failed", __VA_ARGS__, NULL)
|
2009-07-16 17:39:16 +00:00
|
|
|
|
|
|
|
/* Non macro version of #fail_unless, with more complicated interface */
|
|
|
|
void CK_EXPORT _fail_unless (int result, const char *file,
|
|
|
|
int line, const char *expr, ...);
|
|
|
|
|
|
|
|
/* New check fail API. */
|
|
|
|
#define ck_abort() ck_abort_msg(NULL)
|
|
|
|
#define ck_abort_msg fail
|
|
|
|
#define ck_assert(C) ck_assert_msg(C, NULL)
|
|
|
|
#define ck_assert_msg fail_unless
|
|
|
|
|
|
|
|
/* Integer comparsion macros with improved output compared to fail_unless(). */
|
|
|
|
/* O may be any comparion operator. */
|
|
|
|
#define _ck_assert_int(X, O, Y) ck_assert_msg((X) O (Y), "Assertion '"#X#O#Y"' failed: "#X"==%d, "#Y"==%d", X, Y)
|
|
|
|
#define ck_assert_int_eq(X, Y) _ck_assert_int(X, ==, Y)
|
|
|
|
#define ck_assert_int_ne(X, Y) _ck_assert_int(X, !=, Y)
|
|
|
|
|
|
|
|
/* String comparsion macros with improved output compared to fail_unless() */
|
|
|
|
#define _ck_assert_str(C, X, O, Y) ck_assert_msg(C, "Assertion '"#X#O#Y"' failed: "#X"==\"%s\", "#Y"==\"%s\"", X, Y)
|
|
|
|
#define ck_assert_str_eq(X, Y) _ck_assert_str(!strcmp(X, Y), X, ==, Y)
|
|
|
|
#define ck_assert_str_ne(X, Y) _ck_assert_str(strcmp(X, Y), X, !=, Y)
|
|
|
|
|
|
|
|
|
|
|
|
/* Mark the last point reached in a unit test
|
|
|
|
(useful for tracking down where a segfault, etc. occurs)
|
|
|
|
*/
|
|
|
|
#define mark_point() _mark_point(__FILE__,__LINE__)
|
|
|
|
|
|
|
|
/* Non macro version of #mark_point */
|
|
|
|
void CK_EXPORT _mark_point (const char *file, int line);
|
|
|
|
|
|
|
|
/* Result of a test */
|
|
|
|
enum test_result {
|
|
|
|
CK_TEST_RESULT_INVALID, /* Default value; should not encounter this */
|
|
|
|
CK_PASS, /* Test passed*/
|
|
|
|
CK_FAILURE, /* Test completed but failed */
|
|
|
|
CK_ERROR /* Test failed to complete
|
|
|
|
(unexpected signal or non-zero early exit) */
|
|
|
|
};
|
|
|
|
|
|
|
|
/* Specifies the how much output an SRunner should produce */
|
|
|
|
enum print_output {
|
|
|
|
CK_SILENT, /* No output */
|
|
|
|
CK_MINIMAL, /* Only summary output */
|
|
|
|
CK_NORMAL, /* All failed tests */
|
|
|
|
CK_VERBOSE, /* All tests */
|
|
|
|
CK_ENV, /* Look at environment var */
|
2009-12-17 20:09:48 +00:00
|
|
|
#if @ENABLE_SUBUNIT@
|
|
|
|
CK_SUBUNIT, /* Run as a subunit child process */
|
|
|
|
#endif
|
2009-07-16 17:39:16 +00:00
|
|
|
CK_LAST
|
|
|
|
};
|
|
|
|
|
|
|
|
/* Holds state for a running of a test suite */
|
|
|
|
typedef struct SRunner SRunner;
|
|
|
|
|
|
|
|
/* Opaque type for a test failure */
|
|
|
|
typedef struct TestResult TestResult;
|
|
|
|
|
|
|
|
/* accessors for tr fields */
|
|
|
|
enum ck_result_ctx {
|
|
|
|
CK_CTX_INVALID, /* Default value; should not encounter this */
|
|
|
|
CK_CTX_SETUP,
|
|
|
|
CK_CTX_TEST,
|
|
|
|
CK_CTX_TEARDOWN
|
|
|
|
};
|
|
|
|
|
|
|
|
/* Type of result */
|
|
|
|
int CK_EXPORT tr_rtype (TestResult *tr);
|
|
|
|
/* Context in which the result occurred */
|
|
|
|
enum ck_result_ctx CK_EXPORT tr_ctx (TestResult *tr);
|
|
|
|
/* Failure message */
|
|
|
|
const char * CK_EXPORT tr_msg (TestResult *tr);
|
|
|
|
/* Line number at which failure occured */
|
|
|
|
int CK_EXPORT tr_lno (TestResult *tr);
|
|
|
|
/* File name at which failure occured */
|
|
|
|
const char * CK_EXPORT tr_lfile (TestResult *tr);
|
|
|
|
/* Test case in which unit test was run */
|
|
|
|
const char * CK_EXPORT tr_tcname (TestResult *tr);
|
|
|
|
|
|
|
|
/* Creates an SRunner for the given suite */
|
|
|
|
SRunner * CK_EXPORT srunner_create (Suite *s);
|
|
|
|
|
|
|
|
/* Adds a Suite to an SRunner */
|
|
|
|
void CK_EXPORT srunner_add_suite (SRunner *sr, Suite *s);
|
|
|
|
|
|
|
|
/* Frees an SRunner, all suites added to it and all contained test cases */
|
|
|
|
void CK_EXPORT srunner_free (SRunner *sr);
|
|
|
|
|
|
|
|
|
|
|
|
/* Test running */
|
|
|
|
|
|
|
|
/* Runs an SRunner, printing results as specified (see enum print_output) */
|
|
|
|
void CK_EXPORT srunner_run_all (SRunner *sr, enum print_output print_mode);
|
|
|
|
|
|
|
|
|
|
|
|
/* Next functions are valid only after the suite has been
|
|
|
|
completely run, of course */
|
|
|
|
|
|
|
|
/* Number of failed tests in a run suite. Includes failures + errors */
|
|
|
|
int CK_EXPORT srunner_ntests_failed (SRunner *sr);
|
|
|
|
|
|
|
|
/* Total number of tests run in a run suite */
|
|
|
|
int CK_EXPORT srunner_ntests_run (SRunner *sr);
|
|
|
|
|
|
|
|
/* Return an array of results for all failures
|
|
|
|
|
|
|
|
Number of failures is equal to srunner_nfailed_tests. Memory for
|
|
|
|
the array is malloc'ed and must be freed, but individual TestResults
|
|
|
|
must not
|
|
|
|
*/
|
|
|
|
TestResult ** CK_EXPORT srunner_failures (SRunner *sr);
|
|
|
|
|
|
|
|
/* Return an array of results for all run tests
|
|
|
|
|
|
|
|
Number of results is equal to srunner_ntests_run, and excludes
|
|
|
|
failures due to setup function failure.
|
|
|
|
|
|
|
|
Memory is malloc'ed and must be freed, but individual TestResults
|
|
|
|
must not
|
|
|
|
*/
|
|
|
|
TestResult ** CK_EXPORT srunner_results (SRunner *sr);
|
|
|
|
|
|
|
|
|
|
|
|
/* Printing */
|
|
|
|
|
|
|
|
/* Print the results contained in an SRunner */
|
|
|
|
void CK_EXPORT srunner_print (SRunner *sr, enum print_output print_mode);
|
|
|
|
|
|
|
|
|
|
|
|
/* Set a log file to which to write during test running.
|
|
|
|
|
|
|
|
Log file setting is an initialize only operation -- it should be
|
|
|
|
done immediatly after SRunner creation, and the log file can't be
|
|
|
|
changed after being set.
|
|
|
|
*/
|
|
|
|
void CK_EXPORT srunner_set_log (SRunner *sr, const char *fname);
|
|
|
|
|
|
|
|
/* Does the SRunner have a log file? */
|
|
|
|
int CK_EXPORT srunner_has_log (SRunner *sr);
|
|
|
|
|
|
|
|
/* Return the name of the log file, or NULL if none */
|
|
|
|
const char * CK_EXPORT srunner_log_fname (SRunner *sr);
|
|
|
|
|
|
|
|
/* Set a xml file to which to write during test running.
|
|
|
|
|
|
|
|
XML file setting is an initialize only operation -- it should be
|
|
|
|
done immediatly after SRunner creation, and the XML file can't be
|
|
|
|
changed after being set.
|
|
|
|
*/
|
|
|
|
void CK_EXPORT srunner_set_xml (SRunner *sr, const char *fname);
|
|
|
|
|
|
|
|
/* Does the SRunner have an XML log file? */
|
|
|
|
int CK_EXPORT srunner_has_xml (SRunner *sr);
|
|
|
|
|
|
|
|
/* Return the name of the XML file, or NULL if none */
|
|
|
|
const char * CK_EXPORT srunner_xml_fname (SRunner *sr);
|
|
|
|
|
|
|
|
|
|
|
|
/* Control forking */
|
|
|
|
enum fork_status {
|
|
|
|
CK_FORK_GETENV, /* look in the environment for CK_FORK */
|
|
|
|
CK_FORK, /* call fork to run tests */
|
|
|
|
CK_NOFORK /* don't call fork */
|
|
|
|
};
|
|
|
|
|
|
|
|
/* Get the current fork status */
|
|
|
|
enum fork_status CK_EXPORT srunner_fork_status (SRunner *sr);
|
|
|
|
|
|
|
|
/* Set the current fork status */
|
|
|
|
void CK_EXPORT srunner_set_fork_status (SRunner *sr, enum fork_status fstat);
|
|
|
|
|
|
|
|
/* Fork in a test and make sure messaging and tests work. */
|
|
|
|
pid_t CK_EXPORT check_fork(void);
|
|
|
|
|
|
|
|
/* Wait for the pid and exit. If pid is zero, just exit. */
|
|
|
|
void CK_EXPORT check_waitpid_and_exit(pid_t pid);
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
CK_CPPEND
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif /* CHECK_H */
|