testcase: use assertNotEqual instead of assert