软件保证举证方法及其应用
全新正版 极速发货
￥ 54.9 6.1折 ￥ 89.8 全新
库存5件
广东广州
认证卖家担保交易快速发货售后保障
作者曾福萍 编
出版社人民邮电出版社
ISBN9787115624727
出版时间2024-04
装帧平装
开本16开
定价89.8元
货号1203254639
上书时间2024-11-22
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
曾福萍，女，北京航空航天大学讲师，硕士生导师。硕士毕业后一直在北京航空航天大学可靠性工程研究所从事与软件可靠性、软件安全性、软件测试相关的教学、科研、工程和管理工作，期间获得了在职博士学位。主要研究方向为软件可靠性设计、软件安全性分析与评估、软件测试、软件代码分析等技术的研究与应用。主持多项装发共用技术和领域基金、省部级项目以及军工项目，参与过装发十一五、十二五、十三五、国防技术基础、可靠性维修性保障性技术集成及在某导弹的应用验证、一飞院安全性、空军大飞机办技术服务、软件测试等二十余项项目。在国内外学术期刊上发表相关论文及专利几十篇，获国防技术进步一等奖二项。参与编写《软件可靠性工程》专著一部。目前是装发可靠性专业组秘书，中国指挥与控制学会可靠性系统科学与工程专业委员会委员、纪检委员，中国计算机学会软件工程专业委员会委员。
目录
第1章软件保证举证概述1
1.1软件保证举证的由来及意义1
1.2软件保证举证的研究现状3
1.3软件保证举证的基本知识5
1.3.1软件保证举证的概念5
1.3.2软件保证举证的结构5
1.3.3软件保证举证的表述方法9
1.4GSN12
1.4.1GSN的基本符号13
1.4.2GSN的模式符号22
1.4.3GSN的模块符号26
1.4.4GSN软件保证举证的构建流程35
1.4.5GSN软件保证举证的构建工具49
本章小结51
参考文献52
第2章软件安全性举证方法53
……
内容摘要
本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法——软件保证举证。全书共6章，首先概述了软件保证举证的相关知识，接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例，最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。
本书适合从事软件安全性、软件可靠性、软件保密性及软件可信性举证理论与技术研究的科技人员和实际应用的工程人员阅读，也可作为高等院校质量和可靠性工程专业的教师、高年级本科生和研究生的参考书。
主编推荐
1.系统介绍软件保证举证方法方面的图书，可以解决市场上该类图书匮乏的问题。
2.作者所在的北航可靠性与系统工程学院科研实力强劲，在陆民燕的带领下在保证举证技术方面的研究成果丰富，并已经应用于我国航空航天的一些软件系统。
3.本书在写作上既保证一定的理论深度，同时又大量增加应用实例，便于读者阅读理解及开阔研究视野。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价