In this thesis, the two representative software fault-tolerant methods for software reliability, namely, Recovery Block(RB) and N-Version Programming(NVP), were analyzed using Markov modeling. In general, the RB outperforms NVP under the input domain model. High software reliabiltity figrues. acceptable from the safety standpoint. In safety aspects, NVP outperforus RB.