软件保证举证方法及其应用

作者简介

曾福萍，女，北京航空航天大学讲师，硕士生导师。硕士毕业后一直在北京航空航天大学可靠性工程研究所从事与软件可靠性、软件安全性、软件测试相关的教学、科研、工程和管理工作，期间获得了在职博士学位。主要研究方向为软件可靠性设计、软件安全性分析与评估、软件测试、软件代码分析等技术的研究与应用。主持多项装发共用技术和领域基金、省部级项目以及军工项目，参与过装发十一五、十二五、十三五、国防技术基础、可靠性维修性保障性技术集成及在某导弹的应用验证、一飞院安全性、空军大飞机办技术服务、软件测试等二十余项项目。在国内外学术期刊上发表相关论文及专利几十篇，获国防技术进步一等奖二项。参与编写《软件可靠性工程》专著一部。目前是装发可靠性专业组秘书，中国指挥与控制学会可靠性系统科学与工程专业委员会委员、纪检委员，中国计算机学会软件工程专业委员会委员。

内容简介

1.系统介绍软件保证举证方法方面的图书，可以解决市场上该类图书匮乏的问题。 2.作者所在的北航可靠性与系统工程学院科研实力强劲，在陆民燕的带领下在保证举证技术方面的研究成果丰富，并已经应用于我国航空航天的一些软件系统。 3.本书在写作上既保证一定的理论深度，同时又大量增加应用实例，便于读者阅读理解及开阔研究视野。