本書介紹了ISO/IEC 15026系列標準中的系統和軟件保證方法——軟件保證舉證。全書共6章,首先概述了軟件保證舉證的相關知識,接着詳細介紹了軟件安全性舉證、軟件可靠性舉證、軟件保密性舉證和軟件可信性舉證的基礎知識、舉證框架、論證模式及應用實例,最後給出了基於非形式邏輯理論的軟件保證舉證信心評定方法。
本書適合從事軟件安全性、軟件可靠性、軟件保密性及軟件可信性舉證理論與技術研究的科技人員和實際應用的工程人員閱讀,也可作為高等院校質量和可靠性工程專業的教師、高年級本科生和研究生的參考書。
曾福萍,女,北京航空航天大學講師,碩士生導師。碩士畢業后一直在北京航空航天大學可靠性工程研究所從事與軟件可靠性、軟件安全性、軟件測試相關的教學、科研、工程和管理工作,期間獲得了在職博士學位。主要研究方向為軟件可靠性設計、軟件安全性分析與評估、軟件測試、軟件代碼分析等技術的研究與應用。主持多項裝發共用技術和領域基金、省部級項目以及軍工項目,參與過裝發十一五、十二五、十三五、國防技術基礎、可靠性維修性保障性技術集成及在某導彈的應用驗證、一飛院安全性、空軍大飛機辦技術服務、軟件測試等二十余項項目。在國內外學術期刊上發表相關論文及專利幾十篇,獲國防技術進步一等獎二項。參與編寫《軟件可靠性工程》專著一部。目前是裝發可靠性專業組秘書,中國指揮與控制學會可靠性系統科學與工程專業委員會委員、紀檢委員,中國計算機學會軟件工程專業委員會委員。