1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
|
/*-*- 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
* Free Software Foundation, Inc., 59 Temple Place - Suite 330,
* Boston, MA 02111-1307, USA.
*/
#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) \
_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)
/* 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) \
_tcase_add_test((tc),(tf),"" # tf "",0,0,(s),(e))
/* 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) \
_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))
/* Add a test function to a test case
(function version -- use this when the macro won't work
*/
void CK_EXPORT _tcase_add_test (TCase *tc, TFun tf, const char *fname, int _signal, int allowed_exit_value, int start, int end);
/* 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)\
static void __testname (int _i CK_ATTRIBUTE_UNUSED)\
{\
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 */
#define fail(...) _fail_unless(0, __FILE__, __LINE__, "Failed", __VA_ARGS__, NULL)
/* 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 */
#if @ENABLE_SUBUNIT@
CK_SUBUNIT, /* Run as a subunit child process */
#endif
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 */
|