bibliographic details : 软件可靠性方法