bibliographic details : 软件可靠性工程