Generating and reducing test case based on covering rough sets

Automatic generation of software test cases is one of the key steps in the process of high dependability software testing. It is also a hot topic in the dependable research area. In this paper, we have proposed a high-dependable method for the generation and reduction of software testing cases, which based on software operational profile and covering rough set. We expect to improve the efficiency of software reliability testing by using fewer testing cases of covering all operational profiles.