added a test case for BufferManager