As hardware technology becomes more and more mature and software failure becomes the main reason for system failure, higher requirements are put forward to software quality. In this work, we study the ...