In this paper, an approach to the revision of a finite belief set is presented. First, a procedure for generating all the minimal inconsistent sets is introduced, and the correctness of the procedure is proved. Then what discussed further is that how to apply the procedure to the implementation of some representative methods, and a implemented prototype for belief revision is introduced. At last, the presented approach is compared with other related work.