views:

834

answers:

2

I'm looking for a testing framework for the Windows kernel environment. So far, I've found cfix. Has any one tried it? Are there alternatives?

+4  A: 

Being the author of cfix, I might be a little biased here -- but as a matter of fact, I am currently not aware of any other unit-testing framework for NT kernel mode.

If you should experience any problems with cfix, feel free to contact me.

+3  A: 

Microsoft Static Driver Verifier is described as "a compile-time tool that explores code paths in a device driver by symbolically executing the source code. SDV is a unit-testing tool for Microsoft Windows device drivers based on the Windows Driver Model (WDM)."

Is that what you're looking for?

Judah Himango
I'm aware of SDV, but I'm interested in a unit testing framework, not a static analysis tool.
On Freund
Hmmm. Why does MS then describe SDV as "a unit-testing tool for MS device drivers..."? Bad description? Misuse of the phrase "unit testing"?
Judah Himango
Probably a bad choice of words. In any case, regardless of its function, SDV imposes too many restrictions (no C++, etc...)
On Freund