Testing properties of objects