kmtests/include/kmt_test.h

   1 /*
   2  * PROJECT:         ReactOS kernel-mode tests
   3  * LICENSE:         GPLv2+ - See COPYING in the top level directory
   4  * PURPOSE:         Kernel-Mode Test Suite test framework declarations
   5  * PROGRAMMER:      Thomas Faber <thfabba@gmx.de>
   6  */
   7
   8 /* Inspired by Wine C unit tests, Copyright (C) 2002 Alexandre Julliard
   9  * Inspired by ReactOS kernel-mode regression tests,
  10  *                                Copyright (C) Aleksey Bragin, Filip Navara
  11  */
  12
  13 #ifndef _KMTEST_TEST_H_
  14 #define _KMTEST_TEST_H_
  15
  16 #include <stdarg.h>
  17
  18 typedef VOID KMT_TESTFUNC(VOID);
  19 typedef KMT_TESTFUNC *PKMT_TESTFUNC;
  20
  21 typedef struct
  22 {
  23     const char *TestName;
  24     KMT_TESTFUNC *TestFunction;
  25 } KMT_TEST, *PKMT_TEST;
  26
  27 typedef const KMT_TEST CKMT_TEST, *PCKMT_TEST;
  28
  29 extern const KMT_TEST TestList[];
  30
  31 typedef struct
  32 {
  33     volatile LONG Successes;
  34     volatile LONG Failures;
  35     volatile LONG Skipped;
  36     volatile LONG LogBufferLength;
  37     LONG LogBufferMaxLength;
  38     CHAR LogBuffer[ANYSIZE_ARRAY];
  39 } KMT_RESULTBUFFER, *PKMT_RESULTBUFFER;
  40
  41 #ifdef KMT_STANDALONE_DRIVER
  42 #define KMT_KERNEL_MODE
  43
  44 typedef NTSTATUS (KMT_IRP_HANDLER)(
  45     IN PDEVICE_OBJECT DeviceObject,
  46     IN PIRP Irp,
  47     IN PIO_STACK_LOCATION IoStackLocation);
  48 typedef KMT_IRP_HANDLER *PKMT_IRP_HANDLER;
  49
  50 NTSTATUS KmtRegisterIrpHandler(IN UCHAR MajorFunction, IN PDEVICE_OBJECT DeviceObject OPTIONAL, IN PKMT_IRP_HANDLER IrpHandler);
  51 NTSTATUS KmtUnregisterIrpHandler(IN UCHAR MajorFunction, IN PDEVICE_OBJECT DeviceObject OPTIONAL, IN PKMT_IRP_HANDLER IrpHandler);
  52
  53 typedef NTSTATUS (KMT_MESSAGE_HANDLER)(
  54     IN PDEVICE_OBJECT DeviceObject,
  55     IN ULONG ControlCode,
  56     IN PVOID Buffer OPTIONAL,
  57     IN SIZE_T InLength,
  58     IN OUT PSIZE_T OutLength);
  59 typedef KMT_MESSAGE_HANDLER *PKMT_MESSAGE_HANDLER;
  60
  61 NTSTATUS KmtRegisterMessageHandler(IN ULONG ControlCode OPTIONAL, IN PDEVICE_OBJECT DeviceObject OPTIONAL, IN PKMT_MESSAGE_HANDLER MessageHandler);
  62 NTSTATUS KmtUnregisterMessageHandler(IN ULONG ControlCode OPTIONAL, IN PDEVICE_OBJECT DeviceObject OPTIONAL, IN PKMT_MESSAGE_HANDLER MessageHandler);
  63
  64 typedef enum
  65 {
  66     TESTENTRY_NO_CREATE_DEVICE = 1,
  67     TESTENTRY_NO_REGISTER_DISPATCH = 2,
  68     TESTENTRY_NO_REGISTER_UNLOAD = 4,
  69 } KMT_TESTENTRY_FLAGS;
  70
  71 NTSTATUS TestEntry(IN PDRIVER_OBJECT DriverObject, IN PCUNICODE_STRING RegistryPath, OUT PCWSTR *DeviceName, OUT INT *Flags);
  72 VOID TestUnload(IN PDRIVER_OBJECT DriverObject);
  73 #endif /* defined KMT_STANDALONE_DRIVER */
  74
  75 #ifdef KMT_KERNEL_MODE
  76 /* Device Extension layout */
  77 typedef struct
  78 {
  79     PKMT_RESULTBUFFER ResultBuffer;
  80     PMDL Mdl;
  81 } KMT_DEVICE_EXTENSION, *PKMT_DEVICE_EXTENSION;
  82
  83 extern BOOLEAN KmtIsCheckedBuild;
  84 extern BOOLEAN KmtIsMultiProcessorBuild;
  85
  86 VOID KmtSetIrql(IN KIRQL NewIrql);
  87 BOOLEAN KmtAreInterruptsEnabled(VOID);
  88 #elif defined KMT_USER_MODE
  89 DWORD KmtRunKernelTest(IN PCSTR TestName);
  90
  91 VOID KmtLoadDriver(IN PCWSTR ServiceName, IN BOOLEAN RestartIfRunning);
  92 VOID KmtUnloadDriver(VOID);
  93 VOID KmtOpenDriver(VOID);
  94 VOID KmtCloseDriver(VOID);
  95
  96 DWORD KmtSendToDriver(IN DWORD ControlCode);
  97 DWORD KmtSendStringToDriver(IN DWORD ControlCode, IN PCSTR String);
  98 DWORD KmtSendBufferToDriver(IN DWORD ControlCode, IN OUT PVOID Buffer OPTIONAL, IN DWORD InLength, IN OUT PDWORD OutLength);
  99 #endif /* defined KMT_USER_MODE */
 100
 101 extern PKMT_RESULTBUFFER ResultBuffer;
 102
 103 #ifdef __GNUC__
 104 #define KMT_FORMAT(type, fmt, first) __attribute__((__format__(type, fmt, first)))
 105 #elif !defined __GNUC__
 106 #define KMT_FORMAT(type, fmt, first)
 107 #endif /* !defined __GNUC__ */
 108
 109 #define START_TEST(name) VOID Test_##name(VOID)
 110
 111 #ifndef KMT_STRINGIZE
 112 #define KMT_STRINGIZE(x) #x
 113 #endif /* !defined KMT_STRINGIZE */
 114 #define ok(test, ...)                ok_(test,   __FILE__, __LINE__, __VA_ARGS__)
 115 #define trace(...)                   trace_(     __FILE__, __LINE__, __VA_ARGS__)
 116 #define skip(test, ...)              skip_(test, __FILE__, __LINE__, __VA_ARGS__)
 117
 118 #define ok_(test, file, line, ...)   KmtOk(test,   file ":" KMT_STRINGIZE(line), __VA_ARGS__)
 119 #define trace_(file, line, ...)      KmtTrace(     file ":" KMT_STRINGIZE(line), __VA_ARGS__)
 120 #define skip_(test, file, line, ...) KmtSkip(test, file ":" KMT_STRINGIZE(line), __VA_ARGS__)
 121
 122 VOID KmtVOk(INT Condition, PCSTR FileAndLine, PCSTR Format, va_list Arguments)      KMT_FORMAT(ms_printf, 3, 0);
 123 VOID KmtOk(INT Condition, PCSTR FileAndLine, PCSTR Format, ...)                     KMT_FORMAT(ms_printf, 3, 4);
 124 VOID KmtVTrace(PCSTR FileAndLine, PCSTR Format, va_list Arguments)                  KMT_FORMAT(ms_printf, 2, 0);
 125 VOID KmtTrace(PCSTR FileAndLine, PCSTR Format, ...)                                 KMT_FORMAT(ms_printf, 2, 3);
 126 BOOLEAN KmtVSkip(INT Condition, PCSTR FileAndLine, PCSTR Format, va_list Arguments) KMT_FORMAT(ms_printf, 3, 0);
 127 BOOLEAN KmtSkip(INT Condition, PCSTR FileAndLine, PCSTR Format, ...)                KMT_FORMAT(ms_printf, 3, 4);
 128
 129 #ifdef KMT_KERNEL_MODE
 130 #define ok_irql(irql)                       ok(KeGetCurrentIrql() == irql, "IRQL is %d, expected %d\n", KeGetCurrentIrql(), irql)
 131 #endif /* defined KMT_KERNEL_MODE */
 132 #define ok_eq_print(value, expected, spec)  ok((value) == (expected), #value " = " spec ", expected " spec "\n", value, expected)
 133 #define ok_eq_pointer(value, expected)      ok_eq_print(value, expected, "%p")
 134 #define ok_eq_int(value, expected)          ok_eq_print(value, expected, "%d")
 135 #define ok_eq_uint(value, expected)         ok_eq_print(value, expected, "%u")
 136 #define ok_eq_long(value, expected)         ok_eq_print(value, expected, "%ld")
 137 #define ok_eq_ulong(value, expected)        ok_eq_print(value, expected, "%lu")
 138 #define ok_eq_longlong(value, expected)     ok_eq_print(value, expected, "%I64d")
 139 #define ok_eq_ulonglong(value, expected)    ok_eq_print(value, expected, "%I64u")
 140 #define ok_eq_hex(value, expected)          ok_eq_print(value, expected, "0x%08lx")
 141 #define ok_bool_true(value, desc)           ok((value) == TRUE, desc " FALSE, expected TRUE\n")
 142 #define ok_bool_false(value, desc)          ok((value) == FALSE, desc " TRUE, expected FALSE\n")
 143 #define ok_eq_bool(value, expected)         ok((value) == (expected), #value " = %s, expected %s\n",    \
 144                                                 (value) ? "TRUE" : "FALSE",                             \
 145                                                 (expected) ? "TRUE" : "FALSE")
 146 #define ok_eq_str(value, expected)          ok(!strcmp(value, expected), #value " = \"%s\", expected \"%s\"\n", value, expected)
 147 #define ok_eq_wstr(value, expected)         ok(!wcscmp(value, expected), #value " = \"%ls\", expected \"%ls\"\n", value, expected)
 148
 149 #define KMT_MAKE_CODE(ControlCode)  CTL_CODE(FILE_DEVICE_UNKNOWN,           \
 150                                              0xC00 + (ControlCode),         \
 151                                              METHOD_BUFFERED,               \
 152                                              FILE_ANY_ACCESS)
 153
 154 #if defined KMT_DEFINE_TEST_FUNCTIONS
 155
 156 #if defined KMT_KERNEL_MODE
 157 BOOLEAN KmtIsCheckedBuild;
 158 BOOLEAN KmtIsMultiProcessorBuild;
 159
 160 VOID KmtSetIrql(IN KIRQL NewIrql)
 161 {
 162     KIRQL Irql = KeGetCurrentIrql();
 163     if (Irql > NewIrql)
 164         KeLowerIrql(NewIrql);
 165     else if (Irql < NewIrql)
 166         KeRaiseIrql(NewIrql, &Irql);
 167 }
 168
 169 BOOLEAN KmtAreInterruptsEnabled(VOID)
 170 {
 171     return (__readeflags() & (1 << 9)) != 0;
 172 }
 173
 174 INT __cdecl KmtVSNPrintF(PSTR Buffer, SIZE_T BufferMaxLength, PCSTR Format, va_list Arguments) KMT_FORMAT(ms_printf, 3, 0);
 175 #elif defined KMT_USER_MODE
 176 static PKMT_RESULTBUFFER KmtAllocateResultBuffer(SIZE_T LogBufferMaxLength)
 177 {
 178     PKMT_RESULTBUFFER Buffer = HeapAlloc(GetProcessHeap(), 0, FIELD_OFFSET(KMT_RESULTBUFFER, LogBuffer[LogBufferMaxLength]));
 179
 180     Buffer->Successes = 0;
 181     Buffer->Failures = 0;
 182     Buffer->Skipped = 0;
 183     Buffer->LogBufferLength = 0;
 184     Buffer->LogBufferMaxLength = LogBufferMaxLength;
 185
 186     return Buffer;
 187 }
 188
 189 static VOID KmtFreeResultBuffer(PKMT_RESULTBUFFER Buffer)
 190 {
 191     HeapFree(GetProcessHeap(), 0, Buffer);
 192 }
 193
 194 #define KmtVSNPrintF vsnprintf
 195 #endif /* defined KMT_USER_MODE */
 196
 197 PKMT_RESULTBUFFER ResultBuffer = NULL;
 198
 199 static VOID KmtAddToLogBuffer(PKMT_RESULTBUFFER Buffer, PCSTR String, SIZE_T Length)
 200 {
 201     LONG OldLength;
 202     LONG NewLength;
 203
 204     if (!Buffer)
 205         return;
 206
 207     do
 208     {
 209         OldLength = Buffer->LogBufferLength;
 210         NewLength = OldLength + Length;
 211         if (NewLength > Buffer->LogBufferMaxLength)
 212         {
 213             /* TODO: indicate failure somehow */
 214             __debugbreak();
 215             return;
 216         }
 217     } while (InterlockedCompareExchange(&Buffer->LogBufferLength, NewLength, OldLength) != OldLength);
 218
 219     memcpy(&Buffer->LogBuffer[OldLength], String, Length);
 220 }
 221
 222 KMT_FORMAT(ms_printf, 5, 0)
 223 static SIZE_T KmtXVSNPrintF(PSTR Buffer, SIZE_T BufferMaxLength, PCSTR FileAndLine, PCSTR Prepend, PCSTR Format, va_list Arguments)
 224 {
 225     SIZE_T BufferLength = 0;
 226     SIZE_T Length;
 227
 228     if (FileAndLine)
 229     {
 230         PCSTR Slash;
 231         Slash = strrchr(FileAndLine, '\\');
 232         if (Slash)
 233             FileAndLine = Slash + 1;
 234         Slash = strrchr(FileAndLine, '/');
 235         if (Slash)
 236             FileAndLine = Slash + 1;
 237
 238         Length = min(BufferMaxLength, strlen(FileAndLine));
 239         memcpy(Buffer, FileAndLine, Length);
 240         Buffer += Length;
 241         BufferLength += Length;
 242         BufferMaxLength -= Length;
 243     }
 244     if (Prepend)
 245     {
 246         Length = min(BufferMaxLength, strlen(Prepend));
 247         memcpy(Buffer, Prepend, Length);
 248         Buffer += Length;
 249         BufferLength += Length;
 250         BufferMaxLength -= Length;
 251     }
 252     if (Format)
 253     {
 254         Length = KmtVSNPrintF(Buffer, BufferMaxLength, Format, Arguments);
 255         /* vsnprintf can return more than maxLength, we don't want to do that */
 256         BufferLength += min(Length, BufferMaxLength);
 257     }
 258     return BufferLength;
 259 }
 260
 261 KMT_FORMAT(ms_printf, 5, 6)
 262 static SIZE_T KmtXSNPrintF(PSTR Buffer, SIZE_T BufferMaxLength, PCSTR FileAndLine, PCSTR Prepend, PCSTR Format, ...)
 263 {
 264     SIZE_T BufferLength;
 265     va_list Arguments;
 266     va_start(Arguments, Format);
 267     BufferLength = KmtXVSNPrintF(Buffer, BufferMaxLength, FileAndLine, Prepend, Format, Arguments);
 268     va_end(Arguments);
 269     return BufferLength;
 270 }
 271
 272 VOID KmtFinishTest(PCSTR TestName)
 273 {
 274     CHAR MessageBuffer[512];
 275     SIZE_T MessageLength;
 276
 277     if (!ResultBuffer)
 278         return;
 279
 280     MessageLength = KmtXSNPrintF(MessageBuffer, sizeof MessageBuffer, NULL, NULL,
 281                                     "%s: %ld tests executed (0 marked as todo, %ld failures), %ld skipped.\n",
 282                                     TestName,
 283                                     ResultBuffer->Successes + ResultBuffer->Failures,
 284                                     ResultBuffer->Failures,
 285                                     ResultBuffer->Skipped);
 286     KmtAddToLogBuffer(ResultBuffer, MessageBuffer, MessageLength);
 287 }
 288
 289 VOID KmtVOk(INT Condition, PCSTR FileAndLine, PCSTR Format, va_list Arguments)
 290 {
 291     CHAR MessageBuffer[512];
 292     SIZE_T MessageLength;
 293
 294     if (!ResultBuffer)
 295         return;
 296
 297     if (Condition)
 298     {
 299         InterlockedIncrement(&ResultBuffer->Successes);
 300
 301         if (0/*KmtReportSuccess*/)
 302         {
 303             MessageLength = KmtXSNPrintF(MessageBuffer, sizeof MessageBuffer, FileAndLine, ": Test succeeded\n", NULL);
 304             KmtAddToLogBuffer(ResultBuffer, MessageBuffer, MessageLength);
 305         }
 306     }
 307     else
 308     {
 309         InterlockedIncrement(&ResultBuffer->Failures);
 310         MessageLength = KmtXVSNPrintF(MessageBuffer, sizeof MessageBuffer, FileAndLine, ": Test failed: ", Format, Arguments);
 311         KmtAddToLogBuffer(ResultBuffer, MessageBuffer, MessageLength);
 312     }
 313 }
 314
 315 VOID KmtOk(INT Condition, PCSTR FileAndLine, PCSTR Format, ...)
 316 {
 317     va_list Arguments;
 318     va_start(Arguments, Format);
 319     KmtVOk(Condition, FileAndLine, Format, Arguments);
 320     va_end(Arguments);
 321 }
 322
 323 VOID KmtVTrace(PCSTR FileAndLine, PCSTR Format, va_list Arguments)
 324 {
 325     CHAR MessageBuffer[512];
 326     SIZE_T MessageLength;
 327
 328     MessageLength = KmtXVSNPrintF(MessageBuffer, sizeof MessageBuffer, FileAndLine, ": ", Format, Arguments);
 329     KmtAddToLogBuffer(ResultBuffer, MessageBuffer, MessageLength);
 330 }
 331
 332 VOID KmtTrace(PCSTR FileAndLine, PCSTR Format, ...)
 333 {
 334     va_list Arguments;
 335     va_start(Arguments, Format);
 336     KmtVTrace(FileAndLine, Format, Arguments);
 337     va_end(Arguments);
 338 }
 339
 340 BOOLEAN KmtVSkip(INT Condition, PCSTR FileAndLine, PCSTR Format, va_list Arguments)
 341 {
 342     CHAR MessageBuffer[512];
 343     SIZE_T MessageLength;
 344
 345     if (!ResultBuffer)
 346         return !Condition;
 347
 348     if (!Condition)
 349     {
 350         InterlockedIncrement(&ResultBuffer->Skipped);
 351         MessageLength = KmtXVSNPrintF(MessageBuffer, sizeof MessageBuffer, FileAndLine, ": Tests skipped: ", Format, Arguments);
 352         KmtAddToLogBuffer(ResultBuffer, MessageBuffer, MessageLength);
 353     }
 354
 355     return !Condition;
 356 }
 357
 358 BOOLEAN KmtSkip(INT Condition, PCSTR FileAndLine, PCSTR Format, ...)
 359 {
 360     BOOLEAN Ret;
 361     va_list Arguments;
 362     va_start(Arguments, Format);
 363     Ret = KmtVSkip(Condition, FileAndLine, Format, Arguments);
 364     va_end(Arguments);
 365     return Ret;
 366 }
 367
 368 #endif /* defined KMT_DEFINE_TEST_FUNCTIONS */
 369
 370 #endif /* !defined _KMTEST_TEST_H_ */