How do I design a test for reader writer locks?

Question

I have a rw lock where many readers can hold the lock or one writer can hold the lock. How do I design a test that provides mutual exclusion properly and no starvation? Than