提出了一种基于广义随机Petri网((Generalized Stochastic Petri Net,GSPN)和蒙特卡罗仿真的软件可靠性建模与分析方法。在探讨GSPN模型要素图符表示及用法的基础上,给出了基于GsPN的软件可靠性建模流程。以软件可靠性分析GSPN模型基础,采用蒙特卡罗仿真方法对模型中库所、变迁持续时间等参数进行统计,计算软件的可用度参数。实例研究验证了所提方法的有效性,该方法可以为软件可靠性分析与设计提供有益参考。